Computer Science

Computer Science ›› 2021, Vol. 48 ›› Issue (1): 301-307.doi: 10.11896/jsjkx.200900051

• Information Security • Previous Articles     Next Articles

Mutation Based Fault Localization Technique for BPEL Programs

SUN Chang-ai, ZHANG Shou-feng, ZHU Wei-zhong   

  1. School of Computer and Communication Engineering,University of Science and Technology Beijing,Beijing 100083,China
  • Received:2020-09-04 Revised:2020-10-13 Online:2021-01-15 Published:2021-01-15
  • About author:SUN Chang-ai,born in 1974,Ph.D,professor,Ph.D supervisor,is a senior member of China Computer Federation.His main research interests include software testing,program analysis and service oriented computing.
  • Supported by:
    National Natural Science Foundation of China(61872039) and Fundamental Research Funds for the Central Universities(FRF-GF-19-019B).

PDF (PC)

751

Abstract: 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.

Key words: BPEL, Fault localization, Mutation analysis, Program debugging, Software testing

CLC Number: 

  • TP311
[1] WONG W E,GAO R,LI Y,et al.A survey on software fault localization [J].IEEE Transactions on Software Engineering,2016,42(8):707-740.
[2] SUN C A.Some Open Issues in SOA software development[EB/OL].Beijing:Science Paper Online.http://www.paper.edu.cn/releasepaper/content /201107-461.
[3] SUN C A,ZHAI Y M,SHANG Y,et al.BPELDebuger:An effective BPEL-specific fault localization framework [J].Information and Software Technology,2013,55(12):2140-2153.
[4] ZHENG C Y.A Predicate Switching based Approach to Locating Faults of BPEL Programs and Supporting tool[D].Beijing:University of Science and Technology Beijing,2015.
[5] SUN C A,RAN Y F,ZHENG C Y,et al.Fault localization for WS-BPEL program based on predicate switching and program slicing[J].Journal of Systems and Software,2018,135(1):191-204.
[6] PAPADAKIS M,TRAON Y L.Using mutants to locate “Unknown” faults[C]//Proceedings of the fifth International Conference on Software Testing.Verification and Validation,IEEE Computer Society,2012:691-700.
[7] SUN C A,ZHAO Y,PAN L,et al.Automated Testing of WS-BPEL Service Compositions:a Scenario-oriented Approach [J].IEEE Transactions on Services Computing,2018,11(4):616-629.
[8] SUN C A,PAN L,WANG Q L,et al.An empirical study onmutation testing of WS-BPEL programs [J].The Computer Journal,2017,60(1):143-158.
[9] SUN C A,WANG Z,PAN L.Optimized Mutation TestingTechniques for WS-BPEL Programs[J].Journal of Computer Research and Development,2019,56(4):895-905.
[10] ESTERO-BOTARO A,MEDINA-BULO I.MuBPEL [EB/OL].https:// neptuno.uca.es/redmine/projects/sources-fm/wiki/MuBPEL.html.
[11] JONES J A,HARROLD M J,STASKO J.Visualization of test information to assist fault localization[C]//Proceeding of the 24th International Conference on Software Engineering.IEEE Computer Society,2002:467-477.
[12] Eviware.Web services business process execution language[EB/OL].http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html.
[13] WONG W E,DEBROY V,GAO R,et al.The DStar method for effective software fault localization [J].IEEE Transactions on Reliability,2014,63(1):290-308.
[14] PAPADAKIS M,TRAON Y L.Metallaxis-FL:mutation-based fault localization [J].Software Testing,Verification and Reliability,2015,25(5/6/7):605-628.
[15] HE T,WANG X M,ZHOU X C,et al.A Software Fault Localization Technique Based on Program Mutations [J].Chinese Journal of Computers,2013,36(11):2236-2244.
[16] MOON S,KIM Y,KIM M,et al.Ask the mutants:mutatingfaulty programs for fault localization[C]//Proceedings of the 2014 IEEE Seventh International Conference on Software Testing,Verification and Validation.IEEE Computer Society,2014:153-162.
[17] PAPADAKIS M,TRAON Y L.Effective fault localization via mutation analysis:a selective mutation approach[C]//Proceedings of the 29th Annual ACM Symposium on Applied Computing.ACM press,2014:1293-1300.
[18] LIU Y,LI Z,WANG L X,et al.Statement-oriented mutant reduction strategy for mutation based fault localization[C]//Proceedings of the 2017 IEEE International Conference on Software Quality,Reliability and Security.IEEE Computer Society,2017:126-137.
[19] WANG L X,WANG W W,ZHAO R L,et al.MBFL with Statement-oriented Mutant Reduction Strategy[J].Computer Science,2017,44(11):175-180.
[20] GONG P,GENG C Y,GUO J X,et al.Dynamic Mutation Execution Strategy for Mutation-based Fault Location [J].Computer Science,2016,43(2):199-203,229.
[1] ZHANG Hui. Fault Localization Technology Based on Program Mutation and Gaussian Mixture Model [J]. Computer Science, 2021, 48(6A): 572-574.
[2] SU Qing, LI Zhi-zhou, LIU Tian-tian, WU Wei-min, HUANG Jian-feng, LI Xiao-mei. Tree Structure Evaluation Visualization Model for Program Debugging [J]. Computer Science, 2021, 48(5): 68-74.
[3] TENG Jun-yuan, GAO Meng, ZHENG Xiao-meng, JIANG Yun-song. Noise Tolerable Feature Selection Method for Software Defect Prediction [J]. Computer Science, 2021, 48(12): 131-139.
[4] WEN Jin, ZHANG Xing-yu, SHA Chao-feng, LIU Yan-jun. Test Suite Reduction via Submodular Function Maximization [J]. Computer Science, 2021, 48(12): 75-84.
[5] ZHANG Hui. Multiple Fault Localization Method Based on Deep Convolutional Network [J]. Computer Science, 2021, 48(11A): 88-92.
[6] LIU Fang, HONG Mei, WANG Xiao, GUO Dan, YANG Zheng-hui, HUANG Xiao-dan. Performance Analysis of Randoop Automated Unit Test Generation Tool for Java [J]. Computer Science, 2020, 47(9): 24-30.
[7] XIA Chun-yan, WANG Xing-ya, ZHANG Yan. Test Case Prioritization Based on Multi-objective Optimization [J]. Computer Science, 2020, 47(6): 38-43.
[8] BO Li-li, JIANG Shu-juan, ZHANG Yan-mei, WANG Xing-ya, YU Qiao. Research Progress on Techniques for Concurrency Bug Detection [J]. Computer Science, 2019, 46(5): 13-20.
[9] LI Zhi-bo, LI Qing-bao, YU Lei, HOU Xue-mei. Survey on Adaptive Random Testing by Partitioning [J]. Computer Science, 2019, 46(3): 19-29.
[10] WANG Zhen-zhen, LIU Jia. Stochastic TBFL Approach Based on Calibration Factor [J]. Computer Science, 2019, 46(11): 161-167.
[11] ZHOU Ming-quan, JIANG Guo-hua. New Spectrum-based Fault Localization Method Combining HittingSet and Genetic Algorithm [J]. Computer Science, 2018, 45(9): 207-212.
[12] BAO Xiao-an, XIONG Zi-jian, ZHANG Wei, WU Biao, ZHANG Na. Approach for Path-oriented Test Cases Generation Based on Improved Genetic Algorithm [J]. Computer Science, 2018, 45(8): 174-178.
[13] ZHANG Xing-long, YU Lei, HOU Xue-mei and HOU Shao-fan. Method of Metamorphic Relations Constructing for Object-oriented Software Testing [J]. Computer Science, 2017, 44(Z11): 485-489.
[14] CHEN Cheng, ZHENG Zheng, WANG Hao-qin and QIAO Yu. Non-deadlock Concurrency Fault Localization Approach Based on Adequate Test Criteria [J]. Computer Science, 2017, 44(11): 195-201.
[15] WANG Lin-xin, WANG Wei-wei, ZHAO Rui-lian and LI Zheng. MBFL with Statement-oriented Mutant Reduction Strategy [J]. Computer Science, 2017, 44(11): 175-180.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
渝ICP备16013121号-4
Add:18# Honghu West Rd., Yubei ,Chongqing,China    Post Code: 401121
Tel: 023-63500828/023-67039612/023-67039623
E-mail: jsjkx12@163.com
Powered by Beijing Magtech Co., Ltd.