Optimized Mutation Testing Techniques for WS-BPEL Programs
-
摘要: WS-BPEL(business process execution language for Web service)是一种基于XML的、面向过程的可执行服务组装语言.由于Web服务的动态性、松耦合特性、部署与运行于开放的网络环境,如何保证WS-BPEL程序的可靠性尤显重要.尽管变异测试具有较强的故障检测能力,但由于变异体数量大、执行时间长、计算开销大,不利于在实践中广泛应用.为了增强变异测试的实用性,针对如何降低面向WS-BPEL程序的变异测试开销问题,从二阶变异和变异算子优先级角度提出了2种面向WS-BPEL程序的变异测试优化技术,开发了相应的集成化支持工具μBPEL.使用6个WS-BPEL程序实例对提出的优化技术的有效性进行验证.实验结果表明:提出的优化技术可以有效地减少变异体数目而并不显著降低变异测试有效性,提高了变异测试的效率.Abstract: Business process execution language for Web service (WS-BPEL) is an executable XML-based and process-oriented service composition language. Due to unique features of Web services, such as dynamics, loose coupling, and open deployment and execution environment, it is an important issue how to assure the quality of WS-BPEL programs. Although mutation testing has a strong fault detection capability, it fails to be widely practiced due to the large number of mutants, the long execution period, and the high computation cost. In order to improve the practicability of mutation testing, we investigate how to decrease the cost of mutation testing for WS-BPEL programs, and propose two kinds of optimization techniques from the perspectives of second-order mutation and prioritization of operators. We also develop an integrated tool named μBPEL to support the mutant generation, optimization, and execution of the proposed optimization techniques. Finally, an empirical study has been conducted where six representative WS-BPEL programs are used to validate and evaluate the effectiveness of the proposed optimized mutation testing techniques. Experimental results show that the proposed optimization techniques for WS-BPEL programs are able to reduce the number of mutants without significantly jeopardizing their fault detection effectiveness and thus improve the efficiency of mutation testing.
-
-
期刊类型引用(6)
1. 孙昌爱,吴思懿,张守峰,付安. 基于模板匹配的BPEL程序故障修复及优化技术. 软件学报. 2024(06): 2844-2862 . 百度学术
2. 孙昌爱,耿宁,代贺鹏,顾友达. CMuJava:一个面向Java程序并发变异体生成系统. 软件学报. 2022(02): 397-409 . 百度学术
3. 孙昌爱,卫新洁,刘镇贤,宫云战. DFSampling:一种数据流分析指导的变异体精简策略. 软件学报. 2022(09): 3407-3421 . 百度学术
4. 于畅,王雅文,林欢,宫云战. 基于故障检测上下文的等价变异体识别算法. 计算机研究与发展. 2021(01): 83-97 . 本站查看
5. 孙昌爱,张守峰,朱维忠. 一种基于变异分析的BPEL程序故障定位技术. 计算机科学. 2021(01): 301-307 . 百度学术
6. 田甜,巩敦卫. 并发程序变异测试研究综述. 电子学报. 2020(11): 2267-2277 . 百度学术
其他类型引用(2)
计量
- 文章访问数: 1101
- HTML全文浏览量: 1
- PDF下载量: 331
- 被引次数: 8