Research On Automatic Test Technology And Constrain Satisfaction Based On Defect Model

Nowadays, with the rapid development of computer technology , people more and more depend on computer. Since the software application is expanded and the software complexity and scale are increased continuously, there raise much higher requirements for software testing. Software testing automation is an effective method to improve the testing efficiency. The automation should be used in every stage of software testing, especially in the defect automatic detection and test data generation. Test data generation relates with many areas, and the constrain satisfaction is one of the key problems. Therefore, there are great theoretical meanings and broad application prospects to research on the constrain problem.In this paper, we propose a method that automatically detects the software defects based on the defect model. Based on above technologies, we've designed and implemented a defect detective system-DTSJAVA. About which, we use JACC to automatically get the analyzer of JAVA source code, based on which we construct the AST(Abstract syntax Tree),CFG(Control Flow Graph) and so on. At last, We use the state machine of defect model technology to develop DTSJAVA. Meanwhile, I have deeply researched on constrain satisfaction and implemented the constrain abstract oriented to defects in JAVA program found by DTSJAVA. The experiment results shows that the system is exact,feasible and efficient.