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
来源
2020 IEEE/ACM 15TH INTERNATIONAL CONFERENCE ON AUTOMATION OF SOFTWARE TEST, AST | 2020年
关键词
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] Test Case Generation by Simulating Requirements Analysis Model
    Shikimi, Ryo
    Ogata, Shinpei
    Matsuura, Saeko
    2012 IEEE 36TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2012, : 356 - +
  • [32] Optimal test case generation for boundary value analysis
    Guo, Xiujing
    Okamura, Hiroyuki
    Dohi, Tadashi
    SOFTWARE QUALITY JOURNAL, 2024, 32 (02) : 543 - 566
  • [33] Test Case Prioritization via Embedded Autoencoder Model for Software Quality Assurance
    Manikkannan, D.
    Babu, S.
    IETE JOURNAL OF RESEARCH, 2024, 70 (04) : 3845 - 3855
  • [34] Orderly Generation of Test Data via Sorting Mutant Branches Based on Their Dominance Degrees for Weak Mutation Testing
    Yao, Xiangjuan
    Zhang, Gongjie
    Pan, Feng
    Gong, Dunwei
    Wei, Changqing
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2022, 48 (04) : 1169 - 1184
  • [35] A design validating methodology with control flow analysis
    Pai, WC
    Wang, CC
    EIGHTH ISSAT INTERNATIONAL CONFERENCE ON RELIABILITY AND QUALITY IN DESIGN, PROCEEDINGS, 2003, : 311 - 315
  • [36] Generating Structurally Complex Test Cases By Data Mutation: A Case Study Of Testing An Automated Modelling Tool
    Shan, Lijun
    Zhu, Hong
    COMPUTER JOURNAL, 2009, 52 (05) : 571 - 588
  • [37] SARS-CoV-2 main protease mutation analysis via a kinematic method
    Chen, Xiyu
    Leyendecker, Sigrid
    van den Bedem, Henry
    PROTEINS-STRUCTURE FUNCTION AND BIOINFORMATICS, 2023, 91 (11) : 1496 - 1509
  • [38] Mutation Analysis and Model Checking Guided Test Generation for SoC Run-Time Monitors
    Srinivasan, Suriya
    Vemuri, Ranga
    2023 36TH INTERNATIONAL CONFERENCE ON VLSI DESIGN AND 2023 22ND INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS, VLSID, 2023, : 240 - 245
  • [39] Sufficient Mutation Operators for Measuring Test Effectiveness
    Namin, Akbar Siami
    Andrews, James H.
    Murdoch, Duncan J.
    ICSE'08 PROCEEDINGS OF THE THIRTIETH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2008, : 351 - 360
  • [40] Measuring Software Testability via Automatically Generated Test Cases
    Guglielmo, Luca
    Mariani, Leonardo
    Denaro, Giovanni
    IEEE ACCESS, 2024, 12 : 63904 - 63916