Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction

Citations of this article
Mendeley users who have this article in their library.


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. © 2007 Elsevier B.V. All rights reserved.




Calamé, J. R., Ioustinova, N., & van de Pol, J. (2007). Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction. Electronic Notes in Theoretical Computer Science, 191, 25–48.

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free