Objectif
"This proposal advocates a fundamentally new approach to achieving software quality: remove the distinction between software use and software testing -- enable programs to accumulate experience from each one of their executions, and leverage this experience toward self-improvement of the software. My hypothesis is that every program execution has information by-products that, if suitably captured and aggregated, can substantially speed up the process of testing programs and proving them correct. Software is being executed billions of times around the world, with the corresponding information going to waste. At the same time, traditional software testing tries to simulate a small subset of real-world conditions and executions. I propose instead viewing every execution of a program as a test run, and the aggregation of executions across the lifetime of all copies of that program as one gigantic test suite.
I propose the study of techniques and formalisms for automatically recouping the information that is lost during everyday software use, aggregating it, and automatically turning it into tests and proofs; techniques to use these tests and proofs to automatically correct the behavior of programs; and techniques for automatically steering programs into exploring behaviors for which information is lacking. All these techniques will be embodied in a platform, called BeeNet, that implements a massively distributed learning process which turns execution by-products into a collective experience that leads to higher quality software. This is a radical new way of exploiting the vast (but today completely wasted) information that results from program execution.
I will investigate these questions with an integrated approach that combines thorough theoretical studies with practical application to real-world software, employing the perspectives of three different research communities: operating systems, programming languages, and software verification."
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
- sciences naturelles informatique et science de l'information logiciel logiciel d’application logiciel système système d’exploitation
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Nous sommes désolés... Une erreur inattendue s’est produite.
Vous devez être authentifié. Votre session a peut-être expiré.
Merci pour votre retour d'information. Vous recevrez bientôt un courriel confirmant la soumission. Si vous avez choisi d'être informé de l'état de la déclaration, vous serez également contacté lorsque celui-ci évoluera.
Programme(s)
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Thème(s)
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Appel à propositions
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
ERC-2011-StG_20101014
Voir d’autres projets de cet appel
Régime de financement
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Institution d’accueil
1015 LAUSANNE
Suisse
Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.