Name
Abstract | ||
|---|---|---|
Software-intensive systems often consist of many components that interact to fulfill complex functionality. Testing these systems is vital, preferably by a minimal set of tests that covers all relevant cases. The behavior is typically specified by scenarios that describe what the system may, must, or must not do. When designing tests, as in the design of the system itself, the challenge is to consider interactions of scenarios. When doing this manually, critical interactions are easily overlooked. Inspired by Combinatorial Test Design, which exploits that bugs are typically found by regarding the interaction of a small set of parameters, we propose a new test coverage criterion based on scenario interactions. Furthermore, we present a novel technique for automatically synthesizing from Modal Sequence Diagram specifications a minimal set of tests that ensures a maximal coverage of possible t-wise scenario interactions. The technique is evaluated on an example specification from an industrial project. |
Year | DOI | Venue |
|---|---|---|
2015 | 10.1109/MODELS.2015.7338243 | 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) |
Keywords | Field | DocType |
test synthesis,combinatorial coverage,modal scenario specifications,software-intensive systems,system testing,system design,combinatorial test design,bugs,test coverage criterion,modal sequence diagram specifications,t-wise scenario interactions,industrial project | Code coverage,Sequence diagram,Systems engineering,Computer science,Server,Software,Combinatorial design,Small set,Modal,Maintenance engineering | Conference |
Citations | PageRank | References |
2 | 0.39 | 17 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Valerio Panzica La Manna | 1 | 75 | 7.29 |
| Itai Segall | 2 | 27 | 4.27 |
| Joel Greenyer | 3 | 224 | 20.36 |