Name
Abstract | ||
|---|---|---|
Adoption of model-driven development is leading to increased use of models jointly with source code for software testing, by means of Model-Based Testing (MBT). MBT uses models to derive concrete test cases to test code. With MBT, test adequacy criteria are described in relation to the models. They are used to evaluate reliability of derived test cases and as predictor for determining when to stop testing. Hence, when concrete test cases are executed, it is important to measure coverage achieved with regards to the model, rather than only to the code. This places new challenges for testing activities, which include creation and maintenance of relationships between model and code elements. To deal with such challenge, we propose an approach that leverages model-to-text transformation traceability techniques to create relationships required to measure model coverage achieved with test cases executions. We illustrate the approach by applying it to a small ATM example. |
Year | DOI | Venue |
|---|---|---|
2008 | 10.1145/1370042.1370044 | AST |
Keywords | DocType | Citations |
code element,model transformation,model-based test coverage measurement,source code,software testing,test cases execution,model-based testing,model coverage,increased use,concrete test case,test adequacy criterion,test case,model based testing,traceability | Conference | 1 |
PageRank | References | Authors |
0.37 | 10 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Leila Naslavsky | 1 | 52 | 4.17 |
| Hadar Ziv | 2 | 121 | 13.62 |
| Debra Richardson | 3 | 949 | 126.94 |