The Research And Implementation Of Test Suite Generation For TTCN-3 Compiler

Due to the extreme complexity of the implementation of the TTCN-3 compiler, the test suite generated by boring manual work can hardly provide strong guarantee to the compiler quality. The automation generation technique becomes an inevitable choice.After summing up rich experience in manual testing and combining multi theories and techniques about compiler construction, programming language design, test data generation and TTCN-3 features, this paper provides an automatic generation scheme for TTCN-3 compiler. The scheme uses a flexible layering, structured approach and strictly adheres to the specifications of language. The whole generation process is based on the EBNF given in the language specification. The EBNF is divided into layering sub-BNF sets according to the structure of language, and then attribute codes are inserted into the sub-BNF rules to describe semantics information. These attribute grammars are used by the recursion parser trees generator to generate several sets of sub-parser trees. After combination of these trees according to the syntax and semantics constrains, a test case was generated as a complete parser tree. Under the conduct of coverage analysis, new parser trees are generated to form the final test suite.The experimental results indicate that the test suite generated by this scheme not only provides full scale coverage both in syntax and semantics, but also is well-directed. Well extensibility enables this scheme to handle complex syntax and semantics constrains easily. Multi-techniques provide a high efficiency to this scheme. The scheme has reference value for compiler testing for other languages.