Quality Software, International Conference on (2006)
Oct. 27, 2006 to Oct. 28, 2006
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QSIC.2006.25
Zhifeng Lai , Hong Kong University of Science and Technology, Hong Kong
S.C. Cheung , Hong Kong University of Science and Technology, Hong Kong
Yunfei Jiang , Zhongshan (Sun Yat-sen) University, China
Model-based techniques for reactive systems generally assume the availability of a state machine that describes the behavior of the system under study. However, the assumption may not always hold in reality. Even the assumption holds, the state machine could be invalidated when the system evolves. This triggers the study of adaptive model checking, which necessitates an iterative construction of a state machine for a system. In this paper, we propose a dynamic learning approach based on genetic algorithm to iteratively generate a finite-state automaton from a given system. In view of the fact that modern systems are apt to change, our algorithm postpones expensive equivalence checking until the associated accuracy is required for the verification of some properties. We explain in details the core learning process of our algorithm, including encoding the model and its synthesis from a given training set. Experimental results show that our algorithm is scalable in memory consumption. Dynamic model learning technique helps model checking of evolving reactive system.
Z. Lai, S. Cheung and Y. Jiang, "Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework," Proceedings of the 6th International Conference on Quality Software(QSIC), Beijing, 2006, pp. 410-417.