形式化方法在构件组装实时系统中的应用研究
| 摘要 | 第1-6页 |
| Abstract | 第6-15页 |
| 1 绪论 | 第15-21页 |
| ·研究背景和意义 | 第15-16页 |
| ·研究问题 | 第16-17页 |
| ·研究内容 | 第17-18页 |
| ·本文篇章结构 | 第18-20页 |
| ·本章小结 | 第20-21页 |
| 2 CBSD研究综述 | 第21-44页 |
| ·基于构件的软件开发方法 | 第21-23页 |
| ·概述 | 第21-22页 |
| ·CBSD的发展过程 | 第22-23页 |
| ·构件 | 第23-32页 |
| ·构件的概念 | 第23-24页 |
| ·实时构件的基本特征 | 第24-26页 |
| ·主流构件技术和模型 | 第26-28页 |
| ·可信构件的相关研究 | 第28-32页 |
| ·构件组装技术 | 第32-35页 |
| ·构件组装方式和构件组装技术 | 第32-33页 |
| ·构件组装开发实践 | 第33-35页 |
| ·形式化方法 | 第35-38页 |
| ·模型验证技术 | 第38-42页 |
| ·模型检测 | 第38-40页 |
| ·模型检测工具 | 第40-42页 |
| ·本章小结 | 第42-44页 |
| 3 构件建模和构件行为相容性 | 第44-70页 |
| ·问题背景 | 第44-45页 |
| ·构件模型及时间行为的形式化描述 | 第45-48页 |
| ·构件模型及构件行为的形式化描述 | 第46-47页 |
| ·时间行为形式化描述方法 | 第47-48页 |
| ·时间自动机和UPPAAL | 第48-54页 |
| ·时间自动机 | 第49-52页 |
| ·UPPAAL介绍 | 第52-54页 |
| ·实时构件的建模 | 第54-56页 |
| ·构件行为相容性分析 | 第56-59页 |
| ·常见相容性错误 | 第56-57页 |
| ·不相容的构件行为在RCM模型上的形式化表示 | 第57页 |
| ·构件行为相容性验证 | 第57-59页 |
| ·实例分析 | 第59-68页 |
| ·相关工作比较 | 第68页 |
| ·本章小结 | 第68-70页 |
| 4 实时系统测试用例产生 | 第70-91页 |
| ·问题背景 | 第70-73页 |
| ·测试用例生成方法 | 第73-80页 |
| ·主流的测试用例生成方法 | 第74-75页 |
| ·形式模型 | 第75-76页 |
| ·基于模型的实时系统测试用例生成方法 | 第76-79页 |
| ·基于模型检测的测试用例产生 | 第79-80页 |
| ·新的测试覆盖标准和长度优化的测试用例产生 | 第80-85页 |
| ·测试用例覆盖标准 | 第80-83页 |
| ·生成长度优化的测试用例 | 第83-85页 |
| ·实例分析 | 第85-89页 |
| ·相关工作比较 | 第89-90页 |
| ·本章小结 | 第90-91页 |
| 5 构件选择及组装可靠性分析 | 第91-108页 |
| ·问题背景 | 第91-93页 |
| ·构件选择和构件可靠性模型 | 第93-97页 |
| ·构件选择的模型 | 第93-94页 |
| ·构件选择的方法 | 第94页 |
| ·构件的评价方法 | 第94-95页 |
| ·构件可靠性模型 | 第95-96页 |
| ·构件选择的其他研究问题 | 第96-97页 |
| ·层次自动机 | 第97-98页 |
| ·构件的层次自动机模型 | 第98-99页 |
| ·构件选择及组装可靠性分析 | 第99-103页 |
| ·构件关系矩阵和重要度因子 | 第99-100页 |
| ·用软件可信等级化度量方法选择服务构件 | 第100-102页 |
| ·构件软件系统的可靠性 | 第102-103页 |
| ·实例分析 | 第103-105页 |
| ·相关工作比较 | 第105-106页 |
| ·本章小结 | 第106-108页 |
| 6 结论与展望 | 第108-111页 |
| ·论文工作总结 | 第108-109页 |
| ·进一步工作 | 第109-111页 |
| 参考文献 | 第111-124页 |
| 致谢 | 第124-125页 |
| 个人简历、在学期间发表的学术论文及研究成果 | 第125页 |
