声明
注释表
缩略词
第一章 绪论
1. 1 研究背景
1. 2 研究现状
1. 3 本文内容安排
第二章 背景知识
2. 1 故障树分析
2. 2 模型检测
2. 3 软件产品线可变性建模
2. 4 本章小结
第三章 基于特征配置的故障树生成
3. 1 系统特征模型
3. 2 故障树自动生成框架
3. 3 本章小结
第四章 系统行为建模与故障树生成
4. 1 故障标记迁移系统
4. 2 故障树生成与模型检测
4.3 FLTS与特征迁移系统
4. 4 故障树生成算法
4. 5 本章小结
第五章 实验与分析
5. 1 故障树生成工具
5. 2 案例分析
5. 3 本章小结
第六章 总结与展望
6. 1 研究总结
6. 2 未来工作展望
参考文献
致谢
在学期间的研究成果及发表的学术论文