软件学报

作者：孙昌爱，吴思懿，张守峰，付安

单位：孙昌爱，北京科技大学 计算机与通信工程学院, 北京 10008311,吴思懿，北京科技大学 计算机与通信工程学院, 北京 10008302,张守峰，北京科技大学 计算机与通信工程学院, 北京 10008303,付安，北京科技大学 计算机与通信工程学院, 北京 10008304

关键词：程序调试;故障修复;Web服务;服务组合;BPEL程序

基金：国家自然科学基金(61872039, 62272037); 北京市自然科学基金(4162040); 航空科学基金(2016ZD74004)

BPEL (business process execution language)是一种可执行的Web服务组合语言. 与传统程序相比, BPEL程序在编程模型、执行方式等方面存在较大差异. 这些新特点使得如何定位并修改测试阶段发现的BPEL程序故障成为挑战, 面向传统软件的故障修复技术难以直接应用于BPEL程序. 从变异分析角度出发, 提出一种基于模板匹配的BPEL程序故障修复方法BPELRepair. 为了克服基于变异分析的故障修复技术计算开销高的缺点, 从补丁生成、测试用例选择以及终止条件3个角度提出多种优化策略. 开发一个BPEL故障修复支持工具, 提高故障修复的自动化程度与效率. 采用经验研究的方式, 评估所提故障修复技术及优化策略的有效性. 实验结果表明, 所提故障修复方法能够成功修复约53%的BPEL程序故障; 所提优化策略能够显著降低搜索匹配、补丁程序验证、测试用例执行与故障修复等方面的开销.

来源：2024年第6期

《软件学报》期刊编辑部

查看软件学报杂志2024年第6期