计算机科学技术 |
|
|
|
|
ESIS序列自适应生成算法 |
舒挺1,2, 孙守迁1,王海宁1,徐伟强2 |
1.浙江大学 计算机科学与技术学院,浙江 杭州 310027; 2.浙江理工大学 信息电子学院,浙江 杭州310018 |
|
Adaptive generation algorithm for executable state identification
sequences in EFSM model |
SHU Ting1,2, SUN Shou-qian1, WANG Hai-ning1, XU Wei-qiang2 |
1. College of computer science and Technology, Zhejiang University, Hangzhou 310027, China ;
2. College of Informatics and Electronics, Zhejiang SCITECH University, Hangzhou 310018, China |
引用本文:
舒挺, 孙守迁,王海宁,徐伟强. ESIS序列自适应生成算法[J]. J4, 2010, 44(11): 2183-2187.
SHU Ting, SUN Shou-qian, WANG Hai-ning, XU Wei-qiang. Adaptive generation algorithm for executable state identification
sequences in EFSM model. J4, 2010, 44(11): 2183-2187.
链接本文:
http://www.zjujournals.com/eng/CN/10.3785/j.issn.1008973X.2010.11.025
或
http://www.zjujournals.com/eng/CN/Y2010/V44/I11/2183
|
[1] RAMLIGOM T, THULASIRAMAN K, DAS A. Context independent unique state identification sequences for testing communication protocols modelled as extended finite state machines [J]. Computer Communications, 2003, 26(14) : 1622-1633.
[2] ROBINSONMALLETT C, MUCKE T, LIGGESMEYER P, et al. Extended state identification and verification using a model checker [J]. Journal on Information and Software Technology, 2006, 48 (10): 981-992.
[3] RAMLIGOM T, THULASIRAMAN K, DAS A. Context independent unique sequences generation for protocol testing [C] ∥ IEEE INFOCOM ’96. CA, USA: IEEE,1996: 1141-1148.
[4] NAIK K. Efficient computation of unique input/ output sequences in finite state machines [J]. IEEE/ ACM Transactions on Networking , 1997,5 (4) :585-599.
[5] HUANG Chungming, CHIANG Mengshu, JANG Mingyuhe . UIOE: A protocol test sequence generation method using the transition executability analysis (TEA) [J] . Computer Communication , 1998, 21 (16): 1462-147.
[6] PETRENKO A, BORODAY S, GROZ R. Confirming configurations in EFSM testing [J]. IEEE Trans Software Engineering, 2004, 30 (1) : 29-42.
[7] SABNANI K, DAHBURA A. A protocol test generation procedure [J]. Computer Networks and ISDN Systems, 1988, 15(4):285-297.
[8] 舒挺,魏仰苏,吴柏青,等. EFSM可执行状态验证序列的生成[J].北京邮电大学学报,2007, 30(2):84-88.
SHU Ting, WEI Yangsu, WU Baiqing, et al. An algorithm for generating executable state identification sequences in EFSM model [J]. Journal of Beijing University of Posts and Telecommunications, 2007, 30(2):84-88. |
|
Viewed |
|
|
|
Full text
|
|
|
|
|
Abstract
|
|
|
|
|
Cited |
|
|
|
|
|
Shared |
|
|
|
|
|
Discussed |
|
|
|
|