Abstract | ||
---|---|---|
Model based testing techniques are a breakthrough in the modern software development. The integration of state-of the-art tools to automatically generate and evaluate tests from a model of the software product allows reducing the effort of testing activities while maintaining quality. A major problem for model based techniques is however the effort and the timing for the model specification. In practice, modeling for test case generation will often happen during the test phase instead of the design phase, implying that there is a high time pressure within the modeling process. Model views can help to reduce the effort spent for the modeling. In our work, we will present an useful approach to views for timed testing models, thus reducing the complexity of the modeling process. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1109/SSIRI-C.2011.27 | SSIRI (Companion) |
Keywords | Field | DocType |
test case generation,model specification,modeling process,software product,testing models,test phase,model view,major problem,high time pressure,modern software development,design phase,testing,software development,model based testing,process model,software quality,embedded system,embedded systems,formal specification,automata,semantics,computer architecture,indexing terms,software maintenance | Analysis effort method,Computer science,Non-regression testing,White-box testing,Real-time computing,Formal specification,Model-based testing,Software quality,Test strategy,Reliability engineering,Software development | Conference |
Citations | PageRank | References |
0 | 0.34 | 5 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ralf Mitsching | 1 | 11 | 2.01 |
Carsten Weise | 2 | 429 | 28.11 |
Dominik Franke | 3 | 49 | 5.75 |
Thomas Gerlitz | 4 | 19 | 2.93 |
Stefan Kowalewski | 5 | 602 | 65.14 |