Name
Title | ||
|---|---|---|
Mutant Fault Injection in Functional Properties of a Model to Improve Coverage Metrics |
Abstract | ||
|---|---|---|
This paper proposes integrating mutation analysis into model checking to improve coverage metrics of digital circuits. In contrast to traditional mutation testing where mutant faults are generated and injected into the code description of the model, we apply a series of newly defined mutation operators directly to the model properties rather than to the model code. We claim that any mutant properties that are generated from the initial properties and validated by the model checker should be considered as new properties that have been missed during the initial verification procedure. Therefore, adding these newly identified properties to the existing list of properties improves the coverage metric of the formal verification and consequently lead to a more reliable design. Preliminary simulation results of applying this approach to a 4x4 Booth-Multiplier with 6 and 8 initial properties, demonstrates a 40% and 45% coverage improvement respectively compared to the initial coverage metric. |
Year | DOI | Venue |
|---|---|---|
2011 | 10.1109/DSD.2011.57 | DSD |
Keywords | Field | DocType |
model property,functional properties,initial coverage metric,mutation analysis,initial property,model checker,mutant fault injection,improve coverage metrics,model checking,model code,initial verification procedure,coverage improvement,coverage metrics,measurement,integrated circuit,mutation testing,formal verification,computer model,mathematical model,digital circuits,computational modeling,integrated circuit design,testing | Digital electronics,Model checking,Computer science,Parallel computing,Theoretical computer science,Integrated circuit design,Verification procedure,Computer engineering,Fault injection,Formal verification,Mutation operator | Conference |
Citations | PageRank | References |
1 | 0.37 | 5 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ali Abbasinasab | 1 | 1 | 1.04 |
| Mehdi Mohammadi | 2 | 1091 | 50.02 |
| Siamak Mohammadi | 3 | 1 | 0.37 |
| Svetlana Yanushkevich | 4 | 8 | 1.89 |
| Michael Smith | 5 | 1 | 0.37 |