Automated Game Testing in whict the models are developed in UML using a proposed model-based testing profile for platform games. The models include a domain model and state machines representing the game play behavior of an avatar. The state machine is used to generate test cases using the N+ testing strategy. The generated test cases result in short execution sequences, which can then be combined to generate interesting game testing scenarios.
Object Constraint Language (OCL) is an international modeling standard for writing constraints on Unified Modeling Language (UML) diagrams. These constraints can be written at various levels, e.g., they can represent class and state invariants, guards in state machines, constraints in sequence diagrams, and pre and post conditions of operations.
We use product-line engineering in collaboration with model-driven engineering to generate feature-based mobile application variants for multiple platforms, and developed a tool named MOPPET. Specifically, we deal with three types of variations in mobile applications: variation due to operation systems and their versions, variations due to software and hardware capabilities of mobile devices, and variations based on the functionalities offered by the mobile application. We define a modeling methodology (using UML) for mobile application modeling and feature model for mobile application variability.
The Model Transformation Testing Environment (Motter) is a tool-set that implements searchbased approach to provide automated structural testing of model transformations and metamodel. Motter generate set of test cases (instances of source meta-model as test model) that not only covers various execution paths of the transformation under test but also generates valid meta-model instances. Therefore, the use of Motter tool is two-folded, one in the generation of valid meta-model instances to maximize the meta-model coverage and other in the generation of test models, that automated the process of test generation by generating set of test that successfully achieves various structural coverage criteria including, statement coverage, branch coverage etc.
"A product-line model-driven engineering approach for generating feature-based mobile applications"
A software testers meetup was held in Lahore on February 25 where 130+ testers attended the event.
Pakistan Software Quality Conference'17 was held in Islamabad.The theme of conference was ‘Testing in the Real’ .
QUEST Lab is offering 5 fully paid MS Scholarships for the academic year starting Fall 2016.