Model-based test selection for infinite state reactive systems

Abstract

We address the problem of offline selection of test cases for testing the conformance of a black-box implementation with respect to a specification of a reactive systems. Efficient solutions to this problem have been proposed in the context of finite-state models, based on the ioco contbmlance testing theory. We extend them in the context of infinite state specifications, modelled as automata extended with variables. We consider the selection of test cases according to test purposes describing abstract scenarios that one wants to test. The selection of pr ogram test cases then consists in syntactical transformations of the specification model, using approximate analysis. © 2006 International Federation for Information Processing.