Towards understanding the importance of variables in dependable software
Leeke, Matthew and Jhumka, Arshad (2010) Towards understanding the importance of variables in dependable software. In: 8th European Dependable Computing Conference (EDCC'10), Valencia, Spain, April 28th-30th 2010. Published in: Proceedings of the 2010 European Dependable Computing Conference pp. 85-94.Full text not available from this repository.
Official URL: http://dx.doi.org/10.1109/EDCC.2010.20
A dependable software system contains two important components, namely, error detection mechanisms and error recovery mechanisms. An error detection mechanism attempts to detect the existence of an erroneous software state. If an erroneous state is detected, an error recovery mechanism will attempt to restore a correct state. This is done so that errors are not allowed to propagate throughout a software system, i.e., errors are contained. The design of these software artefacts is known to be very difficult. To detect and correct an erroneous state, the values held by some important variables must be ensured to be suitable. In this paper we develop an approach to capture the importance of variables in dependable software systems. We introduce a novel metric, called importance, which captures the impact a given variable has on the dependability of a software system. The importance metric enables the identification of critical variables whose values must be ensured to be correct.
|Item Type:||Conference Item (Paper)|
|Subjects:||Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software|
|Divisions:||Faculty of Science > Computer Science|
|Journal or Publication Title:||Proceedings of the 2010 European Dependable Computing Conference|
|Date:||28 April 2010|
|Page Range:||pp. 85-94|
|Conference Paper Type:||Paper|
|Title of Event:||8th European Dependable Computing Conference (EDCC'10)|
|Type of Event:||Conference|
|Location of Event:||Valencia, Spain|
|Date(s) of Event:||April 28th-30th 2010|
Actions (login required)