Model-based Integration and System Test Automation for Software Systems

The importance of software system is growing rapidly, traditional development system are not suitable to meet their requirements. New cost-efficient tools are needed for software packages. This paper introduces an automatic test generation technique, known as Model-based Integration and System Test Automation (MISTA). This integrated practical and security testing of various software package systems . MISTA generates test code that can be executed immediatetly. It uses a high-level Petri web to capture each control and data-related needs for practical testing, access management testing, or penetration testing with threat models. Once generating test cases from the test model, MISTA converts the test cases into workable test code by mapping model-level components into implementation-level. MISTA has enforced test generators for varied test coverage criteria of test models, code generators for various programming and scripting languages, and test execution environments like Java, C, C++, C#, HTML-Selenium IDE. The effectiveness is evaluated in terms of access-control fault detection rate using mutation analysis of access control implementation.