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

基于扩展有限状态机测试序列生成方法研究 被引量：3

Research on test sequence generation methods based on EFSM
下载PDF
导出
摘要 扩展有限状态机是对有限状态机的扩展,由于引入了变量、状态迁移的前置条件以及状态迁移所引起的操作,它的测试序列存在可执行性问题。讨论了基于扩展有限状态机的测试序列生成方法的主要特点及局限性,指出了有待进一步研究的若干问题。 EFSM is an extension of FSM by adding variables,operations and preconditions of transitions.In this paper we review the existing test sequence generation methods for EFSM.Then the primary theory and important definition of every test sequence generation methods are presented.The most important peculiarity and limitations in each method are introduced and analyzed.Finally,further problems to be studied in this field are pointed out.
作者 蒋凡 魏蓉 郐吉丰
机构地区 中国科学技术大学计算机科学与技术系
出处 《计算机工程与应用》 CSCD 北大核心 2007年第7期62-64,74,共4页 Computer Engineering and Applications
关键词 扩展有限状态机 有限状态机 测试序列生成 数据流测试 可执行性 EFSM FSM.test sequence generation data flow testing executability
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献23

  • 1Naito S,Tsunoyama M.Fault detection for sequential machines by transition tours[C]//Proc IEEE Fault Tolerant Comput Conf Englewood Cliffs,NJ Prentice-Hall,1981:238-243.
  • 2Gonenc G.A method for the design of fault detection experiments[J].IEEE Trans Comput,1970,C-19:551-558.
  • 3Chow T S.Testing software design modeled by finite state machine[J].IEEE Trans on Software Engineering,1978,4(3):178-t87.
  • 4Sabnani K,Dahbura A.A new techniquefor generating protocol tests[J].ACM Comput Commun Rev,1985,15 (4):36-43.
  • 5Chun W,Amer P D.Test case generation for protocols specified in Estelle[M]//Quemada J,Manas J,Vazquez E.Formal Description Techniques.North-Holland:Elsevier Science Publishers B V,1991:191-206.
  • 6Ramalingom T,Thulasiraman K,Anindya D.Context independent unique sequences generation for protocol testing[C]//Proc Int'l Conf Computer Comm 15th Ann Joint Conf IEEE,1996,3:1141-1148.
  • 7Li X,Higashino T,Higuchi M,et al.Automatic generation of extended UIO sequences for communication protocols in an EFSM model[C]//Proc Seventh Int'l Workshop Protocol Test Systems,1997:225-240.
  • 8Huang C M,Chiangm S,Jang M Y.UIOE:a protocol test sequence generation method using the Transition Executability Analysis(TEA)[J].Computer Communication,1998,21(16):1462-1475.
  • 9周晓煜,屈玉贵,赵保华.利用逆向判定性缩短EFSM的测试序列的长度[J].通信学报,2000,21(11):48-55. 被引量：6
  • 10Hierons R M.Testing from a finite-state machine:extending invertibility to sequences[J].The Computer Journal,1997,40(4):220-230.

二级参考文献6

共引文献25

同被引文献25

  • 1赵明华,陈榕,王小鸽.基于元数据的构件自动测试技术研究[J].计算机工程与设计,2006,27(10):1731-1733. 被引量：5
  • 2ALI Y D,UYAR M U.A method enabling feasible conformance test sequence generation for EFSM models[J]. IEEE Transactions on Computers, 2004,53 (5) : 614- 627.
  • 3CHANG Liu,RICHARDSON D.Software components with retrospectors[C].In Proceedings of International Workshop on the Role of Software Architecture in Testing and Analysis, 1998 : 63-68.
  • 4RAKESH S,DAVID C,PAUL S.A passive test oracle using a Component's API[C].Proceedings of the 12th Asia-Pacific Software Engineering Conference(APSEC'05),2005 561-567.
  • 5Li X, Higashino T, Higuchi M, et al. Automatic genera tion of extended UIO sequences for corn munication proto- cols in an EFSM model[C] // Proc Seventh Int 'l Workshop Protocol Test Systems. London : 1997 : 225-240.
  • 6Coward P D. Symbolic Execution Systems- a Review[J]. Software Engineering Journal, 1988,3(6) : 229-239.
  • 7Adler I,Megiddo N. A Simplex Algorithm Whose Average Number of Steps Is Bound Between Two Quadratic Functions of the Smaller Dimension[J].ACM, 1985,32(4) :871-895.
  • 8Duale A Y,Uyar M U. A method enabling feasible conformance test sequence generation for EFSM models[J]. I EEE Transactions on Computers, 2004,53(5) : 614-627.
  • 9Derderian K, Hierons R M, Harman M, et al. Estimating the feasibility of transition paths in Extended Finite State Maehines[J]. Automated Software Engineering, 2010,17(1) : 33-56.
  • 10Androutsopoulo K,Gold N, Harman M, et al. A theoretical and empirical study of EFSM dependence[C]// 2009 IEEE International Conference on Software Maintenance (ICSM). Edmonton 9.009.

引证文献3

二级引证文献8

计算机工程与应用
2007年 第7期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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