SPMutation: Design and implementation of stored procedure mutation tool

被引：0
作者：
Xie, Xiaodong [1 ]
Li, Nan [1 ]
Liu, Yan [1 ]
机构：
[1] College of Computer Science and Technology, Huaqiao University, Xiamen, 361021, Fujian
来源：
Huazhong Keji Daxue Xuebao (Ziran Kexue Ban)/Journal of Huazhong University of Science and Technology (Natural Science Edition) | 2015年 / 43卷 / 07期
关键词：
Mutation operator; Mutation score; Mutation testing; Stored procedure; Test case suit;
D O I：
10.13245/j.hust.150719
中图分类号：
学科分类号：
摘要：
SPMutation is mutating tool designed for stored procedures, which is a mixture of SQL statements and process control statements. A mutation operator set was implemented in SPMutation and covered a wide spectrum of stored procedure. The set includes 22 operators, which can be attributed to three mutating levels, element level, expression level and statement level. SPMutation can achieve a good scalability in simulating errors for the new syntax regulations of stored procedures through configuring profiles, including a syntax file for stored procedure and a profile for mutation operator. Experiment results show that SPMutation can effectively generate mutants, in which equal mutants less than 15% total number of the mutants. The mutation score of test case suite can be more than 0.9 and close to 1 by being enhanced through the process of the mutation testing. SPMutation's computation overhead is also acceptable, as all of the mutation testing of stored program can be done in a limited time. ©, 2015, Huazhong Keji Daxue Xuebao (Ziran Kexue Ban)/Journal of Huazhong University of Science and Technology (Natural Science Edition). All right reserved.
引用
收藏
页码：93 / 97
页数：4
相关论文
共 13 条
  • [1] Andrews J., Briand L., Labiche Y., Is mutation an appropriate tool for testing experiments?, Proc of the 27th International Conference on Software Engineering, pp. 402-411, (2005)
  • [2] Andrews J., Briand L., Labiche Y., Et al., Using mutation analysis for assessing and comparing testing coverage criteria, IEEE Transactions on Software Engineering, 32, 8, pp. 608-624, (2006)
  • [3] King K.N., Offutt A.J., A Fortran language system for mutation based software testing, Software: Practice and Experience, 21, 7, pp. 685-718, (1991)
  • [4] Delamaro M.E., Maldonado J.C., Proteum a tool for the assessment of test adequacy for Cprograms, Proceedings of the Conference on Performability in Computing Systems (PCS'96), pp. 79-95, (1996)
  • [5] Ma Y.S., Offutt A.J., Kwon Y.R., MuJava: An automated class mutation system, Software Testing, Verification and Reliability, 15, 2, pp. 97-133, (2005)
  • [6] Tuya J., Cabal M., Riva C., SQLMutation: A tool to generate mutants of SQL database queries, Proceedings of Second Workshop on Mutation Analysis, pp. 1-5, (2006)
  • [7] Ali S., Briand L.C., Hemmati H., Et al., A systematic review of the application and empirical investigation of search-based test case generation, IEEE Transactions on Software Engineering, 36, 6, pp. 742-762, (2009)
  • [8] Zhang L., Marinov D., Zhang L., Et al., Regression mutation testing, Proceedings of the 2012 International Symposium on Software Testing and Analysis (ISSTA 12), pp. 331-341, (2012)
  • [9] Tuya J., Cabal M., Riva C., Mutating database queries, Information and Software Technology, 49, 4, pp. 398-417, (2007)
  • [10] Zhu H., Hall P., May J., Software unit test coverage and adequacy, ACM Computing Survey, 29, 4, pp. 366-427, (1997)
12