The Study Of Theory And Technology Of Testing Using TTCN-3

With the rapid development of software and its pervasive applications, software quality has become an important issue. Currently, software testing is one of the most direct and effective, but also the most widely used methods[1] to improve software quality. Researchers and industry have always dreamed of[2]:unified test theory, 100% test automation, test-based modeling, and efficacy-maximized test engineering. The main issues of software testing are:the complexity of test management, the diversity of test environments [3], and the completeness of testing.TTCN-3 language is a test domain specific language published by ETSI (European Telecommunications Standardization Organization). TTCN-3 has a number of abstract definitions for the characteristics of testing, which are very beneficial to the hierarchical division of labor and reusability in testing engineering. TTCN-3 can provide a unified test framework for different areas'testing, which is conducive to the formation of the unified test theory, the software testing automation, and the development and application of test-based modeling. The concepts of TTCN-3 provide a good abstraction for the testing process. However, these advantages depend on the development of TTCN-3 itself.This dissertation studies the theory and technology of test modeling, testing analysis, and test execution with TTCN-3, and proposes a TTCN-3 based testing framework. First, we use TTCN-3 to model the system under test and test process. And then a compiler is built to parse TTCN-3 script, extract semantic information and build the executable objects of testing process. At last different adapters are developed to complete the same testing process in different environments.The main contributions of this dissertation are:1. This dissertation elaborates how to transform the common features of different testing procedures to TTCN-3 testing model. Especially this dissertation describes how to use TTCN-3 to model GUI testing and Web testing. Thus different test procedures can be transformed to unified TTCN-3 testing model; different testing performance can be transformed to the compilation and execution of TTCN-3 codes.2. This dissertation describes how to build the TTCN-3 compiler, the symbolic execution method of TTCN-3, and how to perform the TTCN-3 code analysis, test input generation based on the symbolic execution method.3. This dissertation describes the implementation details and the differences of two kinds of TTCN-3 executor. One is compile-compile-execute mode, and the other is virtual machine platform. This dissertation also proposes an integrated framework combining these two executors. And then the performance evaluation method of TTCN-3 executors is proposed.4. Taking Web testing, NFC testing as examples, this dissertation proposes a general framework of TTCN-3 adaptors, and describes how to apply our framework to industrialized testing.