首页 | 官方网站   微博 | 高级检索  
     

基于EFSM模型的等价类测试
引用本文:易国洪,卢炎生.基于EFSM模型的等价类测试[J].计算机科学,2007,34(1):281-284.
作者姓名:易国洪  卢炎生
作者单位:华中科技大学计算机科学与技术学院,武汉,430074
摘    要:等价类测试是有效减少测试用例而又较小地影响测试效果的一种高效的测试方法,但是对于测试者来说,寻找一种等价类测试的划分方法十分重要,本文提出了一种基于EFSM(Extended Finite State Machine)模型的等价类测试划分的方法,通过对EFSM模型数据依赖和控制依赖分析,给出了等价类测试划分的具体方法和算法,并给出了等价类划分方法的完备性和无冗余性证明。

关 键 词:EFSM  等价类  软件测试  数据依赖分析  控制依赖分析

Equivalence Testing Based on EFSM
YI Guo-Hong,LU Yan-Sheng.Equivalence Testing Based on EFSM[J].Computer Science,2007,34(1):281-284.
Authors:YI Guo-Hong  LU Yan-Sheng
Affiliation:Department of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan 430074
Abstract:This paper presents a method of equivalence testing based on EFSM, and offers an algorithmic way of partition of Equivalence. The paper describes and defines the data dependence and control dependence based on EFSM. Different types of dependencies are identified between elements of EFSM system model. Equivalence testing sequence identifies by dependencies analysis. The paper proves redundancy and Completeness about partition of Equivalence.
Keywords:EFSM  Equivalence testing  Software testing  Data dependence analysis  Control dependence
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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

京公网安备 11010802026262号