Abstract
Two major problems facing the software maintenance programmer are avoiding the introduction of unexecutable code and coping with the large volume of regression tests that are often required during maintenance. In preparing program changes, staff who carry out maintenance often have to spend time on ascertaining the constraints which govern the variables at the proposed points of insertion of the new code. This effort is required to avoid the introduction of unexecutable code which can so easily happen when maintenance staff are unaware of the prevailing constraints. This often means that many of the paths executed during regression testing are executed more than once in an attempt to overcome the risk of coincidental correctness camouflaging an error. This paper describes how symbolic execution, and in particular the SYM-BOL system, can be used to reduce the likelihood of introducing unexecutable code, to speed up the process of determining the constraints on variables at a given point in a program and to reduce the volume of regression testing.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Journal of Software Maintenance: Research and Practice
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
