Software Development Support with Automatic Test Generation

摘要

In the complex process of software development, testing is a crucial and time consuming phase, traditionally performed manually. As requirements change, we need to be able to implement new test cases, correctly and efficiently. Our paper will propose an automatic process of generating test cases. We intend to cover requirements analysis and design, along with testing, in a unified manner. Our final goal is to offer a means of support for the software development process, based on automatic test case generation.