The Mutation Testing Research Based On Stored Program

Stored procedure is a sort of computer programs that is stored in the database and executed on the database server which is widely used in large-scale database systems. The uncovered faults in the stored program may result to incorrect modifications and unexpected deletions to the critical data. The se faults may have inf ectivity and transmissibility to which can make more data be contaminated, finally there will be many data access incon sistencies. Therefore it’s important to assure the correctness and reliability through sufficient test.Mutation testing is a kind of im portant software testing technologies w hich is used to assess the sufficiency of the test case suite and enhance it. The m ain idea is that changing the original program and getting the mutants, the changes simulate the different kinds of m istakes in the progr ams. The critical problem of m utation technology is automated generation of muta nts, but there is no m utation generated tool can be used directly to stored program until now. It’s the f irst time using the mutation technology to the testing of stored program, providing a new testing method for stored program, and an automated mutation tool SPMutation was implemented.In the thesis, the m utation technology was used to stored program testing and achieved two targets. The f irst target is th at there are th ree strategies are d esigned which contains 24 m utation operators according to the characters of stored program. The mutation operators suite can be divi ded into thre e levels: element level, expression level, statement level which cove rs a wide spe ctrum of stored program syntax rules. The second one is that desi gning the prototype strcture of the m utation tool SPMutation and implem ented it w ith Java. SPMutation can achieve a good scalability through the configur ations of mutation operators file which can sim ulate the errors in the new syntax regulations of stored program.The experiment results show SPMutati on can automated generate mutants and the equal mutants ratio is lower tha n 10 percentages in te rm of usability. For the effectiveness, it also can enhance the te st case suit though the mutation testing. The mutation score can be more than 9 0 percentages and near to 1. Lastly, the mutation testing of stored program can be done in an acceptable time for the efficiency.