软件验证与确认
📅
软件验证与确认（Software Verification and Validation） 🔗
验证
：确认开发过程中的各个阶段是否正确执行。- 我们是否正确地构建产品？
- 主要通过检查和评审完成。
确认
：确认各项成果是否满足前一阶段规定的需求。- 我们是否构建了正确的产品？
- 主要通过测试完成。
检查（Inspection） 🔗
分析系统的静态表示，发现问题，也就是静态验证。
不要求执行系统。
- 可以在实现之前检查。
可以应用于系统的任何表示。
- 需求、设计、代码和文档等。
程序测试（Program Testing） 🔗
通过执行软件发现问题，也就是动态验证。
确认程序是否按预期工作。
在使用之前发现程序缺陷。
检查与测试（Inspection and Testing） 🔗
检查
- 需求规格说明（Requirement Specification）。
- 软件架构（Software Architecture）。
- UML设计模型（UML Design Model）。
- 数据库结构（DB Schema）。
- 程序。
测试
- 系统原型（System Prototype）。
- 程序。
检查与测试相互补充，在V&V过程中都应使用。
检查
无法确认
的事项包括：- 是否符合客户的真实需求。
- 性能、可用性等非功能特性。
测试阶段（Stages of Testing） 🔗
开发测试（Development Testing）
- 开发过程中测试系统，以发现错误和缺陷。
- 开发者执行单元测试与集成测试。
发布测试（Release Testing）
- 独立测试团队在用户使用前，测试完整系统。
- 验证所有功能集成后是否正常工作。
用户测试（User Testing）
- 实际用户或潜在用户，在自己的环境中测试系统。
- 基于真实使用场景进行测试。
开发测试（Development Testing） 🔗
单元测试（Unit Test）
- 测试单个程序单元或对象类。
- 重点检查对象或方法的功能。
组件测试（Component Test）
- 将多个独立单元组合成组件进行测试。
- 重点检查组件接口。
系统测试（System Test）
- 组合部分或全部组件，测试整个系统。
- 重点检查组件之间的交互。
黑盒测试与白盒测试（Black-box Testing vs White-box Testing） 🔗
黑盒测试
- 从被测对象外部视角设计测试用例。
- 选择有效与无效输入，并确定正确输出。
- 不依赖对象内部结构知识。
白盒测试
- 根据程序结构设计测试用例。
- 利用对程序内部的了解，识别额外测试情况。
等价类划分（Equivalence Partitioning） 🔗
把输入数据范围划分为多个子集，再从每个子集中选择代表值测试。
这种方法能减少测试范围，同时有效发现缺陷。
等价类划分示例 🔗
- Partition 1：0、5，无效值。
- Partition 2：6、10，有效值。
- Partition 3：11、14，无效值。
从每个分区中选择
一个值
，构造测试用例即可。搜索过程规格说明（Search Routine Specification） 🔗
过程：
search(Key : ELEM; T : SEQ of ELEM; Found : in out BOOLEAN; L : in out ELEM_INDEX)
前置条件（Precondition）
- 序列中至少存在一个元素。
- T`FIRST < = L < = T`LAST
后置条件（Postcondition）
- 如果Found = TRUE，则T(L) = Key。
- 如果Found = FALSE，则T中不存在Key。
