Complexity analysis method of software defect testing system based on modular decomposition technology

The invention discloses a complexity analysis method of a software defect testing system (DTS) based on a modular decomposition technology, which comprises the following steps that: A. according to a DTS defect testing principle, the flow of the analysis method comprises a front-end input pre-processing step completed by a front-end input pre-processing module, a pre-analysis step completed by a pre-analysis module, and a formal analysis step completed by a formal analysis module; B. the complexity of all analysis units inside the front-end input pre-processing module, the pre-analysis module, and the formal analysis module is sequentially analyzed according to the calling sequence and the dependence relationship to obtain the property and the law of complexity distribution of each analysis unit; and C. according to the analysis results of a step B, the complexity distribution situation of the whole DTS System is obtained by statistic. By using the complexity analysis method, the complexity distribution situation of the whole DTS system is obtained by statistic through the complexity analysis of the analysis unit inside each module, and the defects that the traditional complexity analysis method is not systemic and comprehensive enough and the like are overcome.