The early identification of detector locations in dependable software
Jhumka, Arshad and Leeke, Matthew (2011) The early identification of detector locations in dependable software. In: 22nd IEEE International Symposium on Software Reliability Engineering, Hiroshima, Japan, 29 Nov - 2 Dec 2011. Published in: Proceedings of 22nd IEEE International Symposium on Software Reliability Engineering pp. 40-49.
WRAP_Jhumka_The_Early_Identification_of_Detector_Locations_in_Dependable_Software.pdf - Draft Version - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (398Kb) | Preview
Official URL: http://dx.doi.org/10.1109/ISSRE.2011.34
The dependability properties of a software system are usually assessed and refined towards the end of the software development lifecycle. Problems pertaining to software dependability may necessitate costly system redesign. Hence, early insights into the potential for error propagation within a software system would be beneficial. Further, the refinement of the dependability properties of software involves the design and location of dependability components called detectors and correctors. Recently, a metric, called spatial impact, has been proposed to capture the extent of error propagation in a software system, providing insights into the location of detectors and correctors. However, the metric only provides insights towards the end of the software development life cycle. In this paper, our objective is to investigate whether spatial impact can enable the early identification of locations for detectors. To achieve this we first hypothesise that spatial impact is correlated with module coupling, a metric that can be evaluated early in the software development life cycle, and show this relationship to hold. We then evaluate module coupling for the modules of a complex software system, identifying modules with high coupling values as potential locations for detectors. We then enhanced these modules with detectors and perform fault-injection analysis to determine the suitability of these locations. The results presented demonstrate that our approach can permit the early identification of possible detector locations.
|Item Type:||Conference Item (Paper)|
|Subjects:||Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software|
|Divisions:||Faculty of Science > Computer Science|
|Library of Congress Subject Headings (LCSH):||Debugging in computer science, Computer programs -- Testing|
|Journal or Publication Title:||Proceedings of 22nd IEEE International Symposium on Software Reliability Engineering|
|Publisher:||Conference Publishing Services|
|Book Title:||2011 IEEE 22nd International Symposium on Software Reliability Engineering|
|Official Date:||December 2011|
|Page Range:||pp. 40-49|
|Access rights to Published version:||Restricted or Subscription Access|
|Conference Paper Type:||Paper|
|Title of Event:||22nd IEEE International Symposium on Software Reliability Engineering|
|Type of Event:||Other|
|Location of Event:||Hiroshima, Japan|
|Date(s) of Event:||29 Nov - 2 Dec 2011|
 J.-C. Laprie, Dependability: Basic Concepts and Terminology. Springer-Verlag, December 1992.
Actions (login required)