Software diagnosability

Author

Le Traon, Yves ; Ouabdesselam, Farid ; Robach, Chantal

Author_Institution

LCIS-ESISAR, Valence, France

fYear

1998

fDate

4-7 Nov 1998

Firstpage

257

Lastpage

266

Abstract

This paper is concerned with diagnosability, its definition and the axiomatization of its expected behaviour. The intuitive expected behaviour of diagnosability is defined relative to basic operations that are applicable on software designs. A diagnosability measurement is proposed which is consistent with the stated axioms. The diagnosability metric is based on an analysis of the design structure: fault location effort and precision are measured for a given testing context. Compromises between global test difficulty and diagnostic precision are illustrated on part of a data-flow software design. Throughout the paper, we develop a case study

Keywords

data flow computing; parallel programming; program diagnostics; program testing; software metrics; basic operations; case study; data-flow software design; design structure analysis; diagnostic precision; fault location effort; global test difficulty; software behaviour axiomatization; software diagnosability metric; testing context; Appraisal; Costs; Fault detection; Fault diagnosis; Fault location; Humans; Phase estimation; Software design; Software measurement; Software testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Reliability Engineering, 1998. Proceedings. The Ninth International Symposium on

Conference_Location

Paderborn

ISSN

1071-9458

Print_ISBN

0-8186-8991-9

Type

conf

DOI

10.1109/ISSRE.1998.730889

Filename

730889