基于形式化的测试框架及实例分析

• 作者: 李元平 李华 王彪 赵俊岚 阮宏玮
• 来源期刊: 计算机应用研究
• 关键词: 测试框架 IPv6 OpenFlow 测试引擎
• 年，卷（期）: 2018,（6）
• 所属期刊栏目: 软件技术研究
• 页码范围: 1778-1782
• 页数: 5页
• 分类号: TP311.1
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2018.06.039

摘要

测试工作细致繁杂,如何保证测试工作的全面性、完整性并建立统一的测试理论,指导测试工作自动、高效地展开,继而提高测试的复用性,是人们长久以来追求的目标.设计了通用的测试框架,依托基于模型的测试理论,支持通用的测试序列产生方法,由抽象测试序列得到相应的可执行测试序列,论证了此框架的合理性.同时依托该框架设计并实现了相应的关键测试构件之后,利用相应测试构件,在IPv6环境下针对OpenFlow协议进行了一致性测试,发现了OpenFlow协议实现对IPv6支持的一些实现错误,达到了预期效果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李华	内蒙古大学计算机学院	70	183	7.0	9.0
5	赵俊岚	内蒙古财经大学信息化建设与管理中心	26	338	6.0	18.0
6	王彪	内蒙古财经大学信息化建设与管理中心	18	44	3.0	6.0
7	阮宏玮	内蒙古大学计算机学院	12	19	2.0	3.0
8	李元平	内蒙古大学计算机学院	5	11	2.0	3.0