An integrated Toolset for Model-based Testing of Industry-Scale Software Systems.

Principal Investigator’s Organization (PIO):

National University of Computer and Emerging Sciences (FAST-NU) Islamabad

Principal Investigator (PI):

Dr. M Zohaib Iqbal


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.

Start Date 01-Jan-2014

Duration 24 months

Budget PKR 13.43 million

Status  Project in Inclosure Process

Progress Report View Progress Report

Publications  N/A

Thematic Area  Other

Project Website