期刊文献+

基于EFSM的一致性测试例生成及应用

On the Generation and Application of Conformance Test Routine Based on EFSM
下载PDF
导出
摘要 研究基于EFSM的一致性测试例的生成:动态选择与自动机技术相结合.该研究方法可对测试集进行有效优化,并提高生成测试集的覆盖率. The research is based on the generation of conformance test routine, that is a combination of dynamic selection and robotics-based technology. Such method will effectively optimize the test set, and enhance the coverage generation rate of test set.
出处 《江苏教育学院学报(自然科学版)》 2009年第1期23-25,共3页 Journal of Jiangsu Institute of Education(Social Science)
基金 国家自然科学基金项目(6047211)
关键词 EFSM 一致性测试 测试例 EFSM, conformance testing, test routine
  • 相关文献

参考文献3

二级参考文献7

  • 1[1]Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou . Standardiz ationof Formal Methods in Conformance Testing of Communication Protocols[J]. Computer Networks and ISDN Systems, 1996,29( 1 ) :3 -14.
  • 2[2]Jordi Cortadella , Michael Kishinevsky . Deriving Petri Nets for Finite Transition Systems[J]. IEEE Transactions on Computers, 1988,47 (1):859 - 882.
  • 3[3]Maritta Heisel , Nicole Lévy . Using LOTOS Patterns to Characterize Architectural Styles[A]. Theory and Practice of Software Development [C].7th International Joint Conference CAAP/FASE, 1997. 818 - 832.
  • 4[4]Irith Pomeranz, Sudhakar M. Reddy. On Finding a Minimal Functional Description of a Finite State Machine for Test Generation for Adjacent Machines[J]. IEEE Transactions on Computers, 2000,49(1): 88 - 94.
  • 5[5]Kshirasagar Naik. Efficient computation of unique input/output sequences in finite - state nachines[J]. IEEE/ACM Transactions on Networking,1997,5(6) :585 - 599.
  • 6张有--,硕士学位论文,1996年
  • 7张嘉,COSLX:网络传输传输控制协议CKX软件详细设计说明书,1994年

共引文献9

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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