||Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal Specification
102015-03-24 , 法政大学大学院情報科学研究科
How to generate adequate test cases based on a specification to cover all of the paths in its implementation is a challenge in software testing. In this paper, we describe a novel method for effectively selecting test cases generated from a model-based formal specification. Applying the method, a set of test cases is first generated from the specification, and then a genetic algorithm(GA) is repeatedly applied to derive more test cases with stronger capability in terms of achieving better path coverage on the basis of the existing test cases. The principle of GA is discussed and an improvement of the GA through integration with Tabu list is presented. An experiment is conducted to study how the improved GA can be applied and to evaluate its effectiveness. The result shows that our proposed method is more efective than conventional methods and can cover all paths based on formal specification.