Tomohiko TakagiMutlu BeyazitBeyazit, MutluTakagi, Tomohiko2025-10-0620159783031963100, 9783642034510, 9783540768029, 9783642364051, 9783031852510, 9783540959717, 9783031534447, 9783642054402, 9783642327254, 9783030949099978331911264097833191126571860949X, 186095031860-95031860-949X10.1007/978-3-319-11265-7_22-s2.0-84921342486https://www.scopus.com/inward/record.uri?eid=2-s2.0-84921342486&doi=10.1007%2F978-3-319-11265-7_2&partnerID=40&md5=9a6976144e9b710c24c5b4829bad96c0https://gcris.yasar.edu.tr/handle/123456789/9961https://doi.org/10.1007/978-3-319-11265-7_2In this paper a novel formal model called an OPFPI (operational profile with fault-proneness information) and a novel algorithm to generate optimized test cases from the OPFPI are proposed in order to effectively improve software reliability or gain a perspective of software reliability in a limited span of time for testing. The OPFPI includes the feasibility problem due to the use of guards (conditions to make specific state transitions feasible), therefore ant colony optimization is employed in the algorithm to generate test cases that cover frequent and fault-prone state transitions as comprehensively as possible. A test tool that implements the OPFPI and executes the optimized test case generation has been developed and it has been applied to a non-trivial system. The obtained results indicate that significant improvement of test cases can be achieved in a short time. © 2015 Elsevier B.V. All rights reserved.Englishinfo:eu-repo/semantics/closedAccessAnt Colony Optimization, Model-based Software Testing, Operational Profile, Test Case GenerationOperational ProfileAnt Colony OptimizationTest Case GenerationModel-Based Software TestingArticle