The Design And Implementation Of CBFT

With the prevalent and popularity of software systems, software test is obviously becoming a common and significant method to assure the quality of software and enhance its reliability. If test is only dependent on human beings with manual checking, such approach cannot afford heavy workload and large scale testing. Achieving high accuracy and high efficiency as the objective of test in the rapidly expanding scale software systems is encountering difficulties; therefore the idea of automatic test is introduced and rapidly developed in the course of software testing.In software test technology, program static analysis technique has become a research hotspot in resent years. Although large numbers of test tools have been developed which could automatically detect software failures, there also existed many shortcomings in these test tools, such as high rate of failure report and missing report. Therefore, it is an urgent and significant issue to find methods which could detect software failure with high degree of automation as well as with low missing and failure report rates.In this paper, CBFT is introduced and developed under the support of 863 project, which satisfies such aims based on defect patterns. This tool could defects software failure automatically, greatly improving the quality and efficiency of software testing. Specifically, author investigates static analysis tools at home and abroad extensively, studies the open source tool JavaCC in-depth and draws on its elegant design, combined with design pattern "visitor" pattern, to implement the foundation of unified test framework of CBFT. The foundation framework consists of three parts: construction of abstract syntax tree, construction of control flow graph and symbol table generation. The unified test framework can test C, C++ language based software automatically. Compared with other methods, the defect pattern based approach reducing the false and missing report rate is of great significance.