《计算机学报》文章摘要   全文下载
文章题目	基于FSM的测试理论、方法及评估
作者	刘攀1)，2) 缪淮扣1)，2) 曾红卫1) 刘阳1)
作者单位	1) (上海大学计算机工程与科学学院 上海 200072) 2) (上海市计算机软件评测重点实验室 上海 200072)
发表年份	2011
发表月份	6期(965—984)
文章摘要	摘要 为搭建基于FSM的测试方法由理论研究通往工业应用的桥梁，文中讨论了若干基于FSM模型的测试方法及其相关理论，提出构造区分序列的理论及测试序列集合冗余约简的理论，补充并实现了若干基于FSM的测试生成算法.随后文中提出了基于FSM的测试方法评估的5项量化指标，实验评估了若干基于FSM模型的测试方法，给出了一些基于FSM测试的经验建议.文中的评估有助于基于FSM的测试方法在工业中的推广. 关键词 基于FSM的测试；测试评估；测试生成算法；基于FSM的测试理论；冗余约简 中图法分类号 TP311 DOI号：10.3724/SP.J.1016.2011.00965