Testability Transformations For Existing APIs

被引:17
|
作者
Arcuri, Andrea [1 ]
Galeotti, Juan P. [2 ]
机构
[1] Kristiana Univ Coll, Dept Technol, Oslo, Norway
[2] UBA, FCEyN, Dept Comp, ICC,CONICET, Buenos Aires, DF, Argentina
关键词
SBST; test generation; testability transformation; system testing; REST; SOFTWARE;
D O I
10.1109/ICST46399.2020.00025
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Search-based software testing (SBST) has been shown to be an effective technique to generate test cases automatically. Its effectiveness strongly depends on the guidance of the fitness function. Unfortunately, a common issue in SBST is the so called flag problem, where the fitness landscape presents a plateau that provides no guidance. In this paper, we provide a series of novel testability transformations aimed at providing guidance in the context of commonly used API calls. An example is when strings need to be converted into valid date/time objects. We implemented our novel techniques as an extension to EVOMASTER, a SBST tool that generates system level test cases. Experiments on six open-source REST web services, and an industrial one, show that our novel techniques improve performance significantly.
引用
收藏
页码:153 / 163
页数:11
相关论文
共 50 条
  • [1] Enhancing Search-based Testing with Testability Transformations for Existing APIs
    Arcuri, Andrea
    Galeotti, Juan P.
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2022, 31 (01)
  • [2] Specification transformations and design for testability
    Karoui, K
    Dssouli, R
    Cherkaoui, O
    IEEE GLOBECOM 1996 - CONFERENCE RECORD, VOLS 1-3: COMMUNICATIONS: THE KEY TO GLOBAL PROSPERITY, 1996, : 680 - 685
  • [3] Testability preserving and enhancing transformations for robust delay fault testability
    Karkare, A
    Singla, M
    Jain, A
    ELEVENTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 1997, : 370 - 373
  • [4] Communications software design for testability: specification transformations and testability measures
    Dssouli, R
    Karoui, K
    Saleh, K
    Cherkaoui, O
    INFORMATION AND SOFTWARE TECHNOLOGY, 1999, 41 (11-12) : 729 - 743
  • [5] Communications software design for testability: specification transformations and testability measures
    Dssouli, R.
    Karoui, K.
    Saleh, K.
    Cherkaoui, O.
    Information and Software Technology, 1999, 41 (11): : 729 - 743
  • [6] Adding Rules on Existing Hypermedia APIs
    Petychakis, Michael
    Lampathaki, Fenareti
    Askounis, Dimitrios
    WWW'15 COMPANION: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON WORLD WIDE WEB, 2015, : 1515 - 1517
  • [7] ON PROPERTIES OF ALGEBRAIC TRANSFORMATIONS AND THE MULTIFAULT TESTABILITY OF MULTILEVEL LOGIC
    HACHTEL, G
    JACOBY, R
    KEUTZER, K
    MORRISON, C
    1989 IEEE INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS, 1989, : 422 - 425
  • [8] ON LOCAL TRANSFORMATIONS AND PATH DELAY-FAULT TESTABILITY
    HENGSTER, H
    DRECHSLER, R
    BECKER, B
    JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 1995, 7 (03): : 173 - 191
  • [9] Incremental Testability Analysis for Partial Scan Selection and Design Transformations
    Tianruo Yang
    Zebo Peng
    Journal of Electronic Testing, 1999, 14 : 103 - 113
  • [10] Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs
    Guo, Qiang
    Derrick, John
    Walkinshaw, Neil
    TESTING OF SOFTWARE AND COMMUNICATION SYSTEMS, PROCEEDINGS, 2009, 5826 : 81 - 96