7.1 静态测试数据处理 7.2 动态测试数据处理

§6.1 基本概念 §6.2 两种类型的测试 §6.3白盒测试的测试用例设计 §6.4黑盒测试的测试用例设计 §6.5 针对专门环境和应用的测试 §6.6软件测试的步骤 §6.6 面向对象的软件测试 §6.7 自动测试和测试工具 §6.8 测试中的可靠性分析

1. 边界值测试 2. 路径测试与分支测试 3. 等价类划分

• 可测试性概述 • 固有测试性设计 • 机内自测试技术---BIT • 设计实例

• 可测试性概述 • 固有测试性设计 • 机内自测试技术---BIT • 设计实例

一、可测试性概述 二、固有测试性设计 三、机内自测试技术---BIT 四、设计实例

本章介绍了如何编写测试验证程序(test bench)测试验证程序用于测试和验证设计的正 确性。Verilog HDL提供强有力的结构来说明测试验证程序

• 单元测试的定义； • 单元测试同集成测试和系统测试的区别； • 单元测试环境的组成； • 单元测试的分析方法； • 单元测试的用例设计方法； • 单元测试的过程； • 单元测试举例

• 软件测试基础知识； • 白盒测试和黑盒测试的定义； • 常见的白盒和黑盒测试设计技术； • 白盒测试与黑盒测试的区别； • 测试计划和测试报告的编制； • 测试用例的定义和编制方法

3.1 测试系统的静态特性 3.2 测试系统的静态特性指标 3.3 测试系统静态特性的标定 3.4 测试系统动态特性 3.5 测试系统无失真测试条件 3.6 一阶、二阶系统的动态特性 3.7 测试系统对瞬态激励的响应 3.8 测试系统动态特性的标定 3.9 测试系统动态特性标定示例 3.10 测量仪器的特性指标