Software Engineering Research Laboratory, Department of Mathematics and Computer Science, University of Quebec, Trois-Rivières, 3351 Boul. des Forges, Trois-Rivières, QC G8Z 4M3, Canada.

---

Abstract—The complexity of current software and the various dependencies between their components can affect their reliability, in particular their ability to tolerate faults. In object-oriented software, the interactions derived from such dependencies can lead to the propagation of errors. This problem can be resolved by implementing error detection and error containment mechanisms. Such techniques are used to tolerate faults. In this paper, we present three solutions where a component is reinforced in order to detect errors and limit their propagation to dependent components.

Index Terms—Fault tolerance, error-checking, fault injection, measurement techniques, performance attributes, software engineering.

[PDF]

Cite: Sébastien Perron, Mourad Badri, Linda Badri, "Detecting and Confining Software Errors: An Evaluation of Three Executable Assertions Based Solutions," Journal of Software vol. 17, no. 4, pp. 137-148, 2022.

Copyright © 2022 by the authors. This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0)