1(北京科技大学计算机与通信工程学院 北京 100083); 2(宇航智能控制技术重点实验室 北京 100854) (casun@ustb.edu.cn)
出版日期: 2019-04-01基金资助:国家自然科学基金项目(61520106005，61761136014)；国家重点研发计划项目(2017YFB1010000)Optimized Mutation Testing Techniques for WS-BPEL Programs
Sun Chang’ai1,2, Wang Zhen1, Pan Lin11(School of Computer and Communication Engineering, University of Science and Technology Beijing, Beijing 100083); 2(Science and Technology on Aerospace Intelligent Control Laboratory, Beijing 100854)
Online: 2019-04-01摘要/Abstract
摘要： WS-BPEL(business process execution language for Web service)是一种基于XML的、面向过程的可执行服务组装语言.由于Web服务的动态性、松耦合特性、部署与运行于开放的网络环境，如何保证WS-BPEL程序的可靠性尤显重要.尽管变异测试具有较强的故障检测能力，但由于变异体数量大、执行时间长、计算开销大，不利于在实践中广泛应用.为了增强变异测试的实用性，针对如何降低面向WS-BPEL程序的变异测试开销问题，从二阶变异和变异算子优先级角度提出了2种面向WS-BPEL程序的变异测试优化技术，开发了相应的集成化支持工具μBPEL.使用6个WS-BPEL程序实例对提出的优化技术的有效性进行验证.实验结果表明:提出的优化技术可以有效地减少变异体数目而并不显著降低变异测试有效性，提高了变异测试的效率.
参考文献
相关文章 15
| [1] | 于畅, 王雅文, 林欢, 宫云战. 基于故障检测上下文的等价变异体识别算法[J]. 计算机研究与发展, 2021, 58(1): 83-97. |
| [2] | 朱泓睿, 元国军, 姚成吉, 谭光明, 王展, 户忠哲, 张晓扬, 安学军. 分布式深度学习训练网络综述[J]. 计算机研究与发展, 2021, 58(1): 98-115. |
| [3] | 张军, 谢竟成, 沈凡凡, 谭海, 汪吕蒙, 何炎祥. 通用图形处理器缓存子系统性能优化方法综述[J]. 计算机研究与发展, 2020, 57(6): 1191-1207. |
| [4] | 王艳, 李念爽, 王希龄, 钟凤艳. 编码技术改进大规模分布式机器学习性能综述[J]. 计算机研究与发展, 2020, 57(3): 542-561. |
| [5] | 沈洁, 龙标, 姜浩, 黄春. 飞腾处理器上向量三角函数的设计实现与优化[J]. 计算机研究与发展, 2020, 57(12): 2610-2620. |
| [6] | 杨梅芳, 车永刚, 高翔. 基于OpenMP 4.0的发动机燃烧模拟软件异构并行优化[J]. 计算机研究与发展, 2018, 55(2): 400-408. |
| [7] | 李甜甜，于戈，郭朝鹏，宋杰. 基于MapReduce的多元连接优化方法[J]. 计算机研究与发展, 2016, 53(2): 467-478. |
| [8] | 刘松,伍卫国,赵博,蒋庆. 面向局部性和并行优化的循环分块技术[J]. 计算机研究与发展, 2015, 52(5): 1160-1176. |
| [9] | 王勇献, 张理论, 车永刚, 徐传福, 刘巍, 程兴华. 高阶精度CFD应用在天河2系统上的异构并行模拟与性能优化[J]. 计算机研究与发展, 2015, 52(4): 833-842. |
| [10] | 罗红兵 张晓霞 王 伟 武林平. 科学计算应用程序单核指令级优化研究[J]. 计算机研究与发展, 2014, 51(6): 1263-1269. |
| [11] | 顾 荣 严金双 杨晓亮 袁春风 黄宜华. Hadoop MapReduce短作业执行性能优化[J]. 计算机研究与发展, 2014, 51(6): 1270-1280. |
| [12] | 李 焱, 张云泉,. 异构平台上性能自适应FFT框架[J]. 计算机研究与发展, 2014, 51(3): 637-649. |
| [13] | 孙相征, 张云泉, 王 婷, 李 焱, 袁 良,. 对角线稀疏矩阵的SpMV自适应性能优化[J]. , 2013, 50(3): 648-656. |
| [14] | 张惠臻, 王 超, 李 曦, 周学海,. 可重构指令集处理器的代码优化生成算法研究[J]. , 2012, 49(9): 2018-2026. |
| [15] | 刘新忠, 徐高潮, 胡亮, 付晓东, 董玉双,. 一种基于约束的变异测试数据生成方法[J]. , 2011, 48(4): 617-626. |
PDF全文下载地址:
https://crad.ict.ac.cn/CN/article/downloadArticleFile.do?attachType=PDF&id=3917
