Towards Mutation Analysis for Lustre Programs
| Autor: | Michel Delaunay, Lydie du Bousquet |
|---|---|
| Rok vydání: | 2008 |
| Předmět: |
Unit testing
data-flow programming language General Computer Science Lustre (programming language) Programming language Computer science Lustre computer.software_genre Lutess Lesar Fault detection and isolation Theoretical Computer Science Mutation analysis test Test set Mutation testing computer computer.programming_language Computer Science(all) |
| Zdroj: | Electronic Notes in Theoretical Computer Science. 203(4):35-48 |
| ISSN: | 1571-0661 |
| DOI: | 10.1016/j.entcs.2008.05.009 |
| Popis: | Mutation analysis is usually used to provide indication of the fault detection ability of a test set. It is mainly used for unit testing evaluation. This paper describes mutation analysis principles and their adaptation to the Lustre programming language. Alien-V, a mutation tool for Lustre is presented. Lesar model-checker is used for eliminating equivalent mutant. A first experimentation to evaluate Lutess testing tool is summarized. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect