Efficient Test Case Derivation from Statecharts-Based Models |
This paper presents important aspects of a novel framework for the automated functional testing of value-added telecommunications services. Besides the introduction of a new approach to model the potential behavious of a service by means of the Statecharts notation, the paper describes an efficient test case derivation algorithm.
Wacht P, Trick U, Fuhrmann W, Ghita BV