Name
Abstract | ||
|---|---|---|
This paper presents a methodology to test the robustness of reactive state-based software components by executing defined and undefined transitions of a UML Statechart specification, and therefore simulating a usage scenario under normal and abnormal conditions. The Z3 constraint solver is used to generate corresponding test cases. Since robustness testing is time-intensive due to a large number of undefined transitions to be tested, a main advantage of our presented approach is that it accelerates robustness testing by returning to reached states of a component, using reverse execution, and then refining them as a starting point for further tests. Furthermore, the presented approach provides runtime verification capabilities to test transition guards defined in the specification and therefore increases the test significance. This is done without instrumenting the source code. Due to the high acceleration achieved, our approach is well-suited for daily regression testing during component development. |
Year | DOI | Venue |
|---|---|---|
2013 | 10.1145/2480362.2480587 | SAC |
Keywords | Field | DocType |
daily regression testing,undefined transition,component development,corresponding test case,reverse execution,accelerated robustness,state-based component,abnormal condition,z3 constraint solver,reactive state-based software component,robustness testing,uml statechart specification,test significance | UML state machine,Robustness testing,Computer science,White-box testing,Real-time computing,Robustness (computer science),Runtime verification,Regression testing,Test case,Stress testing (software),Reliability engineering | Conference |
Volume | Issue | ISSN |
13 | 3 | 1559-6915 |
Citations | PageRank | References |
0 | 0.34 | 9 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Patrick Heckeler | 1 | 4 | 4.17 |
| Bastian Schlich | 2 | 214 | 17.98 |
| Thomas Kropf | 3 | 326 | 59.09 |