Obiettivo "In the past decade, automated validation of software systems has made spectacular progresses. On the testing side, it is now possible to automatically generate test cases that effectively explore the entire program structure; on the verification side, we can now formally prove properties for software as complex as operating systems. To push validation further, however, we need specifications of what the software actually should do. But writing such specifications has always been hard—and so far significantly inhibited the deployment of rigorous development methods.The SPECMATE methodology automatically extracts such specifications from existing systems, effectively leveraging the knowledge encoded into billions of code lines. SPECMATE starts with just an executable program and automatically produces an incremental specification, starting with the most relevant properties; and a set of test cases fully covering the specification. Such specifications are ideal starting points for compositional modeling and verification, enabling the rigorous construction and derivation of new, safe, dependable software systems; they also widely automate development activities such as testing, defect detection, and program maintenance.To achieve these goals, SPECMATE employs a combination of specification mining (extracting specifications from executions), test case generation (generating additional runs to explore execution space) and mutation analysis (seeding synthetic defects to assess test quality). The proposed techniques all scale to industrial-sized programs; all we need is the ability to execute individual functions." Campo scientifico natural sciencescomputer and information sciencessoftwaresoftware applicationssystem softwareoperating systemsnatural sciencesbiological sciencesgeneticsmutation Programma(i) FP7-IDEAS-ERC - Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) Argomento(i) ERC-AG-PE6 - ERC Advanced Grant - Computer science and informatics Invito a presentare proposte ERC-2011-ADG_20110209 Vedi altri progetti per questo bando Meccanismo di finanziamento ERC-AG - ERC Advanced Grant Istituzione ospitante UNIVERSITAT DES SAARLANDES Contributo UE € 2 260 000,00 Indirizzo CAMPUS 66123 Saarbrucken Germania Mostra sulla mappa Regione Saarland Saarland Regionalverband Saarbrücken Tipo di attività Higher or Secondary Education Establishments Contatto amministrativo Corinna Hahn (Ms.) Ricercatore principale Andreas Zeller (Prof.) Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Costo totale Nessun dato Beneficiari (1) Classifica in ordine alfabetico Classifica per Contributo UE Espandi tutto Riduci tutto UNIVERSITAT DES SAARLANDES Germania Contributo UE € 2 260 000,00 Indirizzo CAMPUS 66123 Saarbrucken Mostra sulla mappa Regione Saarland Saarland Regionalverband Saarbrücken Tipo di attività Higher or Secondary Education Establishments Contatto amministrativo Corinna Hahn (Ms.) Ricercatore principale Andreas Zeller (Prof.) Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Costo totale Nessun dato