基于功能点模型的半形式化验证关键技术研究.pdfVIP

目 录 摘 要 i Abstract iii 第一章 绪论 1 1.1 研究背景 1 1.2 功能验证方法概述 2 1.2.1 形式化验证 3 1.2.2 模拟验证 5 1.3 半形式化功能验证方法研究现状 7 1.4 半形式化验证的挑战与研究目标11 1.5 本文主要工作与结构安排 12 第二章 基于实体状态转移的功能点模型 15 2.1 引言 15 2.2 基于实体状态转移的功能点模型 19 2.2.1 模型概述 19 2.2.2 形式化表达及相关定义 22 2.2.3 模型的特点 24 2.2.4 实例说明 25 2.3 实验与分析 28 2.4 本章小结 29 第三章 基于功能点模型测试空间覆盖的激励生成方法 31 3.1 引言 31