基于EFSM模型的等价类测试  

Equivalence Testing Based on EFSM

作　　者：易国洪[1] 卢炎生[1] 

机构地区：[1]华中科技大学计算机科学与技术学院,武汉430074

出　　处：《计算机科学》2007年第1期281-284,共4页Computer Science

基　　金："十五"国防科技预研项目(编号:4131592)资助

摘　　要：等价类测试是有效减少测试用例而又较小地影响测试效果的一种高效的测试方法,但是对于测试者来说,寻找一种等价类测试的划分方法十分重要,本文提出了一种基于EFSM(Extended Finite State Machine)模型的等价类测试划分的方法,通过对EFSM模型数据依赖和控制依赖分析,给出了等价类测试划分的具体方法和算法,并给出了等价类划分方法的完备性和无冗余性证明。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.

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

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]