Researches On Test Case Generation Methods Based On Statechart And Z

Software testing is one of the most important issues in computer science and engineering. Nowadays, with the widely used object oriented technology and fast development of CASE tools, software designing and coding become easier than ever before, which in turn makes software testing more and more important. With the improvement of software testing theories and fast development of supporting technologies, software testing has become an indispensable key process of software quality assurance in software engineering area.This dissertation is mainly focus on the test case generation methods based on statechart and Z language. Firstly, a detailed study of four basic test case generation methods based on finite state machine (FSM) was presented. As to extended finite state machine (EFSM) test, we describe a method that converts EFSM to an equivalent test scene; this equivalent test scene does not have the nondeterministic problems in former EFSM with the existence of preconditions. Then we can apply the four basic test case generation methods based on the FSM to the converted EFSM. There are state combinatorial explosion and test sequence synchronize problems in large system testing. This dissertation offers a multiple tester model that can generate test sequence without product machine. This method ameliorates the problem of state exploration. Also, the algorithm of the synchronizable test sequence generation method and synchronizable graph generation method we described in this dissertation solve the synchronize problem in the test process.Software testing based on formalization is also an important issue in recently research work. Many scholars studied testing methods based on formal language such as Z. In this dissertation, we introduce an automatic test case generation method based on Z specification and discuss the advantage and possibility of combining statechart and Z during testing process. Also we offer a method can automatically convert statechart to Z schema, which will benefit the automatic test.Finally, we give a test tool model based on the methods we discussed in this dissertation and some suggestions on software testing process improvement. We also describe test criteria in Z notation, which can support the formalized test method and its evaluation and assessment.