Research On Defect Pattern Customization Based On DTS

The advantage of pattern based code analysis lies in the simplicity of its usage and the efficiency of its analysis, which makes it a new technique with more rapid development among different approaches of static code defect analysis recently. However, among the available tools based on the approach, the extension modes provides by most of them are neither friendly nor efficiency enough for users to extend their defect analysis capacity. Based on DTS(Defect Testing System) the author proposes a method for defect patterns customization. The method enables its users to customize defect patterns according to their needs. The purpose is to examine whether there exists software defects in the object programs.The article proposes a defect pattern language. The language contains64kinds of predicate expression which support86kinds of calculation modes. Users can use these predicate expressions to define defect patterns. Defect pattern customization is made up of defect pattern file, defect pattern analysis module and defect analysis computing unit. Defect pattern analysis module is made up of parser, predicate legality validator, predicate type validator and predicate computing model validator. The method is used to implement some rules of National Military Standard. In order to validate their effectiveness, large projects are used to test them. Its effectiveness is validated by analyzing the test results.