SPECMATE
Specification Mining and Testing
| Coordinatore | UNIVERSITAET DES SAARLANDES
Spiacenti, non ci sono informazioni su questo coordinatore. Contattare Fabio per maggiori infomrazioni, grazie. |
| Nazionalità Coordinatore | Germany [DE] |
| Totale costo | 2˙260˙000 € |
| EC contributo | 2˙260˙000 € |
| Programma | 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) |
| Code Call | ERC-2011-ADG_20110209 |
| Funding Scheme | ERC-AG |
| Anno di inizio | 2012 |
| Periodo (anno-mese-giorno) | 2012-01-01 - 2016-12-31 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
UNIVERSITAET DES SAARLANDES
Organization address
address: CAMPUS contact info |
DE (SAARBRUECKEN) | hostInstitution | 2˙260˙000.00 |
| 2 |
UNIVERSITAET DES SAARLANDES
Organization address
address: CAMPUS contact info |
DE (SAARBRUECKEN) | hostInstitution | 2˙260˙000.00 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Obiettivo del progetto (Objective)
'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.'