Using contracts and boolean queries to improve the quality of automatic test generation

被引:0
|
作者
Liu, Lisa [1 ]
Meyer, Bertrand [1 ]
Schoeller, Bernd [1 ]
机构
[1] ETH, Zurich, Switzerland
来源
TESTS AND PROOFS | 2007年 / 4454卷
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Since test cases cannot be exhaustive, any effective test case generation strategy must identify the execution states most likely to uncover bugs. The key issue is to define criteria for selecting such interesting states. If the units being tested are classes in object-oriented programming, it seems attractive to rely on the boolean queries present in each class, which indeed define criteria on the states of the corresponding objects, and - in contract-equipped O-O software - figure prominently in preconditions, postconditions and invariants. As these queries are part of the class specification and hence relevant to its clients, one may conjecture that the resulting partition of the state space is also relevant for tests. We explore this conjecture by examining whether relying on the boolean queries of a class to extract abstract states improves the results of black-box testing. The approach uses constraint-solving and proof techniques to generate objects that satisfy the class invariants, then performs testing by relying on postconditions as test oracles. The resulting strategy, in our experiments on library classes used in production software, finds significantly more bugs than random testing.
引用
收藏
页码:114 / +
页数:3
相关论文
共 50 条
  • [1] Learning techniques for automatic test pattern generation using boolean satisfiability
    Xin, Liu
    Telkomnika - Indonesian Journal of Electrical Engineering, 2013, 11 (07): : 4077 - 4085
  • [2] Using static analysis to improve automatic test generation
    Marius Bozga
    Jean-Claude Fernandez
    Lucian Ghirvu
    International Journal on Software Tools for Technology Transfer, 2003, 4 (2) : 142 - 152
  • [3] Using static analysis to improve automatic test generation
    Bozga, M
    Fernandez, JC
    Ghirvu, L
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2000, 1785 : 235 - 250
  • [4] AUTOMATIC-GENERATION OF TEST DATA FOR RELATIONAL QUERIES
    MANNILA, H
    RAIHA, KJ
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1989, 38 (02) : 240 - 258
  • [5] Automatic generation of test cases from Boolean specifications using the MUMCUT strategy
    Yu, Yuen Tak
    Lau, Man Fai
    Chen, Tsong Yueh
    JOURNAL OF SYSTEMS AND SOFTWARE, 2006, 79 (06) : 820 - 840
  • [6] Automatic test cases generation from formal contracts
    Gil, Samuel Jimenez
    Capel, Manuel I.
    Olea, Gabriel
    INFORMATION AND SOFTWARE TECHNOLOGY, 2024, 172
  • [7] Using Automatic Item Generation to Improve the Quality of MCQ Distractors
    Lai, Hollis
    Gierl, Mark J.
    Touchie, Claire
    Pugh, Debra
    Boulais, Andre-Philippe
    De Champlain, Andre
    TEACHING AND LEARNING IN MEDICINE, 2016, 28 (02) : 166 - 173
  • [8] Using Content Coding and Automatic Item Generation to Improve Test Security
    Gierl, Mark J.
    Shin, Jinnie
    Firoozi, Tahereh
    Lai, Hollis
    FRONTIERS IN EDUCATION, 2022, 07
  • [9] Robust Algorithms for High Quality Test Pattern Generation Using Boolean Satisfiability
    Eggersgluess, Stephan
    Drechsler, Rolf
    INTERNATIONAL TEST CONFERENCE 2010, 2010,
  • [10] TEST PATTERN GENERATION USING BOOLEAN SATISFIABILITY
    LARRABEE, T
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1992, 11 (01) : 4 - 15