Document Type

Conference Proceeding


IEEE Computer


Faculty of Computing, Health and Science


School of Computer and Security Science




This article was originally published as: Farooq, U. , & Lam, C. P. (2009). Evolving the Quality of a Model-Based Test Suite. Proceedings of International Conference on Software Testing, Verification and Validation. (pp. 141-149). USA, Denver. IEEE Computer. Original article available here

© 2009 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.


Redundant test cases in newly generated test suites often remain undetected until execution and waste scarce project resources. In model-based testing, the testing process starts early on in the developmental phases and enables early fault detection. The redundancy in the test suites generated from models can be detected earlier as well and removed prior to its execution. The article presents a novel model-based test suite optimization technique involving UML activity diagrams by formulating the test suite optimization problem as an Equality Knapsack Problem. The aim here is the development of a test suite optimization framework that could optimize the model-based test suites by removing the redundant test cases. An evolution-based algorithm is incorporated into the framework and is compared with the performances of two other algorithms. An empirical study is conducted with four synthetic and industrial scale Activity Diagram models and results are presented.



Access Rights



Link to publisher version (DOI)