| 基于FSM的测试理论、方法及评估 |
| |
| 引用本文： | 刘攀,缪淮扣,曾红卫,刘阳.基于FSM的测试理论、方法及评估[J].计算机学报,2011,34(6):965-984. |
| |
| 作者姓名： | 刘攀 缪淮扣 曾红卫 刘阳 |
| |
| 作者单位： | 1. 上海大学计算机工程与科学学院,上海200072;上海市计算机软件评测重点实验室,上海200072
2. 上海大学计算机工程与科学学院,上海,200072 |
| |
| 基金项目： | 国家自然科学基金，国家"九七三"重点基础研究发展规划项目基金，上海市自然科学基金，上海市科学技术委员会，上海市重点学科建设项目 |
| |
| 摘 要： | 为搭建基于FSM的测试方法由理论研究通往工业应用的桥梁,文中讨论了若干基于FSM模型的测试方法及其相关理论,提出构造区分序列的理论及测试序列集合冗余约简的理论,补充并实现了若干基于FSM的测试生成算法.随后文中提出了基于FSM的测试方法评估的5项量化指标,实验评估了若干基于FSM模型的测试方法,给出了一些基于FSM测试...
|
| 关 键 词： | 基于FSM的测试 测试评估 测试生成算法 基于FSM的测试理论 冗余约简 |
FSM-Based Testing: Theory, Method and Evaluation |
| |
| LIU Pan,MIAO Huai-Kou,ZENG Hong-Wei,LIU Yang.FSM-Based Testing: Theory, Method and Evaluation[J].Chinese Journal of Computers,2011,34(6):965-984. |
| |
| Authors: | LIU Pan MIAO Huai-Kou ZENG Hong-Wei LIU Yang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
