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. The project aims at developing a toolset for automated model-based testing involving test sequence, test data, and test script generation.
Object Constraint Language (OCL) is an international modeling standard for writing constraints on Unified Modeling Language (UML) diagrams. The project aims at building a scalable and efficient constraint solver for OCL. The solver utilizes various search-based strategies for solving the OCL constraints. The solver has a number of applications ranging from test data generation to rule verification.
This project aims at developing tools and strategies to automate the testing of platform games. Gaming industry is a billion dollar industrym, but most of the testing approaches are still manual. The project involves developing a model-based testing strategy to simulate the game play of user using sophisticated strategies.
Developing and maintaining native applications for various mobile platforms and devices is a challenging task. The project aims to combine model driven engineering strategies with productline engineering concepts to solve this challenge. The idea of the project is to develop models of the mobile application and generate native applications for specified mobile devices and operating systems.
"A product-line model-driven engineering approach for generating feature-based mobile applications"
QUEST Lab is offering 5 fully paid MS Scholarships for the academic year starting Fall 2016.
A software testers meetup was held in Lahore on March 26, 2016 where 100+ testers attended the event.
A software testers meetup was held in Islamabad on January 9, 2016 where 130+ testers attended the event.