Research on technique of software testing based on fault tree analysis
暂无分享,去创建一个
Software testing is essential to ensure software quality. In order to more effectively improve the efficiency of software testing, fault tree analysis is introduced into software testing. This paper forwards the method on constructing fault tree model and presents a arithmetic on minimum cut sets. The quantitative analysis and qualitative analysis about fault tree model are discussed and the result is used in software testing.
[1] Roslyn M. Sinnamon,et al. Improved accuracy in quantitative fault tree analysis , 1997 .
[2] Wu Fang-mei. Formal Fault Tree Analysis Modeling and Software Safety Testing , 2001 .
[3] Tetsuo Tomiyama,et al. Functional Reasoning in Design , 1997, IEEE Expert.
[4] Paul A. Fenton Bauerle,et al. An Architecture for Electronic Throttle Control Systems , 2003 .