@inproceedings{889af5562cba4232870e8b67aab37de6,
title = "A generic formal framework for protocol interoperability test and test cases minimization",
abstract = "A generic formal framework for protocol interoperability test is proposed, which consider the common situation of protocol interoperability test by introducing the multi-stimuli principle in the multi-port FSM. A novel interoperability test sequences minimization scheme based on genetic algorithm (GA) is proposed to avoid the state space explosion problem, which easily occur in multi-stimuli systems during the interoperability test. Interoperability test sequences always contain two parts: interoperability part and local part. Conventional algorithms only remove redundancy from conformance test sequences and do not consider the redundant path relevant for interoperability part. During our work, the minimal-complete-coverage criterion and GA are applied to remove redundancy in both local transitions and interoperability transitions. Experiment results show that compare to conventional algorithm, our algorithm can avoid the state space explosion problem effectively and more practical for it can reduce the length of the test sequences and maintain the same transition coverage.",
keywords = "formal model, protocol interoperability test, test architecture, test sequences",
author = "Ning Zhong and He, {Zun Wen} and Kuang, {Jing Ming}",
year = "2008",
doi = "10.1145/1370042.1370055",
language = "English",
isbn = "9781605580302",
series = "Proceedings - International Conference on Software Engineering",
pages = "57--61",
booktitle = "30th International Conference on Software Engineering, ICSE 2008 Co-located Workshops - Proceedings of the 3rd International Workshop on Automation of Software Test, AST 2008",
note = "3rd International Workshop on Automation of Software Test, AST 2008, held in Conjunction with the 30th International Conference on Software Engineering, ICSE 2008 ; Conference date: 11-05-2008 Through 11-05-2008",
}