A conformance test suite for TTCN-3 tools
暂无分享,去创建一个
With more than 10 years of maturing through industrial use and standardization, the Testing and Test Control Notation (TTCN-3) has become a widely used technology that many businesses depend upon for ensuring their product quality. With the rising number of supporters and tools, the demand for a means to assess the standards compliance of TTCN-3 tools has increased. In this article, we describe the motivation, approach, methodology, and results of the still ongoing project to develop a standardized conformance test suite for TTCN-3 tools. We discuss the challenges involved in creating such a test suite, the way to deal with imposed resource limitations of the project, and where we think the effort is heading.
[1] Sergey V. Zelenov,et al. Model-Based Testing of Optimizing Compilers , 2007, TestCom/FATES.
[2] Rostislav Yavorskiy,et al. Experiments on Semantics Based Testing of a Compiler , 2004 .
[3] Xavier Leroy,et al. Formal certification of a compiler back-end or: programming a compiler with a proof assistant , 2006, POPL '06.
[4] Etsi Standard,et al. Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; TTCN-3 Language Extensions: Support of interfaces with continuous signals , 2014 .