Using Combination Of TTCN-3 Testing And Finding Bugs With Bug Patterns To Find Bugs

As the sole international standard language, TTCN-3(Testing and Test Control Notation version 3) has been widely used in protocol conformance testing, interoperability testing and other testing field. Important issues need to be resolved before applying of TTCN-3 to test is the development of testing adapter and codec, which tend to occupy the majority of test development effort. In addition, with the continuous expansion of test fields, the demand for new codec method and data type is much more urgent.It beyond the ability of traditional TTCN-3 standard data types in the TCI interface. So How to design a new codec framework, which can easily expand new codec method and also support to expand new type language, is the urgent task in current popularize of applying TTCN-3 to test.Aim at sloving previous problems, the versatile codec library(VCL) based on existing TTCN-3 testing platform is proposed. VCL includes the common intermediate type and value module, codecs implementation module, and external interfaces module. Through the good designing of the intermediate type and value module, not only making VCL can be flexible to support various data types of language, and also makes the realization of codec being independent of specific TTCN-3 test platform, to some extent achieving a real sense of versatile. Currently VCL has implemented the BER, PER, XER, TLV +, ISO8583, HTTP and other codec methods which are widely used in industry.To cope with the use of VCL to the Web Services testing, this paper has proposed a solution of translateing XML Schema & DTD to TTCN-3 language, and a translating tool also has been implemented.When one bug of the system under test is uncovered after TTCN-3 testing, the corresponding bug pattern can be explorerd by analyzing its source code, with which we can find similar vulnerabilities to this bug. This paper proposes a method of representing bug pattern with program dependence graph. It also gives the algorithm of how to use this bug pattern to find new bug. The corresponding tool SBF is developed as well. By combining the TTCN-3 testing and SBF we can improve the efficiency of bug finding and increase test coverage.Based on VCL, we develop a test suite to China Mobile mobile payment service (NFC) in conformance testing and abnormal testing. Many unknown bugs have been uncovered, which proves the validity of VCL. In the NFC testing, real bugs have been uncovered By SBF , suggesting the validity of our solution.