| Title |
Simboliniu vykdymu grindžiamo mutacinio testavimo įrankio kūrimas ir tyrimas / |
| Translation of Title |
Mutation testing based in symbolic execution tool development and research. |
| Authors |
Milašius, Tomas |
| Full Text |
|
| Pages |
74 |
| Keywords [eng] |
software testing ; symbolic execution ; mutation ; test cases generation |
| Abstract [eng] |
This work consists of three major parts. The first (analytical) part is the review of software quality assurance activities - specifically the testing process. The main focus is on automated test generation. The second (design) part describes the mutation testing based on symbolic execution test generation method. It also specifies the implementation details of the systems under development - described in the static and dynamic perspectives. The third part (research and experimental) is devoted for analysis of developed method. Here wide range of characteristics and metrics are analyzed. Also, some improvements are implemented. This helped to reduce system’s methods cyclomatic complexity and greatly increased speeds at witch tests generation are performed. The method described is characterized by the fact that it can help generate tests that detect mutations in the software code and symbolic execution is used for test generation, rather than a random number generator. |
| Type |
Master thesis |
| Language |
Lithuanian |
| Publication date |
2011 |
