scientific research fund of Hunan Provincial Education DepartmentHunan Provincial Education Department; Scientific Research Fund of Hunan Provincial Education DepartmentHunan Provincial Education Department [11B073]; Hunan Provincial Natural Science Foundation of ChinaNatural Science Foundation of Hunan Province [10JJ6092]; Scientific Research Fund of Hunan International Economical University
机构署名:
本校为其他机构
院系归属:
计算机科学与技术学院
摘要:
In this paper, the main function of program contract in the software quality assurance is showed combined with the technology of static analyzing and dynamical analyzing. And the meaning of contract is described as well. Daikon and Diduce which are the main tools for detecting the program contract are introduced carefully. Not only the work process of Daikon and Diduce is explicated but also the main characters of them are showed. Combined with the framework of software quality assurance, the main differences between Daikon and Diduce are listed a...