Abstract | ||
---|---|---|
Completely automatic generation of tests from formal executable test models of industrial size still looks like a "holy grail", in spite of significant progress in model-based testing research and tool development. Realizing this, we follow a more down-to-earth approach by assuming that, even if a test model is available, the test expert manually derives powerful test fragments and what remains to be automated is chaining them into an optimal test. Focusing on this task, we develop a test optimization framework using an FSM extended with input variables and clocks, which reflects important features of Simulink/Stateflow state charts. The test optimization is expressed as the Asymmetric Travelling Salesman Problem (ATSP). We show how this approach can be used for solving some testing problems specific to automotive controllers. We describe a proof-of-concept prototype, implementing the proposed approach, which we tested on a case study of a particular controller available along with some tests. Experiments with the prototype indicate that the approach scales well for hundreds of tests. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1109/ICSTW.2013.31 | ICST Workshops |
Keywords | Field | DocType |
down-to-earth approach,approach scale,test optimization framework,test model,test optimization,automotive controllers,optimal test,powerful test fragment,test expert,formal executable test model,automobile industry,optimization,cost accounting,model based testing,testing,unified modeling language | Test harness,Control theory,Chaining,Test Management Approach,Control engineering,Travelling salesman problem,Model-based testing,Stateflow,Engineering,Executable | Conference |
ISSN | Citations | PageRank |
2159-4848 | 10 | 0.49 |
References | Authors | |
14 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
A. Petrenko | 1 | 565 | 31.37 |
A. Dury | 2 | 10 | 0.49 |
Ramesh, S. | 3 | 144 | 19.02 |
S. Mohalik | 4 | 10 | 0.49 |