Test Generation for Intelligent Networks Using Model Checking

We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checker then derives test sequences that fulfill these test purposes. The method is demonstrated by applying it to a specification of an Intelligent Network with two features.

• Type: Conference
• Year: 1997
• Where: TACAS
• Authors: André Engels, Loe M. G. Feijs, Sjouke Mauw
• Keywords: Algorithms, Model Checking Techniques, TACAS 1997, Test Purposes, Test Sequences