Quantitative evaluation of safety critical software testability based on fault tree analysis and entropy

Cited 9 time in webofscience Cited 0 time in scopus
  • Hit : 295
  • Download : 0
One of the definitions for testability is the probability whether tests will detect a fault, given that a fault in the program exists. The testability can be estimated from the probability of each statement fault leading to output failure. The probability of the test detecting a fault depends on the probability of individual statement faults appearing as an output failure when a fault exists at a statement. The testability measure of the software has been introduced based on output failure probability and the entropy of the importance of basic statements to the output failure from the software fault tree analysis. The output failure probability and the importance of statements are calculated from software fault tree analysis. The Suggested testability measure has been applied to the two modules of the safety system in a nuclear power plant. The proposed testability measure can be used for the selection of output variables or to determine the modules that are more vulnerable to undetected faults. (C) 2003 Elsevier Inc. All rights reserved.
Publisher
ELSEVIER SCIENCE INC
Issue Date
2004-10
Language
English
Article Type
Article
Citation

JOURNAL OF SYSTEMS AND SOFTWARE, v.73, no.2, pp.351 - 360

ISSN
0164-1212
DOI
10.1016/j.jss.2003.10.028
URI
http://hdl.handle.net/10203/84967
Appears in Collection
NE-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 9 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0