基于约束的服务化软件测试系统

• 作者: 周辉 李昌建 程浩 钱巨
• 来源期刊: 计算技术与自动化
• 关键词: Web服务 软件测试 测试用例生成 故障注入 SMT
• 年，卷（期）: 2019,（1）
• 所属期刊栏目: 计算机软件及应用
• 页码范围: 108-113
• 页数: 6页
• 分类号: TP311
• 语种: 中文
• DOI: 10.16339/j.cnki.jsjsyzdh.201901020

摘要

面向服务的软件体系结构近年来不仅在民用领域得到广泛应用,也越来越多地应用于军用装备软件系统研制.服务化软件的测试技术得到了越来越多的关注.传统的服务化软件测试工具大多关注于测试流程的自动化,在测试用例的自动生成等方面,还远不够成熟.现有测试技术和工具尤其难以表达真实应用中的业务逻辑规则,给生成高质量的测试带来许多困难.鉴于此,研发了一款针对服务化系统的软件测试原型工具.该工具运用一阶逻辑公式表达业务逻辑约束,基于Z3 SMT约束求解器生成测试用例、进行故障注入等,使得测试数据的生成更契合待测软件业务特征,为服务化软件的测试实践提供了更有力支持.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钱巨	南京航空航天大学计算机科学与技术学院	23	99	5.0	9.0
3	周辉	南京航空航天大学计算机科学与技术学院	9	64	4.0	8.0
4	程浩	南京航空航天大学计算机科学与技术学院	6	12	2.0	3.0
7	李昌建	南京航空航天大学计算机科学与技术学院	4	1	1.0	1.0