Research And Implementation Of Complex Constraint Information Based On DTS

DTS which is short for defect testing system is a defect-oriented test tool. DTS uses function summary which is structure-sensitive to do global analysis, and the constraint information is single variable constraint. It will result in false positives and false negatives. For this reason, this paper improves constraint information of DTS. It first proposes complex constraint information. We use five-element-array to describe it. Then we mainly discuss complex constraint information from three aspects, its one is structure-sensitive analysis algorithm which analyzes field information of constraint variable; second is multi-variable constraint method. It founds multi-variable relationship; third is path-sensitive analysis algorithm which calculation path condition of constraint node. Finally, this article describes the algorithm of generation, dissemination of complex constraint. The two algorithms realize the creation of five-element-array. And complex constraint application algorithm uses five-element-array in defect detection.This paper is divided into six parts. The first part of this paper is an overview. The second part describes the DTS’s global analysis framework and its problems. The third part purposes complex constraint information model and related algorithm. In the fourth part an application example is given to show the analysis process of complex constraint information. The fifth part is some experimental results and their analysis. The sixth part is a summary and outlook of this article.