Abstract
TTCN (Tree and Tabular Combined Notation) is the standardized test notation for the description of OSI conformance tests. Since applicability of TTCN is restricted, work on the definition of concurrent TTCN, an extended version of TTCN for the specification of test cases for multi party testing, has been started a few years ago. We discuss different approaches for the definition of an operational semantics of TTCN and concurrent TTCN and we discuss issues related to the validation of (concurrent) TTCN test cases. Because for the validation of test cases a proper semantics definition is a prerequisite we have developed a semantics definition which utilizes labelled transition systems as its basic model. The applicability of the model is demonstrated: First, we show how identified incompletenesses and ambiguities of TTCN can be solved. Second, we develop a validation framework that defines the necessary machinery for the validation of functional properties of test cases against a formal specification. We illustrate how validation of proper termination and verdict assignments can be performed and how a test case can be validated against an SDL specification.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.