一种改进的转换可执行分析测试序列生成算法  

A test sequence generation algorithm based on improved transition executability analysis

作　　者：赵保华[1] 陈波[1] 屈玉贵[1] 

机构地区：[1]中国科学技术大学计算机系,安徽合肥230027

出　　处：《中国科学技术大学学报》2007年第9期1096-1100,共5页JUSTC

基　　金：国家自然科学基金重大研究计划资助(90104010);国家自然科学基金(60241004);国家重点基础研究发展(973)计划资助(2003CB314801);网络与交换技术国家重点实验室开放课题的资助

摘　　要：为确保测试序列对控制流和数据流的覆盖,提出了一种对以扩展有限状态机(extended finitestate machine,EFSM)为模型描述的协议进行测试的方法.该方法在控制流部分采用惟一输入输出(unique input/output,UIO)序列,在数据流部分采用全定义-使用路径(all Def-use paths)标准,通过改进的转换可执行分析(transition executability analysis,TEA)方法,使用深度优先策略生成TEA树,同时得到可执行的EFSM控制流和数据流测试序列以及所有变量的定义-使用对(Def-use pairs).A method for testing protocols modeled by EFSM （extended finite state machine） was proposed, which can insure both the control flow and data flow to be covered by test sequences. The method uses UIO （unique input/output） sequences for control flow and all Def-use paths criterion for data flow. By means of improved transition executability analysis and extending a TEA （transition executability analysis） tree with depth-first strategy, it can generate executable test sequences both for control flow and data flow, as well as the Def-use pairs of all variables.

关 键 词：协议测试 扩展有限状态机 转换可执行分析 

分 类 号：TN929.53[电子电信—通信与信息系统]