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

基于一种扩展分层有限状态机模型的测试生成 被引量：1

An Automatic Test Generation Based on a Kind of Extended Hierarchical Finite State Machines
下载PDF
导出
摘要 为了解决分层有限状态机(HFSM)中数据和约束的问题,对扩展分层有限状态机(E-HFSM)给出了定义对其特征进行了分析,对基于其上的模型所面临的测试问题进行了讨论.考虑了在测试中遇到的控制流和数据流问题,针对其中一种模型(父子EHFSM间不存在数据依赖关系),结合现有的方法工具给出了一种一致性测试生成方法. In order to solve the data and constraint problem in Hierarchical Finite State Machines （HFSMs）; the definition of extended hierarchical finite state machines （EHFSM） and the analysis of the property of EHFSMs are presented. Furthermore, based on a special kind of EHFSM, a test generation method for the conformance testing is developed. The extended finite state machine test generator （EFTG） of extended finite state machines （EFSMs） and techniques of data flow and control flow are used in this method.
作者 萨智海 王俊义
机构地区 内蒙古大学计算机学院
出处 《内蒙古大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第5期575-578,共4页 Journal of Inner Mongolia University：Natural Science Edition
关键词 扩展分层有限状态机(EHFSM) 控制流 数据流 测试生成 extended hierarchical finite state machine （EHFSM） control flow data flow test generation
分类号 TP393.06 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献5

  • 1刘鸿,尹霞,吴建平.基于分层有限状态自动机的一致性测试生成[J].清华大学学报（自然科学版）,2003,43(7):993-996. 被引量：7
  • 2Alur R, Yannakakis M. Model checking of hierarchical state machines [A].Proceeding of ACM SIGSOFT 6th Interntional Symposium on Fundations of Software Engineering (FSE′98) [C]. Lake Buena Vista, Florida, USA: ACM Press, 1998. 175～188.
  • 3Fummi F, Sciuto D.A complete test strategy based on interacting and hierarchical FSMs [A].Proceedings of 1997 IEEE International Symposium on Circuits and Systems (ISCAS′97) [C].Hong Kong: IEEE Press, 1997.2 709～2 712.
  • 4Bourhfir C,Dssouli R,Aboulhamid E,et al. Automatic executable test case generation for EFSM specified protocols [A].Proceeding of 1997 IFIP International Workshop on Testing Communicating Systems(IWTCS′97) [C].Cheju Island,Korea:Chapman & Hall, 1997.75～90.
  • 5Li X,Higashino T,Higuchi M,et al.Automatic generation of extended UIO sequences for communication protocols in an EFSM model [A].Proceedings of the seventh IFIP:International Workshop Protocol Test Systems (TWPTS′94) [C].Tokyo,Japan:Chapman & Hall,1994.225～240.

二级参考文献7

  • 1Alur R, Yannakakis M. Model checking of hierarchical state machines [A]. Proceedings of the ACM SIGSOFT 6th International Symposium on Foundations of Software Engineering (FSE'98) [C]. Lake Buena Vista, Florida,USA: ACM Press, 1998. 175-188.
  • 2Fummi F, Sciuto D. A complete test strategy based on interacting and hierarchical FSMs [A]. Proceedings of 1997 IEEE International Symposium on Circuits and Systems (ISCAS'97) [C]. Hong Kong, Hong Kong: IEEE Press,1997. 2709-2712.
  • 3Alur R, Courcoubetis C, Yannakakis M. Distinguishing tests for nondeterministic and probabilistic machines [A].Proceedings of 27th Annual ACM Symposium on Theory of Computing [C]. Las Vegas, Nevada, USA: ACM Press,1995. 363-372.
  • 4Lee D, Yannakakis M. Principles and methods of testing finite state machines-A survey [J]. Proceedings of the IEEE, 1996, 84(8) : 1090-1123.
  • 5Aho A V, Dahbura A T, Lee D, et al. An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours [J]. IEEE Trans on Communications, 1991, 39(11) : 1604 - 1615.
  • 6Eppstein D. Reset sequences for monotonic automata [J].SIAM J Computing, 1972, 19(3): 248-264.
  • 7RFC2710. Multicast listener discovery (MLD) for IPv6 [S].

共引文献6

同被引文献8

引证文献1

二级引证文献3

内蒙古大学学报（自然科学版）
2005年 第5期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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