Rapid generation of functional tests using MSCs, SDL and TTCN

This paper reports the results of a study undertaken to determine the suita bility of CASE tools and formal methods for systematic, rapid generation of functional test cases. In particular, the study involves the use of Messag e Sequence Charts (MSCs) [International Telecommunications Union (ITU-T), R ecommendation Z.120: Message Sequence Charts, revised 1996], Specification and Description Language (SDL) [international Telecommunications Union (ITU -T), Recommendation Z.100: Specification and Description Language, revised 1996] and Tree and Tabular Combined Notation (TTCN) [International Standard s Organization (ISO), OSI Conformance Testing Methodology and Framework-Par t 3: The Tree and Tabular Combined Notation, International Standard 9646-3, 1992] and the use of the Telelogic Tau tool set [Telelogic Tau tool set, v ersion 3.3, Telelogic AB, Malmo Sweden] which supports all three of these l anguages. (C) 2001 Elsevier Science B.V. All rights reserved.