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

Journal of Systems and Software

Volumn 73, Issue 2, 2004, Pages 351-360

  Sohn, SeDo ^a,b   Seong, PoongHyun ^a  

^a Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

^b Korea Power Engineering Company   (South Korea)

Author keywords

Entropy; Software fault tree; Software testability

Indexed keywords

ENTROPY; ERROR ANALYSIS; FUNCTIONS; PROBABILITY; SECURITY SYSTEMS; TREES (MATHEMATICS);

OUTPUT FAILURE; SOFTWARE FAILURE; SOFTWARE FAULT TREE; SOFTWARE TESTABILITY;

COMPUTER SOFTWARE;

EID: 3242714196     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2003.10.028     Document Type: Article

References (13)

1. AECL, 1994. SDS1 Software Hazards Analysis Report for Wolsong Nuclear Power Plant.
2. Bertolino A., Strigini L. On the use of software testability measures for dependability assessment. IEEE Transactions on Software Engineering. 22(2):1996;97-108.
3. Cha, S.S. et al., 1988. Safety Verification in Murphy Using Fault Tree Analysis, 10th International Conference on Software Engineering. pp. 377-387.
4. Freedman R.S. Testability of software components. IEEE Transactions on Software Engineering. 17(6):1991;553-563.
5. KNFC, 1988. Functional Design Requirements for Core Protection Calculator System.
6. Leveson N.G., Harvey P.R. Analyzing software safety. IEEE Transactions on Software Engineering. SE-9(5):1983;569-579.
7. Littlewood B., Wright D. Some conservative stopping rules for the operational testing of safety critical Software. IEEE Transactions on Software Engineering. 23(11):1997;673-683.
8. Richardson D., et al. An analysis of test data selection criteria using the RELAY model of fault detection. IEEE Transactions On Software Engineering. 19(6):1993;533-553.
9. Seong, P.H., 1987. A Methodology for Simplification of Light Water Reactor System Design, Ph.D Thesis, Massachusetts Institute of Technology, Boston, Massachusetts.
10. Shannon C.E. A mathematical theory of communication. Mathematical Theory of Communication. 1949.
11. Voas J., Miller K. Semantic metric for software testability. Journal of Systems and Software. 20:1993;207-216.
12. Voas J.M., Miller K.W. Software testability: the new verification. IEEE Software. 12(3):1995;17-28.
13. Wolfe W.A. Fault tree analysis. 1978;Atomic Energy Canada Limited, Chalk River, Ontario.