基于接口语义自动机的嵌入式软件构件与时序测试研究
| 摘要 | 第3-4页 |
| abstract | 第4-5页 |
| 第1章 引言 | 第9-18页 |
| 1.1 研究背景及意义 | 第9-12页 |
| 1.2 嵌入式软件测试研究现状 | 第12-15页 |
| 1.3 论文的主要研究工作 | 第15-16页 |
| 1.4 论文的组织结构 | 第16-18页 |
| 第2章 嵌入式软件的接口语义自动机模型 | 第18-38页 |
| 2.1 本章引论 | 第18-19页 |
| 2.2 嵌入式软件组合建模技术研究现状 | 第19-21页 |
| 2.3 基于接口语义自动机的行为特性建模 | 第21-26页 |
| 2.3.1 接口自动机理论 | 第21-22页 |
| 2.3.2 行为语义扩展 | 第22-25页 |
| 2.3.3 接口语义自动机 | 第25-26页 |
| 2.4 嵌入式软件组合理论 | 第26-32页 |
| 2.4.1 构件可组合性 | 第28-29页 |
| 2.4.2 组合机制 | 第29-30页 |
| 2.4.3 ISA模型的可组合性与组合操作 | 第30-32页 |
| 2.5 接口语义自动机实例 | 第32-37页 |
| 2.6 本章小结 | 第37-38页 |
| 第3章 基于符号执行的嵌入式构件测试 | 第38-74页 |
| 3.1 本章引论 | 第38-40页 |
| 3.2 相关技术研究现状 | 第40-41页 |
| 3.3 基于符号执行的构件测试生成 | 第41-49页 |
| 3.3.1 模型覆盖准则 | 第42-43页 |
| 3.3.2 启发式测试路径生成算法 | 第43-47页 |
| 3.3.3 基于相关性分析的数据约束求解 | 第47-49页 |
| 3.4 功能异常测试方法 | 第49-52页 |
| 3.4.1 基于约束变异的测试 | 第49-51页 |
| 3.4.2 基于插桩与反例的异常测试 | 第51-52页 |
| 3.5 基于组合路径的集成测试 | 第52-56页 |
| 3.5.1 构件间组合路径分析 | 第53-54页 |
| 3.5.2 基于组合路径的集成测试 | 第54-56页 |
| 3.6 实验与评估 | 第56-73页 |
| 3.6.1 应用案例 | 第56-57页 |
| 3.6.2 实验设计 | 第57-65页 |
| 3.6.3 构件测试结果分析 | 第65-71页 |
| 3.6.4 集成测试结果分析 | 第71-73页 |
| 3.7 本章小结 | 第73-74页 |
| 第4章 基于时间约束相关性分析的时序测试生成 | 第74-105页 |
| 4.1 本章引论 | 第74-75页 |
| 4.2 时间约束测试技术研究现状 | 第75-77页 |
| 4.3 时序特性分析与建模 | 第77-82页 |
| 4.3.1 时序语义描述 | 第77-81页 |
| 4.3.2 时间约束相关性分析 | 第81-82页 |
| 4.4 时间约束一致性检测 | 第82-84页 |
| 4.5 典型时序缺陷分析 | 第84-86页 |
| 4.6 基于相关性分析的分区测试方法 | 第86-95页 |
| 4.6.1 相关时间约束识别 | 第87-90页 |
| 4.6.2 基于时间约束的测试分区 | 第90-93页 |
| 4.6.3 分区测试数据生成 | 第93-95页 |
| 4.7 实验与评估 | 第95-103页 |
| 4.7.1 应用案例 | 第95-96页 |
| 4.7.2 实验设计 | 第96-99页 |
| 4.7.3 实验结果分析 | 第99-103页 |
| 4.8 本章小结 | 第103-105页 |
| 第5章 执行序列的异常时序检测 | 第105-125页 |
| 5.1 本章引论 | 第105-106页 |
| 5.2 时序特性检测技术研究现状 | 第106-108页 |
| 5.3 执行片段提取 | 第108-109页 |
| 5.4 基于接口自动机的时序缺陷检测 | 第109-116页 |
| 5.4.1 执行片段匹配 | 第110-114页 |
| 5.4.2 时序缺陷检测 | 第114-116页 |
| 5.5 实验与评估 | 第116-124页 |
| 5.5.1 实验设计 | 第116-118页 |
| 5.5.2 实验结果分析 | 第118-124页 |
| 5.6 本章小结 | 第124-125页 |
| 第6章 总结与展望 | 第125-129页 |
| 6.1 论文的主要贡献 | 第125-127页 |
| 6.2 研究工作展望 | 第127-129页 |
| 参考文献 | 第129-139页 |
| 致谢 | 第139-141页 |
| 个人简历、在学期间发表的学术论文与研究成果 | 第141页 |
