学位论文 > 优秀研究生学位论文题录展示

计算机辅助软件故障树建模与分析研究

作　者: 杨宇
导　师: 刘晓平
学　校: 合肥工业大学
专　业: 计算机软件与理论
关键词: 安全关键系统软件故障树分析法失效模式模板最小割集最弱前置条件语法制导翻译扩展语法树贪心算法割集矩阵
分类号: TP311.52
类　型: 硕士论文
年　份: 2004年
下　载: 397次
引　用: 5次
阅　读: 论文下载

内容摘要

在软件安全领域，软件故障树分析法是一种重要的软件危害分析方法，但是，软件故障树的建模和分析是非常繁琐费时的，因此，本文将计算机辅助技术引入软件故障树的建模和分析之中，提出了软件故障树的自动建模和快速分析算法。本文的主要内容如下： 1)详细介绍了软件故障树的建模和分析方法：在对建模方法的介绍中，说明了建模的准备工作，给出了C/C++语言的失效模式模板，并对建模的回溯法进行了讨论；在对分析方法的介绍中，给出定性和定量分析的意义，指出了关于定量分析的争议，并介绍了两个经典的分析方法，最后，还给出了一个建模和分析的示例。 2)通过对最弱前置条件的介绍，探讨了软件故障树分析法的基本原理和本质，然后通过与软件测试、程序正确性证明以及其它分析方法的比较，总结得出了软件故障树分析法的优点和缺点。 3)提出了软件故障树的自动建模算法，该算法的前半部分借鉴了编译器的前端技术，包括基于状态转换图的词法分析，适合自顶向下分析的文法的构造，递归下降的语法分析以及语法制导的语法树生成，算法的后半部分则包括基于广度遍历的语法树扩展和基于深度遍历的故障树生成。 4)提出了软件故障树的快速分析算法，该算法包括基于贪心策略的故障树逻辑简化，基于深度遍历的故障树模块划分以及基于扩展割集矩阵的模块求解和模块结果合成，此外，还给出了割集矩阵的数据结构，并展示了算法的初步测试结果。

全文目录

相似论文

基于智能算法的二维下料问题的研究,TP301.6
基于硅的湿法腐蚀特性仿真与制作微折射结构,TP391.41
基于集合覆盖理论的网络自动化测试技术研究,TP393.06
粗糙集理论在高压断路器故障诊断中的应用,TM561
一类特殊系统的可靠性分析,O213.2
关于故障树分析中联合重要度兼容性的研究,TH165.3
基于Min-Min和Max-Min算法改进的网格调度算法的研究,TP393.01
基于UML的高校自动排课系统的设计与实现,TP311.52
复杂事故树定性与定量分析算法研究与应用,X913.4
关于不确定性数据置信度算法的研究,TP311.13
群智能优化算法及应用研究,TP301.6
变电站电气主接线的可靠性与经济性评估,TM732
含分布式电源的配电网可靠性评估,TM732
关于可靠性设施布局问题的近似算法,TB114
单/多模数线性同余方程组的数值解法及其在密码学中的应用,TN918.1
基于RS和BP神经网络算法的医疗诊断系统,TP399-C8
嵌入式系统内存空间域隔离技术的研究与实现,TP368.1
变异测试技术应用研究,TP311.53
输配电组合系统的可靠性评估算法研究,TM732
考务系统的访问控制与排考算法研究,TP311.52
城镇天然气管网优化设计研究,TU996.6