文献类型：期刊文章

作　　者：刘攀[1,2] 缪淮扣[1,2] 曾红卫[1] 刘阳[1]

机构地区：[1]上海大学计算机工程与科学学院,上海200072 [2]上海市计算机软件评测重点实验室,上海200072

出　　处：《计算机学报》

基　　金：国家自然科学基金(60970007;61073050);国家"九七三"重点基础研究发展规划项目基金(2007CB310800);上海市自然科学基金(09ZR1412100);上海市科学技术委员会(10510704900);上海市重点学科建设项目(J50103)资助

年　　份：2011

卷　　号：34

期　　号：6

起止页码：965-984

语　　种：中文

收录情况：BDHX、BDHX2008、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：20112814137476)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：为搭建基于FSM的测试方法由理论研究通往工业应用的桥梁,文中讨论了若干基于FSM模型的测试方法及其相关理论,提出构造区分序列的理论及测试序列集合冗余约简的理论,补充并实现了若干基于FSM的测试生成算法.随后文中提出了基于FSM的测试方法评估的5项量化指标,实验评估了若干基于FSM模型的测试方法,给出了一些基于FSM测试的经验建议.文中的评估有助于基于FSM的测试方法在工业中的推广.

关 键 词：基于FSM的测试  测试评估  测试生成算法 基于FSM的测试理论  冗余约简  

分 类 号：TP311]