首页|基于扩展有限状态机的定义-清除路径的生成方法

基于扩展有限状态机的定义-清除路径的生成方法

EFSM-Based Generation Method for Define-Clear Paths

扫码查看
原文链接
  • 国家科技期刊平台
  • NETL
  • NSTL
  • 万方数据
  • 维普
本文提出了一种面向对象测试中定义-清除路径(DC路径)生成方法,以扩展有限状态机EFSM作为测试模型,结合数据流分析方法,用图论中的结点间最短路径求解思想生成DC路径.这样产生的路径考虑了对象状态迁移,能够发现类中方法与变量之间交互作用时发生的错误,并精简了定义-使用路径(DU路径)组成的测试用例集.

卢炎生、雷波、谢晓东、毛澄映

展开 >

华中科技大学计算机科学与技术学院,湖北,武汉,430074

类单元测试 扩展有限状态机 定义-使用路径 定义-清除路径 测试用例

国防预研基金

41315.9.2

2006

计算机工程与科学
国防科学技术大学计算机学院

计算机工程与科学

CSTPCDCSCD
影响因子：0.787
ISSN：1007-130X
年,卷(期)：2006.28(7)
  • 3
  • 3