基于FSM的测试理论、方法及.pdfVIP

第34卷第6期 计 算 机 学 报 v01．34No．6 2011 2011年6月 CHINESE OFCOMPUTERS June JOURNAL 基于FSM的测试理论、方法及评估 刘 攀。’2’ 缪淮扣矗’ 曾红卫刘 阳 1’(上海大学计算桃工程与科学学院上海200072) 2’(I-海市计算机软件评测重点实验室上海200072) 摘要 为搭建基于FSM的测试方法由理论研究通往工业应用的桥梁，文中讨论了若干基于FSM模型的测试方 法及其相关理论，提出构造区分序列的理论及测试序列集合冗余约简的理论，补充并实现了若干基于FSM的测试 生成算法．随后文中提出了基于FSM的测试方法评估的5项量化指标，实验评估了若干基于FSM模型的测试方