| Using UML for automatic test generation (2002) | |||||||||||||||||
Abstract | |||||||||||||||||
| Abstract. This paper presents an architecture for model-based verification and testing using a profile of the Unified Modeling Language (UML). Class, object, and state diagrams are used to define essential models: descriptions that characterise the entire range of possible behaviours, in terms of the actions and events of the model. Object and state diagrams are used to introduce test directives. Models written in this profile may be compiled into a tool language: the Intermediate Format (IF). Descriptions written in IF can be animated, verified, and used to generate tests. As well as illustrating the testing architecture adopted, the paper defines the profile for UML, explains testing directives, the basis of the compilation into IF and of the test generation process, and reports, and reports upon the problems encountered. 1 | |||||||||||||||||
Publication details | |||||||||||||||||
| |||||||||||||||||