An approach for testing safety-critical software
暂无分享,去创建一个
A novel approach for testing the effectiveness, efficiency, safety and relative appropriateness of Computer Interlocking Software (CIS)-a kind of safety-critical software is presented with a software platform developed to support this approach. A brief description of the proposed approach is also included.
[1] William E. Perry,et al. Effective methods for software testing , 1995 .
[2] Norman F. Schneidewind,et al. Reliability Modeling for Safety Critical Software , 1997, Ada-Europe.