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 条
  • [1] AUTOMATED REGRESSION TESTING USING SYMBOLIC EXECUTION
    Barisas, Dominykas
    Milasius, Tomas
    Bareisa, Eduardas
    [J]. INFORMATION TECHNOLOGIES' 2011, 2011, : 117 - 124
  • [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
    Ghafoor, Maryam Abdul
    Mahmood, Muhammad Suleman
    Siddiqui, Junaid Haroon
    [J]. SOFTWARE QUALITY JOURNAL, 2020, 28 (02) : 853 - 887
  • [4] 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
  • [5] PROGRAM TESTING USING SYMBOLIC EXECUTION.
    Borzov, Yu.V.
    [J]. Programming and Computer Software (English Translation of Programmirovanie), 1980, 6 (01): : 39 - 45
  • [6] SYMBOLIC EXECUTION AND TESTING
    COWARD, PD
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1991, 33 (01) : 53 - 64
  • [7] 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
  • [8] An automated testing tool for Java application using symbolic execution based test case generation
    Monpratarnchai, Supasit
    Fujiwara, Shoichiro
    Katayama, Asako
    Uehara, Tadahiro
    [J]. Proceedings - Asia-Pacific Software Engineering Conference, APSEC, 2013, 2 : 93 - 98
  • [9] 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 - +
  • [10] 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
12345