Name
Abstract | ||
|---|---|---|
Assessing the quality of a test suite is an important step of the testing process. Indeed, it is necessary to ensure that the different test cases target all the critical parts of the system. Model-based testing is a famous technique to perform testing. It uses a model of the system under test. Most of these models include logic formulas. Such formulas encompasses constraints to be satisfied within a system, e.g., an expected behavior or particular conditions to be fulfilled at a given stage of the execution. One way to evaluate the quality of a test suite with respect to these logic constraints is to use mutation analysis. This technique has been proven to be effective for evaluating the quality of a test suite in both model-based and non-model-based testing. However, while many mutation analysis tools exist, none of them performs on logic formulas. Towards this direction, this paper introduces MutaLog, an open source tool which allows performing mutation analysis on logic formulas. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.1109/ICSTW.2014.54 | Software Testing, Verification and Validation Workshops |
Keywords | Field | DocType |
Boolean functions,program testing,public domain software,software quality,MutaLog tool,logic constraints,logic formula mutation analysis,model-based testing,nonmodel-based testing,open source tool,system under test,test suite quality evaluation,testing process | Test suite,System under test,Programming language,Test Management Approach,Computer science,Manual testing,White-box testing,Model-based testing,Test case,Keyword-driven testing | Conference |
ISSN | Citations | PageRank |
2159-4848 | 4 | 0.43 |
References | Authors | |
16 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Christopher Henard | 1 | 383 | 10.88 |
| Mike Papadakis | 2 | 1114 | 52.77 |
| Le Traon, Y. | 3 | 160 | 12.50 |