Towards Understanding the Importance of Variables in Dependable Software
Leeke, M. and Jhumka, A. (2010) Towards Understanding the Importance of Variables in Dependable Software. In: 8th European Dependable Computing Conference (EDCC'10), April 28th-30th 2010, Valencia, Spain.
|PDF - Published Version |
Download (158Kb) | Preview
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 or Workshop Item (Paper)|
|Uncontrolled Keywords:||pcav hpsg fault tolerance reliability|
|Subjects:||Q Science > QA Mathematics > QA76 Computer software|
|Divisions:||Faculty of Science > Computer Science|
|Depositing User:||Matt Leeke|
|Date Deposited:||29 Mar 2011 23:40|
|Last Modified:||23 Feb 2012 09:08|
Actions (login required)