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

Share/Save/Bookmark

Calamé, Jens R. and Ioustinova, Natalia and Pol van de, Jaco (2007) Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction. In: Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, IFM 2005, 29 November 2005, Eindhoven, The Netherlands.

[img]PDF
Restricted to UT campus only
: Request a copy
457Kb
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.
Item Type:Conference or Workshop Item
Copyright:© 2007 Elsevier
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/61972
Official URL:http://dx.doi.org/10.1016/j.entcs.2007.06.019
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 242015