Mutation-based simulation test data generation for testing complex real-time software

被引:4
|
作者
Bai, Xiaoying
Lee, Shufang
Chen, Yinong
机构
关键词
D O I
10.1109/ANSS.2007.30
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Simulation is proven to be an effective way for testing complex real-time hardware/software systems. However, simulation test data generation is a challenging issue which determines the efficiency in such testing. This paper proposed a data-driven mutation based approach for test data generation to address the unique requirements of realtime, input domain coverage, adaptability, and reliability. The architecture is designed to simulate the process for data sampling, transforming, packaging, and transmitting segments in an aerospace ground control system. Various mutant operators are defined for signal generation and data package generation to produce fault-sensitive inputs based on the system's fault pattern analysis. Mechanisms are defined to generate a large number of test cases by combination and composition of various data outputs from different dimensions to achieve a high coverage. A configuration mechanism is introduced to enable recomposition and re-combination of simulation components. The selective simulation testing method is discussed to improve test effectiveness. A case study shows that the proposed approach can achieve a high fault-coverage with a small number of effective test cases.
引用
收藏
页码:73 / 80
页数:8
相关论文
共 50 条
  • [1] Test Case Generation for Mutation-based Testing of Timeliness
    Nilsson, Robert
    Offutt, Jeff
    Mellin, Jonas
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 164 (04) : 97 - 114
  • [2] Mutation-Based Generation of Software Product Line Test Configurations
    Henard, Christopher
    Papadakis, Mike
    Le Traon, Yves
    SEARCH-BASED SOFTWARE ENGINEERING, 2014, 8636 : 92 - 106
  • [3] Generation of reliability test data for real-time embedded software based on the usage profile
    Ai, J.
    Minyan, L.
    Lian, R.
    SAFETY AND RELIABILITY FOR MANAGING RISK, VOLS 1-3, 2006, : 1403 - +
  • [4] Mutation-Based Test Generation for PLC Embedded Software Using Model Checking
    Enoiu, Eduard P.
    Sundmark, Daniel
    Causevic, Adnan
    Feldt, Robert
    Pettersson, Paul
    TESTING SOFTWARE AND SYSTEMS, ICTSS 2016, 2016, 9976 : 155 - 171
  • [5] Test-Data Generation for Testing Parallel Real-Time Systems
    Aziz, Muhammad Waqar
    Shah, Syed Abdul Baqi
    TESTING SOFTWARE AND SYSTEMS, ICTSS 2015, 2015, 9447 : 211 - 223
  • [6] Strong Mutation-Based Test Data Generation using Hill Climbing
    Souza, Francisco Carlos M.
    Papadakis, Mike
    Le Traon, Yves
    Delamaro, Marcio E.
    2016 IEEE/ACM 9TH INTERNATIONAL WORKSHOP ON SEARCH-BASED SOFTWARE TESTING (SBST), 2016, : 45 - 54
  • [7] A FORTRAN LANGUAGE SYSTEM FOR MUTATION-BASED SOFTWARE TESTING
    KING, KN
    OFFUTT, AJ
    SOFTWARE-PRACTICE & EXPERIENCE, 1991, 21 (07): : 685 - 718
  • [8] Winder software testing with real-time dynamic simulation
    Bettendorf, R
    IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 2005, 52 (02) : 489 - 498
  • [9] Mutation-based data augmentation for software defect prediction
    Mao, Rui
    Zhang, Li
    Zhang, Xiaofang
    JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2023, 36 (06)
  • [10] Mutation-Based Test Case Generation for Simulink Models
    Brillout, Angelo
    He, Nannan
    Mazzucchi, Michele
    Kroening, Daniel
    Purandare, Mitra
    Ruemmer, Philipp
    Weissenbacher, Georg
    FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2010, 6286 : 208 - +