Generating test case for algebraic specification based on Tabu search and genetic algorithm
To improve the effectiveness of generating test case for algebraic specification, an approach for generating test cases based on tabu search and genetic algorithm (Tabu GA) is presented. A prototype tool CASCATT (Common Algebraic Specification based Class, Component and Web service Automatic Testing Tool) is implemented based on Tabu GA, which tests Class, Component and Web Service based on algebraic specification described by CASOCC WS (Common Algebraic Specification of Components, Classes and Web service) language. The experiments results show the testing method is better effective, comparing with the existed random method in algebraic testing tool CASCAT (Common AS based Component Automatic Testing) which generated test case from random data rewriting technology.
Cluster Computing