PROJECT TITLE :

An Automated Test Generation Technique for Software Quality Assurance

ABSTRACT:

The world's increased dependence on software-enabled systems has raised major issues concerning software reliability and security. New cost-effective tools for software quality assurance are required. This paper presents an automated test generation technique, known as Model-based mostly Integration and System Take a look at Automation (MISTA), for integrated useful and security testing of software systems. Given a Model-Implementation Description (MID) specification, MISTA generates take a look at code which will be executed immediately with the implementation underneath take a look at. The MID specification uses a high-level Petri internet to capture both management- and knowledge-related requirements for useful testing, access management testing, or penetration testing with threat models. When generating test cases from the check model in keeping with a given criterion, MISTA converts the test cases into executable take a look at code by mapping model-level components into implementation-level constructs. MISTA has implemented check generators for varied test coverage criteria of take a look at models, code generators for varied programming and scripting languages, and check execution environments such as Java, C, $rm C++$, C#, HTML-Selenium IDE, and Robot Framework. MISTA has been applied to the practical and security testing of varied real-world software systems. Our experiments have demonstrated that MISTA will be highly effective in fault detection.