1 状态转换测试简介 嵌入式系统有些表现出基于状态的行为，设计此系统可使用基于状态的建模； 在设计过程中，创建的模型可作为测试设计的基础； 以下将描述基于状态的模型来导出测试用例的技术。 1.1 基于

1 测试设计技术的步骤 1.1 确定测试情形 即分析测试基础，明确每一个测试需要的情形； 例如： 1.2 确定逻辑测试用例 测试情形被转换为测试用例； 逻辑测试用例课能就是测试情形； 逻辑测试用例即描

1 简介 这里的安全指在一定条件下，系统不会危及到人的生命的期望； 某些系统的故障可能导致严重的后果，如人员死亡、严重伤害、或环境环境收到严重破坏； 书中说到了两种方法：FMEA（故障模型及后果分析）

1 说明 1.1 简介 评审是一种正式的评估技术； 评审需详细考查软件需求、设计、编码等，以便发现缺陷、违反开发标准的情况或其它问题。 1.2 评审的目的 验证软件是是否否和规范； 验证软件是否达到应

1 简单介绍 可测性审查主要在准备阶段； 可测性审查意味着测试基础的文档的完备性、确定性和一致性； 在制定测试规范的过程中，高可测性是测试成功的首要条件； 2 规程 2.1 选择相关文档 测试计划应当

1 风险评估 1.1 分析风险 著名公式： 公式说明： 1.2 如何估计故障几率？ 以下有助于估计故障几率，他给出了容易发生故障的位置： 复杂部件； 全新部件； 经常改动的部件； 首次采用某种工具或技

1 简介 独立测试团队主要进行高层次的测试； 主要在开发生命周期的后期进行。 2 计划与控制阶段 项目 内容 目标 把握测试质量，对测试过程进行协调、监督和控制。 规程 测试计划包含计划、资源分配和任

1 开发人员测试的重要性 早期发现的错误容易解决； 高质量的基础元素更容易建立起高质量的系统； 开发后期发现的缺陷，很难追踪其根源； 解决开发后期发现的缺陷，在回归测试上需要投入更大的时间成本； 开发

1 制定主测试计划的要素 1.1 测试类型 测试类型是用一组相关的质量特性来评估系统的一组活动； 常见的测试类型如下： 测试类型 描述 质量特性 功能 测试功能行为 功能性 接口 测试和其它系统的交互