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 条
  • [1] Automated Regression Testing using Symbolic Execution
    Barisas, D.
    Milasius, T.
    Bareisa, E.
    [J]. ELEKTRONIKA IR ELEKTROTECHNIKA, 2011, (06) : 101 - 105
  • [2] Automated Compatibility Testing Method for Software Logic by Using Symbolic Execution
    Uetsuki, Keiji
    Matsuodani, Tohru
    Tsuda, Kazuhiko
    [J]. 2015 IEEE EIGHTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2015,
  • [3] Extending symbolic execution for automated testing of stored procedures
    Maryam Abdul Ghafoor
    Muhammad Suleman Mahmood
    Junaid Haroon Siddiqui
    [J]. Software Quality Journal, 2020, 28 : 853 - 887
  • [4] Extending symbolic execution for automated testing of stored procedures
    Ghafoor, Maryam Abdul
    Mahmood, Muhammad Suleman
    Siddiqui, Junaid Haroon
    [J]. SOFTWARE QUALITY JOURNAL, 2020, 28 (02) : 853 - 887
  • [5] SYMBOLIC EXECUTION AND TESTING
    COWARD, PD
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1991, 33 (01) : 53 - 64
  • [6] Automated Analysis of Reo Circuits using Symbolic Execution
    Pourvatan, Bahman
    Sirjani, Marjan
    Hojjat, Hossein
    Arbab, Farhad
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 255 : 137 - 158
  • [7] Combined Symbolic and Concrete Execution of TTCN-3 for Automated Testing
    Xing, Xuezhi
    Zhang, Lei
    Jiang, Fan
    Cheng, Shaoyin
    Jiang, Xing
    [J]. ISISE 2008: INTERNATIONAL SYMPOSIUM ON INFORMATION SCIENCE AND ENGINEERING, VOL 1, 2008, : 58 - +
  • [8] Parallel Symbolic Execution for Automated Real-World Software Testing
    Bucur, Stefan
    Ureche, Vlad
    Zamfir, Cristian
    Candea, George
    [J]. EUROSYS 11: PROCEEDINGS OF THE EUROSYS 2011 CONFERENCE, 2011, : 183 - 197
  • [9] Using Metamorphic Testing to Improve Dynamic Symbolic Execution
    Alatawi, Eman
    Miller, Tim
    Sondergaard, Harald
    [J]. 2015 24TH AUSTRALASIAN SOFTWARE ENGINEERING CONFERENCE (ASWEC 2015), 2015, : 38 - 47
  • [10] SYMBOLIC EXECUTION AND PROGRAM TESTING
    KING, JC
    [J]. COMMUNICATIONS OF THE ACM, 1976, 19 (07) : 385 - 394
12345