Validating Test Case Migration via Mutation Analysis

被引:1
|
作者
Jovanovikj, Ivan [1 ]
Yigitbas, Enes [1 ]
Nagaraj, Achyuth [1 ]
Anjorin, Anthony [1 ]
Sauer, Stefan [1 ]
Engels, Gregor [1 ]
机构
[1] Paderborn Univ, Paderborn, Germany
关键词
software migration; software testing; mutation analysis;
D O I
10.1145/3387903.3389319
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Testing plays an important role in the context of software migration as it is used to validate and ensure functional equivalence as a key requirement. As developing new test cases of the migrated system is typically a costly and time-consuming activity, migrating existing test cases for the old system is thus an attractive alternative. Considering that migrated test cases are relied upon to validate an implemented system migration, it is clear that validating the corresponding test case migration is indeed crucial. The solution space involved in validating test case migration, however, is currently not well researched. In this paper, therefore, we analyze the application of mutation analysis as a validation technique for test case migration. Depending on what is mutated, we identify six scenarios which can be used as mutation patterns depending on the situation and the user's requirements. For each scenario, we provide a discussion of implied assumptions, indications, and limitations in each case. We also present an initial evaluation of the identified mutation analysis scenarios performed in a real-world migration setting.
引用
收藏
页码:31 / 40
页数:10
相关论文
共 50 条
  • [31] Validating a breath collection and analysis system for the new tuberculosis breath test
    Scott-Thomas, Amy
    Epton, Michael
    Chambers, Stephen
    JOURNAL OF BREATH RESEARCH, 2013, 7 (03)
  • [32] Test Generation via Dynamic Symbolic Execution for Mutation Testing
    Zhang, Lingming
    Xie, Tao
    Zhang, Lu
    Tillmann, Nikolai
    de Halleux, Jonathan
    Mei, Hong
    2010 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, 2010,
  • [33] Test case generation by OCL mutation and constraint solving
    Aichernig, BK
    Salas, PAP
    QSIC 2005: FIFTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2005, : 64 - 71
  • [34] Analyzing Test Case Quality with Mutation Testing Approach
    Nayyar, Zainab
    Rafique, Nazish
    Hashmi, Nousheen
    Rashid, Nadia
    Awan, Saba
    2015 SCIENCE AND INFORMATION CONFERENCE (SAI), 2015, : 902 - 905
  • [35] Test Case Generation by Contract Mutation in Spec#
    Krenn, Willibald
    Aichernig, Bernhard K.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 253 (02) : 71 - 86
  • [36] Automatic Test Case Generation for Unit Software Testing Using Genetic Algorithm and Mutation Analysis
    Khan, Rijwan
    Amjad, Mohd.
    2015 IEEE UP SECTION CONFERENCE ON ELECTRICAL COMPUTER AND ELECTRONICS (UPCON), 2015,
  • [37] Crowdsourced test case generation for android applications via static program analysis
    Yuying Li
    Yang Feng
    Chao Guo
    Zhenyu Chen
    Baowen Xu
    Automated Software Engineering, 2023, 30
  • [38] Test-Case Generation for Embedded Simulink via Formal Concept Analysis
    He, Nannan
    Ruemmer, Philipp
    Kroening, Daniel
    PROCEEDINGS OF THE 48TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2011, : 224 - 229
  • [39] Crowdsourced test case generation for android applications via static program analysis
    Li, Yuying
    Feng, Yang
    Guo, Chao
    Chen, Zhenyu
    Xu, Baowen
    AUTOMATED SOFTWARE ENGINEERING, 2023, 30 (02)
  • [40] Efficient Fault Detection by Test Case Prioritization via Test Case Selection
    J. Paul Rajasingh
    P. Senthil Kumar
    S. Srinivasan
    Journal of Electronic Testing, 2023, 39 : 659 - 677