35、C++面向对象程序测试：规范类形式解析

C++面向对象程序测试：规范类形式解析

1. 面向对象软件测试概述

在代码部署之前，软件测试极为重要，而面向对象（OO）软件的测试需要不同于其他类型软件的技术。因为OO软件中类与类之间存在各种关系，所以我们必须了解如何测试类之间可能存在的依赖关系和关联。此外，每个对象会根据操作应用于实例的顺序以及与相关对象的特定交互（例如通过关联）经历不同的状态。与过程式应用程序相比，OO应用程序的整体控制流程要复杂得多，因为应用于给定对象的操作组合和顺序以及相关对象的影响众多。

不过，我们可以应用一些指标和流程来测试OO软件，包括理解可用于类规范的习惯用法和模式，创建驱动程序来独立测试类以及测试类与其他类的关系，还可以创建场景来提供对象可能经历的事件或状态序列。对象之间的关系，如继承、关联和聚合，在测试中变得非常重要，相关对象可以影响现有对象的状态。

2. 规范类形式的理解

对于C++中的许多类，遵循一种类规范模式是合理的，以确保新类包含一组完整的所需组件。规范类形式是一种健壮的类规范，它使类实例在初始化、赋值、参数传递和函数返回值使用等方面提供统一的行为（类似于标准数据类型）。

2.1 正统规范类形式

遵循正统规范类形式的类将包含以下内容：
- 一个默认构造函数（或使用 =default 原型来明确允许此接口）
- 一个拷贝构造函数
- 一个重载的赋值运算符
- 一个虚析构函数

虽然上述任何组件都可以使用 =default 进行原型设计，以明确使用默认的系统提供的实现，但现代偏好正逐渐远离这种做法（因为这些