Automated Regression Testing using Symbolic Execution

被引：0
|
作者：
Barisas, D. [1 ]
Milasius, T. [1 ]
Bareisa, E. [1 ]
机构：
[1] Kaunas Univ Technol, Software Engn Dept, LT-51368 Kaunas, Lithuania
来源：
ELEKTRONIKA IR ELEKTROTECHNIKA | 2011年 / 06期
关键词：
MODEL;
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
The aim of this paper is to describe a way to construct tests which validate that changes made during software evolution did not introduce regression faults. Developers usually run a new version of the program against the same set of tests. In order to achieve this goal, symbolic execution was used for test input generation and full structural code coverage. Moreover, the extension of symbolic execution was developed to increase the quality of tests. As a result, regression faults were detected in the program. The concept of the technique and an example model are presented. III. 7, bibl. 18 (in English; abstracts in English and Lithuanian).
引用
收藏
页码：101 / 105
页数：5
相关论文
共 50 条
  • [31] Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution
    Rath, Felix
    Schemmel, Daniel
    Wehrle, Klaus
    [J]. EPIQ'18: PROCEEDINGS OF THE 2018 WORKSHOP ON THE EVOLUTION, PERFORMANCE, AND INTEROPERABILITY OF QUIC, 2018, : 15 - 21
  • [32] Generating Source Inputs for Metamorphic Testing Using Dynamic Symbolic Execution
    Alatawi, Eman
    Miller, Tim
    Sondergaard, Harald
    [J]. 2016 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON METAMORPHIC TESTING (MET), 2016, : 19 - 25
  • [33] Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT
    Muntean, Paul
    Kommanapalli, Vasantha
    Ibing, Andreas
    Eckert, Claudia
    [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2015, 2015, 9337 : 441 - 456
  • [34] Automated Regression Testing Using Constraint Programming
    Gotlieb, Arnaud
    Carlsson, Mats
    Liaaen, Marius
    Marijan, Dusica
    Petillon, Alexandre
    [J]. THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, : 4010 - 4015
  • [35] Automated regression testing using DBT and Sleuth
    von Mayrhauser, Anneliese
    Zhang, Ning
    [J]. Journal of Software Maintenance, 1999, 11 (02): : 93 - 116
  • [36] Automated regression testing using DBT and Sleuth
    von Mayrhauser, A
    Zhang, N
    [J]. JOURNAL OF SOFTWARE MAINTENANCE-RESEARCH AND PRACTICE, 1999, 11 (02): : 93 - 116
  • [37] Generalized symbolic execution for model checking and testing
    Khurshid, S
    Pasareanu, CS
    Visser, W
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2003, 2619 : 553 - 568
  • [38] Shadow Symbolic Execution for Testing Software Patches
    Kuchta, Tomasz
    Palikareva, Hristina
    Cadar, Cristian
    [J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2018, 27 (03)
  • [39] Hybrid Testing Based on Symbolic Execution and Fuzzing
    Xie X.-F.
    Li X.-H.
    Chen X.
    Meng G.-Z.
    Liu Y.
    [J]. Ruan Jian Xue Bao/Journal of Software, 2019, 30 (10): : 3071 - 3089
  • [40] Dynamic Symbolic Execution for Testing Distributed Objects
    Griesmayer, Andreas
    Aichernig, Bernhard
    Johnsen, Einar Broch
    Schlatte, Rudolf
    [J]. TESTS AND PROOFS, PROCEEDINGS, 2009, 5668 : 105 - 120
12345