22、参数化单元测试与软件工具问题深度解析

参数化单元测试与软件工具问题深度解析

1. Pex 参数化单元测试助力

在软件开发中，若类型不可见或字段不可见，Pex 在创建对象并使其达到有趣状态以实现最大代码覆盖率时需要帮助。有两种方式可协助 Pex：
- 提供参数化工厂 ：用户为复杂对象提供参数化工厂，让 Pex 从工厂方法开始探索不同对象状态。
- 定义对象私有字段的不变量 ：使 Pex 能直接生成不同对象状态。

可探索对象示例

以下是一个 MyCounter 类的示例：

public class MyCounter {
    private int _count;
    public MyCounter(int initialCount) {
        if (initialCount < 0)
            throw new ArgumentException();
        this._count = initialCount;
    }
    public MyCounter() {
        this._count = 0;
    }
    public void Increment() {
        this._count++;
    }
    public int Count {
        get {
            return this._count;
        }
    }
}