|
Published Articles >> Table of Contents >> Abstract
11th International Symposium on Software Reliability Engineering (ISSRE'00)
p. 162
Analyzing Testability on Data Flow Designs
Yves Le Traon, Universitaire de Beaulieu
Farid Ouabdesselam, LSR-IMAG
Chantal Robach, LCIS-ESISAR
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISSRE.2000.885869
Send link to a friend
| Abstract |
|
High testability is a strongly desired feature of software since it tends to make the validation phase more efficient in exposing faults during testing, and consequently it increases the quality of the end product. Furthermore, testability is a criterion of crucial importance to software developers since the sooner it can be estimated, the better the software architecture will be organized to improve subsequent maintenance. This paper is concerned with the testability of data flow software designs, its definition and the axiomatization of its expected behavior. This behavior is expressed in relation to basic operations applicable on designs, and to the dedicated test strategies, which are selected. Measurements are proposed which are consistent with the stated axioms. The whole approach is demonstrated using design specifications of embedded software developed in the avionics industry.
|
 Additional Information
|
Citation:
Yves Le Traon, Farid Ouabdesselam, Chantal Robach,
"Analyzing Testability on Data Flow Designs,"
issre,
p. 162,
11th International Symposium on Software Reliability Engineering (ISSRE'00),
2000
|
|
