期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于EFSM用户自定义故障模型的测试集生成

Method for generating test suite based on user-defined faults in EFSM model
下载PDF
导出
摘要 提出了一种用户自定义故障的EFSM测试集生成方法。该方法应用EFSM切片对EFSM模型进行合理的缩减,有效地避免了从EFSM到FSM转换得到测试集而产生状态空间爆炸的问题,也得到最短的测试用例集合。实验结果表明了新算法对生成最短EFSM测试集是有效的。 This paper presented a method for test generation based on user-defined faults for EFSM specifications. The algo- rithm used appropriate slices of the specification EFSM in order to avoid state space explosion when converting EFSM model to FSM model, these slices were much smaller than the given specification, meanwhile got the shortest test suite. Finally, the ar- ticle gave a simple protocol to he verified. The experiment proves that the algorithm is effective to generate shortest EFSM test suite.
作者 李永亮 李蕊 李仁发 张焱
机构地区 湖南大学计算机与通信学院
出处 《计算机应用研究》 CSCD 北大核心 2009年第9期3388-3391,共4页 Application Research of Computers
关键词 扩展有限状态机(EFSM) 用户自定义故障 一致性测试 测试生成 extended finite state machine user-defined faults conformance testing test generation
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献10

  • 1KOUFAREVA I, PETRENKO A, YEVTUSHENKO N. Test generation driven by user-defined fault models[ C]//Proc of the 12th International Workshop on Testing Communicating Systems. 1999:215- 236.
  • 2PETRENKO A, YEVTUSHENKO N. Test suite generation for a FSM with a given type of implementation errors [ C ]//Proc of the 12th Symposium on Protocol Specification, Testing & Verification. 1992:229- 243.
  • 3EL-FAKIH K, YEVTUSHENKO N, BOCHMANN G. FSM-based incremental testing methods[ J]. IEEE Trans on Software Engineering, 2004, 30(7) :425-436.
  • 4HIERONS R, KIM T, URAL H. Expanding an extended fnite state machine to aid testability[ C ]//Proc of COMPSAC. 2002:334-242.
  • 5PETRENKO A, BORODAY S, GROZ R. Confirming configurations in EFSM testing [ J ]. IEEE Trans on Software Engineering, 2004, 30 ( 1 ) :29- 42.
  • 6舒挺,魏仰苏,吴柏青,孟兆航.EFSM可执行状态验证序列的生成[J].北京邮电大学学报,2007,30(2):84-88. 被引量：8
  • 7EL-FAKIH K, PETRENKO S, YEVTUSHENKO N, et al. Fault diagnosis in extended finite state machines[ C ]//Proc of TestCom. Berlin :Springer, 2003 : 197-210.
  • 8EL-FAKIH K,KOLOMEEZ A, PROKOPENKO S, et al. Extended finite state machine based test derivation driven by user defined faults [ C ]//Proc of International Conference on Software Testing, Verification, and Validation, Washington DC: IEEE Computer Society, 2008:308-317.
  • 9HUANG Chug-ming, CHIANG Meng-shu, JANG Ming, et al. UIOE: a protocol test sequence generation method using the transition execut- ability analysis (TEA) [ J]. Computer Communication, 1998,21 (16) : 1462-1475,.
  • 10PETRENKO A, YEVTUSHENKO N. Testing from partial deterministic FSM specifications[J]. IEEE Trans on Computers, 2005, 54 (9) :1154-1165.

二级参考文献5

  • 1Ramligom T,Thulasiraman K,Das A.Context independent unique sequences generation for protocol testing[C]∥IEEE INFOCOM 96.CA:IEEE Press,1996:1141-1148.
  • 2Naik K.Efficient computation of unique input/output sequences in finite state machines[J].IEEE/ACM Transactions on Networking,1997,5(4):585-599.
  • 3Huang Chungming,Chiang Mengshu,Jang Mingyuhe.UIOE:a protocol test sequence generation method using the transition executability analysis (TEA)[J].Compu-ter Communication,1998,21(16):1462-1475.
  • 4Petrenko A,Boroday S,Groz R.Confirming configurations in EFSM testing[J].IEEE Trans Software Engineering,2004,30 (1):29-42.
  • 5Sabnani K,Dahbura A.A protocol test generation procedure[J].Computer Networks and ISDN Systems,1988,15(4):285-297.

共引文献7

计算机应用研究
2009年 第9期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部