Source code and partial specifications analysis for automated generation of unit tests

Low level of software quality is one of the main problems of software engineering. Automated testing is one of the most effective strategies used to improve the quality of the software. This paper describes a technique of automated unit tests creation combining both functional and structural approaches of software testing. In this method, information extracted from the original program is used to ensure test coverage of program paths. Partial specifications given in the form of contracts are used to form test oracles and to distribute parameters of tests on definition domain. The developed approach was implemented as a tool that analyzes Java programs and generates test cases for class methods in JUnit format, using CoFoJa to specify the contracts. Designed tool testing on a number of test cases showed efficiency of the approach.