|
论文《一种基于测试的故障树正确性检测方法》提出了一种通过测试验证故障树正确性的新方法。该方法利用软件测试技术对故障树模型进行分析,以检测模型中的逻辑错误和不一致性。文章在2011全国软件与应用学术会议(NASAC2011)上发表,为提高故障树分析的可靠性提供了有效手段,具有重要的理论和应用价值。 文档为pdf格式,0.68MB,总共8页。
- 文件大小:
- 696.32 KB
- 下载次数:
- 60
- 一种基于测试的故障树正确性检测方法 - 2011全国软件与应用学术会议(NASAC2011).pdf ...
-
高速下载
|