The Method And Implementation Of Automated Test Case Generation Of Class State

The scale of computer software has been ballooned greatly and its complexity has also increased sharply which bring about the more and more serious effect. Software quality has arisen peoples high attention. In modern software engineering, every stage of software development should practice very strict quality evaluation and test. Software test becomes the key juncture of software quality assurance.The state of Class reflects the property of interactive and dynamic between method. So state test is the key part of OO software test. This paper designs the prototype of state automated test data generation tool-aTDG4SM(improved Test Data Generator for State Machine). aTDG4SM abstracts the UML state chart info by virtue of bison++ grammar parser and the design of corresponding grammar of UML specification; Chinese Postman Algorithm is adopted to generate the global optimized test sequence; The concept of Executable Specification is advanced which integrates the advantage of specification based and program based test case generation strategy; And finally GA is used to generate test data. Also the key test technology such as program static analysis , instrumentation and key algorithm is discussed and the framework of aTDG4SM is given. Finally instances are given to express the design theory and verify the prototype.