基于犉犛犕的测试理论方法及评估.pdfVIP

第卷第期 计 算 机 学 报 ３４ ６ 　 　　　　　　　　 Ｖｏｌ．３４Ｎｏ．６ 年月 ２０１１６ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ Ｊｕｎｅ２０１１ 　 基于 的测试理论、方法及评估 犉犛犕 ），） ），） ） ） １２ １２ １ １ 刘攀 缪淮扣 曾红卫刘阳 　 　 　 　 　 ） １（上海大学计算机工程与科学学院上海 ） ２０００７２ 　 　 ） ２（上海市计算机软件评测重点实验室上海 ） ２０００７２ 　 　 摘要 ， 为搭建基于 的测试方法由理论研究通往工业应用的桥梁文中讨论了若干基于 模型的测试方 ＦＳＭ ＦＳＭ 　　 法及其相关理论，提出构造区分序列的理论及测试序列集合冗余约简的理论，补充并实现了若干基于 的测试 ＦＳＭ 生成算法随后文中提出了基于 的测试方法评估的项量化指标，实验评估了若干基于 模型的测试方 ． ＦＳＭ ５ ＦＳＭ 法，给出了一些基于 测试的经验建议文中的评估有助于基于 的测试方法在工业中的推广 ＦＳＭ ． ＦＳＭ ． 关键词 ； ； ； ； 基于 的测试测试评估测试生成算法基于 的测试理论冗余约简 ＦＳＭ ＦＳＭ 　 中图法分类号 号： ／ ＴＰ３１１ 犇犗犐１０．３７２４ＳＰ．Ｊ．１０１６．２０１１．００９６５ 　　　 ： ， 犉犛犕犅犪狊犲犱犜犲狊狋犻狀犜犺犲狅狉犕犲狋犺狅犱犪狀犱犈狏犪犾狌犪狋犻狅狀 犵 狔 ），） ），） ） ） １２