Project Sponsors

Project Description

Software is becoming pervasive in our society. A large number of systems are now incorporating software, including embedded and safety critical systems. Due to the nature and complexity of these systems, thorough testing is becoming increasingly important. One challenge in software testing is the effort involved in creating and evaluating a test suite that will systematically test the system and reveal faults in an effective manner.

Models provide an abstraction of complex underlying systems and are extensively used in the industry. A growing trend in industry is the use of models for testing. This approach, known as, Model-based Testing (MBT) provides a mechanism for testing of software in a rigorous, systematic and automated way. This eventually reduces the number of faults in the software systems being developed and thus improves the quality of the final product. MBT in a nutshell is an automated approach for deriving the test cases from a behavioral model of a system and evaluating the test cases against the requirements specified in the models.

Core Team

This Project aims to develop a tool that will automate various steps required for MBT testing. The tool will be based on well-established standards for modeling the system under test (SUT) that are followed by the industry. The tool will also be 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. An important consideration while testing software systems is to test the so-called “non-functional” characteristics (also referred to as the quality attributes) of the software. The provided solution will also target the testing of non-functional aspects of software (such as robustness).

Contact Person: Dr. Zohaib Iqbal

Progress Report

Project Publications

  • Muhammad Usman, Muhammad Zohaib Iqbal, Muhammad Uzair Khan , A Model-driven Approach to Generate Mobile Applications for Multiple Platforms , accepted for publication at 21st Asia-Pacific Software Engineering Conference, Jeju, Korea, (APSEC) 2014
  • Muhammad Uzair Khan, Muhammad Zohaib Iqbal, Shaukat Ali, A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines , accepted for publication in 30th International Conference On Software Maintenance and Evolution (ICSME), 2014
  • Shaukat Ali, Tao Yue, Muhammad Zohaib Iqbal, Rajwinder Panesar-Walawege, Insights on the Use of OCL in Diverse Industrial Applications, accepted for publication in System Analysis and Modelling Conference (SAM), 2014
  • Muhammad Zohaib Iqbal, Shaukat Ali, Tao Yue, Lionel Briand, Applying UML/MARTE on Industrial Projects: Challenges, Experiences, and Guidelines, accepted for publication in Software and Systems Modeling Journal (SoSyM), 2014
  • Atif Aftab Jillani, Muhammad Zohaib Iqbal, Muhammad Uzair Khan A Search based Test Data Generation Approach for Model Transformations, accepted for publication in International Conference on Model Transformations (ICMT), 2014
  • Shaukat Ali, Muhammad Zohaib Iqbal, Andrea Arcuri Improved Heuristics for Solving OCL Constraints using Search Algorithms, accepted for publication in Genetic and Evolutionary Computing Conference (GECCO), 2014
  • Shaukat Ali, Muhammad Zohaib Iqbal, Andrea Arcuri, Lionel Briand,  Generating Test Data from OCL Constraints with Search Techniques , in IEEE Transactions on Software Engineering, 39(10):1376 - 1402, 2013 (Link)
  • Muhammad Zohaib Iqbal, Andrea Arcuri, Lionel Briand,  "Environment Modeling and Simulation for Automated Testing of Soft Real-Time Embedded Software" , accepted for publication in Software and Systems Modeling Journal (SoSyM), 2013 (Link)