Test Case Generation For Software Reliability Research And Realization

With the development of software design technology and development tools, the application becomes larger and more complex. So, it requires software more safe and reliable. Software testing is the process of finding fault of the software product and correcting it, which plays a vital role in creating and delivering high-quality software product. How to guarantee the product quality, especially the software reliability, has become one of the key problems in software engineering. However, the embedded system is frequently used in safety-critical applications. People pay more attention to testing and increasing its reliability. Because of embedded software's attribute, it usually requires very high reliability and security. There still exist many difficulties and challenges to test it.This thesis does some researches in software testing and software reliability engineering. For the embedded software reliability testing, we do some groping researches and experiments. Primary contents as below:First, software testing and reliability testing are introduced in the aspect of software engineering. Current test technology and the methods of software reliability testing are analysed and compared. Designing and generating test case is difficult in software testing, which decides the quality of software testing. The thesis focus on current methods for automatic generating test case, including based on Z specification, based on model, oriented on path etc. On the ground of this research, the thesis discusses a method for generating test case based on Time Petri Net, with the help of petri net theory.Next, in special fields, automatic test case generation technique is discussed. In traditional software reliability testing based on usage model, it relies on strong abstractions which are difficult to translate into executable test cases for automated testing. Model-based techniques often use a single model to represent system behavior, which restricts the number and type of test cases. So, this thesis presents a method to generating test case based on hierarchical model for embedded real-time software. We refine on different levels and generate executable test sequence. Based on above researches, we analyse current software reliability testing tools, design and realize an assist platform which predigests testing and can be used in embedded-software simulative test system. At last, this thesis summarizes the whole work, and points out the later work.