Skip to Main Content
Traditional functional testing tools are always based on recording/ playback mode, this need to rely on the reality of system GUI and source code, test activities has to wait to begin until the end of software development life cycle, the cost for fixing bugs is very… With the present and widely accept of test-first concept, model-based testing has be presented. This paper designs an automatic test platform which based on graph theory model. In this platform, System requirement is formulized described based on graph theory using UML, and abstracted into a graph model. This makes it possible to automatically check the requirement correctness according to model checking technique; the generated test cases could also be used in integration test phase.