首页 | 本学科首页   官方微博 | 高级检索  
     

基于扩展有限状态机的定义-清除路径的生成方法
引用本文:卢炎生,雷波,谢晓东,毛澄映.基于扩展有限状态机的定义-清除路径的生成方法[J].计算机工程与科学,2006,28(7):67-69.
作者姓名:卢炎生  雷波  谢晓东  毛澄映
作者单位:华中科技大学计算机科学与技术学院,湖北,武汉,430074
摘    要:本文提出了一种面向对象测试中定义-清除路径(DC路径)生成方法,以扩展有限状态机EFSM作为测试模型,结合数据流分析方法,用图论中的结点间最短路径求解思想生成DC路径.这样产生的路径考虑了对象状态迁移,能够发现类中方法与变量之间交互作用时发生的错误,并精简了定义-使用路径(DU路径)组成的测试用例集.

关 键 词:类单元测试  扩展有限状态机  定义-使用路径  定义-清除路径  测试用例
文章编号:1007-130X(2006)07-0067-03
修稿时间:2004年10月10

EFSM-Based Generation Method for Define-Clear Paths
LU Yan-sheng,LEI Bo,XIE Xiao-dong,MAO Cheng-ying.EFSM-Based Generation Method for Define-Clear Paths[J].Computer Engineering & Science,2006,28(7):67-69.
Authors:LU Yan-sheng  LEI Bo  XIE Xiao-dong  MAO Cheng-ying
Abstract:A define-clear path generation method in object-oriented testing is proposed. Extended Finite State Machine is selected the as testing model,the data flow analysis method and the ideas in the graphics theory for finding the shortest paths are used to generate DC paths. Because we take object state transferring into account, those define-clear paths can expose the limitation in the interaction between the member functions and variables, and thus reduce the test suite composed of define-use paths.
Keywords:class unit test  extended state machine  define-use path  define-clear path  test case
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机工程与科学》浏览原始摘要信息
点击此处可从《计算机工程与科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号