Abstract | ||
---|---|---|
Developing test suites is a costly and error-prone process. Model-based test generation tools facilitate this process by automatically generating test cases from system models. The applicability of these tools, however, depends on the size of the target systems. Here, we propose an approach to generate test cases by combining data abstraction, enumerative test generation and constraint-solving. Given the concrete specification of a possibly infinite system, data abstraction allows to derive an abstract system, which is finite and thus suitable for the automatic generation of abstract test cases with enumerative tools. To execute abstract test cases, we have to instantiate them with concrete data. For data selection we make use of constraint-solving techniques. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1016/j.entcs.2007.06.019 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
model-based testing,abstract system,data abstraction,model-based test generation tool,concrete data,abstract test case,automatic generation,constraint-solving,test case generation,data selection,parameterized test cases,enumerative test generation,test suite,automatic model-based generation,conformance testing,test case,system modeling,process model,model based testing | Test suite,Test harness,Automatic test pattern generation,Test Management Approach,Computer science,Conformance testing,Theoretical computer science,Model-based testing,Test case,Test data generation | Journal |
Volume | ISSN | Citations |
191, | Electronic Notes in Theoretical Computer Science | 7 |
PageRank | References | Authors |
0.49 | 19 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jens R. Calamé | 1 | 23 | 2.98 |
Natalia Ioustinova | 2 | 62 | 6.99 |
Jaco Van De Pol | 3 | 1022 | 78.19 |