Testing a safety-critical application
暂无分享,去创建一个
[1] Paul Ammann,et al. The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing , 1992, IEEE Trans. Software Eng..
[2] John C. Knight,et al. A Safety Kernel Architecture , 1994 .
[3] Elaine J. Weyuker,et al. On Testing Non-Testable Programs , 1982, Comput. J..
[4] G. B. Finelli,et al. The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software , 1993, IEEE Trans. Software Eng..
[5] Paul Ammann,et al. On the performance of software testing using multiple versions , 1990, [1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium.