Debugging without Testing
Document Type
Conference Proceeding
Publication Date
7-18-2016
Abstract
It is so inconceivable to debug a program without testing it that these two words are used nearly interchangeably. Yet we argue that using the concept of relative correctness we can indeed remove a fault from a program and prove that the fault has been removed, by proving that the new program is more correct than the original. This is a departure from the traditional roles of proving and testing methods, whereby static proof methods are applied to a correct program to prove its correctness, and dynamic testing methods are applied to an incorrect program to expose its faults.
Identifier
84983353138 (Scopus)
ISBN
[9781509018260]
Publication Title
Proceedings 2016 IEEE International Conference on Software Testing Verification and Validation Icst 2016
External Full Text Location
https://doi.org/10.1109/ICST.2016.12
First Page
113
Last Page
123
Recommended Citation
Ghardallou, Wided; Diallo, Nafi; Mili, Ali; and Frias, Marcelo F., "Debugging without Testing" (2016). Faculty Publications. 10381.
https://digitalcommons.njit.edu/fac_pubs/10381
