Data generation in model-based testing

Date of this Version


Document Type

Conference Paper

Publication Details

Interim status: Citation only.

Krishnan, P. & Pari-Salas, P. (2010). Data generation in model-based testing. Paper presented at the 25th Symposium on Applied Computing (SAC 2010), Sierre, Switzerland.

Access the conference website.

2010 HERDC submission. FoR Code: 080600

© Copyright ACM, 2010




In this paper we show how context free grammars extended with limited state information can be used to enhance model-based testing. Abstract models can be made more specific using the values generated by these grammars. The approach allows the association of data to the model without changing the model itself. We present two examples to illustrate the applicability of the framework. We also show how this approach is implemented in a real model-based testing tool.

This document is currently not available here.



This document has been peer reviewed.