Automated Regression Testing using Symbolic Execution

Authors

  • D. Barisas Kaunas University of Technology
  • T. Milasius Kaunas University of Technology
  • E. Bareisa Kaunas University of Technology

DOI:

https://doi.org/10.5755/j01.eee.112.6.457

Abstract

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. Ill. 7, bibl. 18 (in English; abstracts in English and Lithuanian).

http://dx.doi.org/10.5755/j01.eee.112.6.457

Downloads

Published

2011-06-08

How to Cite

Barisas, D., Milasius, T., & Bareisa, E. (2011). Automated Regression Testing using Symbolic Execution. Elektronika Ir Elektrotechnika, 112(6), 101-105. https://doi.org/10.5755/j01.eee.112.6.457

Issue

Vol. 112 No. 6 (2011)

Section

SYSTEM ENGINEERING, COMPUTER TECHNOLOGY

License

The copyright for the paper in this journal is retained by the author(s) with the first publication right granted to the journal. The authors agree to the Creative Commons Attribution 4.0 (CC BY 4.0) agreement under which the paper in the Journal is licensed.

By virtue of their appearance in this open access journal, papers are free to use with proper attribution in educational and other non-commercial settings with an acknowledgement of the initial publication in the journal.