Test Sequence Generation from Combining Property Modeling and Program Slicing

Property based testing is to test the interesting property of software. It can reduce the amount of testing work and further improve the efficiency of testing. Programming slicing is a way to analyze and decompose system code. In the paper, the category of the property is given and the primitive property is informal defined. A kind of property extraction method is presented and Petri net is constructed. Property model and dynamic slicing are combined to generate test sequence. As an example, the system structure of Minix3 is introduced. Exec, one of key system callings of Minix3, is modeling, slicing and its test sequences are generated. Minix3 provides open interfaces and modular. The results of slicing can be used to improve the process of software re-use. Finally the conclusion and the research work in the future are introduced.