Skip to Main Content
Skip Nav Destination
ASME Press Select Proceedings

International Conference on Computer Engineering and Technology, 3rd (ICCET 2011)

By
Jianhong Zhou
Jianhong Zhou
Search for other works by this author on:
ISBN:
9780791859735
No. of Pages:
970
Publisher:
ASME Press
Publication date:
2011

Extended Finite State Machine (EFSM) is a powerful technique for modeling and deriving test sequences from system of interests and has been widely applied to many areas. However, test data generation from EFSM model is yet a challenging task. In this paper, we explore an efficient optimization algorithm for test data generation for specified paths in EFSM models. The proposed algorithm uses Simulated Annealing (SA) strategy to generate test data for paths from EFSM models. We verify the proposed algorithm on four classical EFSM models and compare with Genetic Algorithm (GA). The experimental results show that the SA strategy is more efficient and stable than the GA in test data generation for EFSM models.

Abstract
Key Words
1. Introduction
2. EFSM Model
3. Test Data Generation for EFSM with SA
4. Experimental Results and Analysis
5. Conclusions
Acknowledgment
References
This content is only available via PDF.
You do not currently have access to this chapter.
Close Modal

or Create an Account

Close Modal
Close Modal