Dynamic Tainting for Automatic Test Case Generation

被引:2
|
作者
Mathis, Bjoern [1 ]
机构
[1] Saarland Univ, Saarbrucken, Germany
关键词
Dynamic tainting; input generation;
D O I
10.1145/3092703.3098233
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Dynamic tainting is an important part of modern software engineering research. State-of-the-art tools for debugging, bug detection and program analysis make use of this technique. Nonetheless, the research area based on dynamic tainting still has open questions, among others the automatic generation of program inputs. My proposed work concentrates on the use of dynamic tainting for test case generation. The goal is the generation of complex and valid test inputs from scratch. Therefore, I use byte level taint information enhanced with additional static and dynamic program analysis. This information is used in an evolutionary algorithm to create newoffsprings and mutations. Concretely, instead of crossing and mutating the whole input randomly, taint information can be used to define which parts of the input have to be mutated. Furthermore, the taint information may also be used to define evolutionary operators. Eventually, the evolutionary algorithm is able to generate valid inputs for a program. Such inputs can be used together with the taint information for further program analysis, e.g. the generation of input grammars.
引用
收藏
页码:436 / 439
页数:4
相关论文
共 50 条
  • [1] Automatic software test case generation
    Department of Computer Engineering, Alzahra University of Tehran, Vanak St., Tehran, Iran
    不详
    [J]. J. Softw. Eng., 3 (91-101):
  • [2] Tool for automatic test case generation
    Sarala, S
    Valli, S
    [J]. KNOWLEDGE-BASED SOFTWARE ENGINEERING, 2004, 108 : 65 - 74
  • [3] Automatic Test-Case Generation
    Machado, Patricia
    Sampaio, Augusto
    [J]. TESTING TECHNIQUES IN SOFTWARE ENGINEERING, 2010, 6153 : 59 - +
  • [4] Automatic test generation for dynamic data structures
    Zhao, Ruilian
    Li, Qing
    [J]. SERA 2007: 5TH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH, MANAGEMENT, AND APPLICATIONS, PROCEEDINGS, 2007, : 545 - +
  • [5] Automatic Test Case Generation for Interacting Services
    Kaschner, Kathrin
    Lohmann, Niels
    [J]. SERVICE-ORIENTED COMPUTING - ICSOC 2008 WORKSHOPS, 2009, 5472 : 66 - 78
  • [6] Automatic Test-Case Generation with CoVeriTest
    Jakobs, Marie-Christine
    [J]. TESTS AND PROOFS (TAP 2022), 2022, 13361 : 3 - 8
  • [7] Automatic Test Case Generation for Serverless Applications
    Winzinger, Stefan
    Wirtz, Guido
    [J]. 2022 16TH IEEE INTERNATIONAL CONFERENCE ON SERVICE-ORIENTED SYSTEM ENGINEERING (SOSE 2022), 2022, : 77 - 84
  • [8] Automatic test program generation:: A case study
    Corno, F
    Sánchez, E
    Reorda, MS
    Squillero, G
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 2004, 21 (02): : 102 - 109
  • [9] DYNAMIC REDUNDANCY IDENTIFICATION IN AUTOMATIC TEST-GENERATION
    ABRAMOVICI, M
    MILLER, DT
    ROY, RK
    [J]. 1989 IEEE INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS, 1989, : 466 - 469
  • [10] DYNAMIC REDUNDANCY IDENTIFICATION IN AUTOMATIC TEST-GENERATION
    ABRAMOVICI, M
    MILLER, DT
    ROY, RK
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1992, 11 (03) : 404 - 407