scope:

The present document identifies and collects all concepts of a modelling notation required for specifying models in particular but not limited to the purpose of functional testing of communicating systems. Such models form the basis for generating abstract test cases which follow the principles of ISO/IEC 9646-1 [i.2] as, for example, put forward in the TTCN-3 test suites [i.3]. Model-based testing presents an alternative to manual test design, but does not eliminate the need for test systems [i.4], [i.5] which complement and execute generated test cases automatically. Model-based testing tools that use a modelling notation that complies with the requirements stated in the present document can be used to automatically generate abstract test cases suitable for standardization.

The present document identifies and collects all concepts of a modelling notation required for specifying models in particular but not limited to the purpose of functional testing of communicating systems. Such models form the basis for generating abstract test cases which follow the principles of ISO/IEC 9646-1 [i.2] as, for example, put forward in the TTCN-3 test suites [i.3]. Model-based testing presents an alternative to manual test design, but does not eliminate the need for test systems [i.4], [i.5] which complement and execute generated test cases automatically. Model-based testing tools that use a modelling notation that complies with the requirements stated in the present document can be used to automatically generate abstract test cases suitable for standardization.