An integrated Toolset for Model-based Testing of Industry-Scale Software Systems.
|Budget||PKR 13.43 million|
|Status||Project in Inclosure Process|
|Progress Report||View Progress Report|
The project developed a tool to automate various steps required for system-level MBT testing. The tool was based on well-established standards for modeling the system under test (SUT) that were followed by the industry, i.e., Unified Modeling Language (UML). The developed toolset used UML class diagram and state machines annotated with Object Constraint Language (OCL) constraints as input. The tool was also customizable to provide support for different test coverage criteria (e.g., all transitions and all round trip path coverage criteria), different testing strategies, and automated generation of test scripts targeting the needs of various industrial organizations.