ETSI - ES 202 951
Methods for Testing and Specification (MTS); Model-Based Testing (MBT); Requirements for Modelling Notations
|Publication Date:||1 July 2011|
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 concepts and requirements described in the present document have been developed mainly from the recommendations collected in TR 102 840 [i.1], complement the theoretic foundation of modelling standard specifications specified in ITU-T Recommendation Z.500 [i.6], and considered the meta-object facility of OMG formal/05-07-07 [i.10]. They are specified independent of a specific modelling notation or tool. Mapping of concepts to concrete modelling notations is intentionally not treated in the present document and preserved for future standards.