有限状态机模型测试序列生成算法研究

• 作者: 李元平 李华 赵俊岚
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: DFSM NFSM 约束集 适应性测试
• 年，卷（期）: 2016,（z2）
• 所属期刊栏目: 软件工程与数据库技术
• 页码范围: 474-481
• 页数: 8页
• 分类号: TP301.6
• 字数: 9683字
• 语种: 中文

摘要

在测试工程学中,应用测试生成树构建测试序列是相关测试方法的基础步骤,在传统测试生成树的基础上加入约束集的概念,使产生的测试生成树符合生产实际.同时在面向状态识别的测试方法中,考虑约束集对所生成状态区分序列的影响,基于带约束的测试生成树产生相应的特征集、状态识别集和UIO序列,提出或者改进了相应的算法.同时将测试方法扩展到了NFSM的情形下,提出了NFSM模型中前缀序列的生成算法和状态识别集的构建算法;结合状态识别矩阵与有限状态机同步乘积,提出在NFSM模型中的适应性测试方法,扩展了FSM应用于测试理论的完备性.建立了相应的测试方法工具集,实现了上述算法,验证了其可行性.最后给出了下一步的工作.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李华	内蒙古大学计算机学院	70	183	7.0	9.0
5	赵俊岚	内蒙古财经大学网络中心	26	338	6.0	18.0
6	李元平	内蒙古大学计算机学院	5	11	2.0	3.0