Funded Projects

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
Project Details:
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 http://questlab.pk/MBT
Executive Summary

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.