ABSTRACT

Motorola has been driving the use of Model-DrivenEngineering for a number of years with good successes. Now with its drive to deploy the Unified Modelling Language (UML) version 2 for more effective development, Motorola has developed capabilities to enable the early testing of UML design models. To ensure commonality the standard testing specification and execution frameworks TTCN-3 and the UML Testing Profile were chosen. In doing so, a number of tools have been developed, extending both commercial and internal tools to provide an effective test capability for the early functional testing of UML Design models. The same toolset can be used to test the same design on a target system after code generation. The toolset is being used by several different product groups within Motorola, and the paper reports some experience and findings, including areas where TTCN-3 can be extended.

Deploying advanced automated testing techniques, such as model-based testing, relies upon the development of rigorous models. Our extensive experience in trying to develop and deploy model-based testing within a large industrial setting has led us to the conclusion that developing requirement models is essential for good model-based testing practice. However, not only are requirements specifications generally incomplete, but it is also difficult to get system architects and designers to produce requirements with the rigor needed for automation. Hence, incentives are needed that tend towards the development of rigorous requirement models. To this end, we introduce the Mint tool that enables and helps automate the early detection of errors during requirements development and appraisal. The paper describes and discusses at length the semantic interpretation of scenariobased requirements and the various types of pathologies that can be detected. We also introduce a UML 2.0 profile for applying domain specific communication semantics that can be used to determine the relevance of these pathologies.

No abstract

No abstract

No abstract

No abstract