AUTOMATED REGRESSION TESTING USING SYMBOLIC EXECUTION

被引：0
|
作者：
Barisas, Dominykas [1 ]
Milasius, Tomas [1 ]
Bareisa, Eduardas [1 ]
机构：
[1] Kaunas Univ Technol, Software Engn Dept, Kaunas, Lithuania
来源：
INFORMATION TECHNOLOGIES' 2011 | 2011年
关键词：
regression testing; mutation testing; symbolic execution; automated testing;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：117 / 124
页数：8
相关论文
共 50 条
  • [21] Automated Search for Vulnerabilities in ARM Software Using Dynamic Symbolic Execution
    T. D. Ovasapyan
    P. V. Knyazev
    D. A. Moskvin
    [J]. Automatic Control and Computer Sciences, 2021, 55 : 932 - 940
  • [22] Automated Search for Vulnerabilities in ARM Software Using Dynamic Symbolic Execution
    Ovasapyan, T. D.
    Knyazev, P., V
    Moskvin, D. A.
    [J]. AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2021, 55 (08) : 932 - 940
  • [23] Symbolic execution and model checking for testing
    Pasareanu, Corina S.
    Visser, Willem
    [J]. HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, 2008, 4899 : 17 - +
  • [24] APPLICATIONS OF SYMBOLIC EXECUTION TO PROGRAM TESTING
    DARRINGER, JA
    KING, JC
    [J]. COMPUTER, 1978, 11 (04) : 51 - 59
  • [25] TESTING MIXAL PROGRAMS BY SYMBOLIC EXECUTION
    ERMAKOV, GV
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1988, 14 (01) : 1 - 6
  • [26] Symbolic Execution Enhanced System Testing
    Davies, Misty
    Pasareanu, Corina S.
    Raman, Vishwanath
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2012, 7152 : 294 - +
  • [27] Efficient symbolic execution for software testing
    Kinder, Johannes
    [J]. 2014 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2014, : 5 - 5
  • [28] Testing MIXAL programs by symbolic execution
    Ermakov, G.V.
    [J]. Programming and computer software, 1988, : 1 - 6
  • [29] Symbolic execution techniques for refinement testing
    Le Gall, Pascale
    Rapin, Nicolas
    Touil, Assia
    [J]. TESTS AND PROOFS, 2007, 4454 : 131 - +
  • [30] Integration Testing of Software Product Lines Using Compositional Symbolic Execution
    Shi, Jiangfan
    Cohen, Myra B.
    Dwyer, Matthew B.
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2012, 2012, 7212 : 270 - 284
12345