一种基于变异分析的BPEL程序故障定位技术  

Mutation Based Fault Localization Technique for BPEL Programs

作　　者：孙昌爱[1] 张守峰 朱维忠 SUN Chang-ai;ZHANG Shou-feng;ZHU Wei-zhong(School of Computer and Communication Engineering,University of Science and Technology Beijing,Beijing 100083,China)

机构地区：[1]北京科技大学计算机与通信工程学院,北京100083

出　　处：《计算机科学》2021年第1期301-307,共7页Computer Science

基　　金：国家自然科学基金(61872039);中央高校基本科研业务费专项资金资助项目(FRF-GF-19-019B)。

摘　　要：不同于传统C,C++或Java程序,BPEL(Business Process Execution Language)程序由一组活动及其之间的交互组成,同时引入了并发、序列化、XML表示等新特征,这些新特点使得定位BPEL程序的故障具有一定的挑战性。针对现有故障定位技术在有效性方面的不足,提出一种基于变异分析的BPEL程序故障定位技术,依据BPEL程序的特点及其变异算子的特点设计了一组优化策略,开发了相应的支持工具。通过一组BPEL程序实例来评估所提方法的有效性,比较了所提方法与现有BPEL程序故障定位技术的定位效果。实验结果表明,与现有方法相比,所提方法具有较高的召回率,故障定位代价基本相当,提出的优化策略进一步降低了所提方法的变异执行开销。Unlike traditional C,C++,or Java programs,BPEL(Business Process Execution Language)programs are composed of a set of activities and their interactions,which have the new features such as concurrency,synchronization,and XML-based representation.These new features pose difficulties for effectively locating faults in BPEL programs.To address the limited effectiveness of existing fault localization techniques,we propose a mutation-based BPEL program fault localization technique,design a set of optimization strategies based on characteristics of BPEL programs and their mutation operators,and develop a supporting tool.6 real-life BPEL programs are conducted to evaluate the feasibility and fault localization effectiveness of the proposed technique and its effectiveness is also compared with that of a set of benchmark techniques.Experimental results show that the proposed technique has a higher recall rate while a comparable cost is compared with benchmark techniques,demonstrating that the proposed optimization strategies reduce the mutation cost of the proposed technique.

关 键 词：故障定位 程序调试 BPEL 变异分析 软件测试 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]