关键词: 禁忌搜索算法, 遗传算法, 可扩展有限状态机, 测试数据生成, 禁忌表

Abstract: Test case generation of EFSM (Extended Finite State Machine Models) includes test path generation and test data generation. However, nowadays most research into EFSM testing focuses on test path generation. In order to explore the automatic test generation, a test data generation method oriented to the path of EFSM models was proposed. A Tabu Search (TS) strategy was adopted to automatically generate test data, and the key factors that affect the performance of test data generation in EFSM models were analyzed. Moreover, the test generation efficiency was compared with that of Genetic Algorithm (GA). The experimental results show that the proposed method is promising and effective, and it is obviously superior to the GA in the test generation for EFSM models.

Key words: Tabu Search (TS) algorithm, Genetic Algorithm (GA), Extended Finite State Machine (EFSM), test data generation, Tabu table