[作者提醒：从Visual Studio 2015 RC 版本开始，“Smart Unit Tests”已经更名为“IntelliTest”]
在这篇文章中，我们讲到IntelliTest如何自动生成测试用例，以及当被测代码改变时，如何更新这些用例。针对一段被测代码，IntelliTest会生成一个PUT方法，和一个或多个测试用例方法。在下面的示例图中，展示了以Pex开头的特性的使用，它用于定义用例和被测代码的约束关系，这些特性都定义在Microsoft.Pex.Framework命名空间下。
在编译时，这些特性将作为它们所作用的类或方法的元数据，嵌入到程序集中。在后续的调用中，IntelliTest通过反射，拿到元数据，并拿到定义在PUT上的契约。
也许你已经发现了，自动生成的测试用例都是传统单元测试，它们也会显示在Visual Studio 的测试用例浏览窗口中，就像你手写的那些测试用例一样。不过，自动生成的测试用例并不希望被编辑。每一个自动生成的测试用例都会调用PUT方法，PUT方法又会调用被测代码。
将自动生成的单元测试和PUT测试方法分开，使得PUT测试方法可以作为一个统一的可以验证被测代码正确性的地方，通过PUT测试方法的调用，所有测试用例都将被验证。在以后的博客中，我们会讨论正确性验证的方法，但这不是本篇博客讨论的重点。将自动生成的测试用例和PUT测试方法放在同一个程序集中也是非常重要。
关于自动生成的测试用例的管理，可遵循如下规则：
- 防止重复的用例。使用IntelliTest的过程中，测试引擎会经常性的探测被测代码，并生成测试用例，因此很可能会生成一些重复的用例，这些重复的用例都需要被移除掉。
- 删除那些无关紧要的测试用例。随着被测代码的修改，之前的测试用例很可能变得无效，因此这部分测试用例需要被移除掉。
那么如何实践以上规则呢？
将自动生成的测试用例和PUT测试方法放在一个程序集中，测试引擎通过扫描程序集中的Pex特性，优先处理已经存在的测试用例（这些测试用例都被PexGeneratedBy修饰），它获取到这些用例的源码，然后移除其中的空白占位符，然后使用最终的字符串计算hash值。做完这些之后，测试引擎就有了一个测试用例集合对应的hash字典，有了这个字典，在新的一次探测过程中，就可以决定哪些测试用例已存在，而哪些是新添加的。对于那些没有在新的探索中生成的用例，引擎会主动删除之。
让测试用例和随时有变更可能的代码保持同步是一件很困难的事情，主动去修改大量测试用例以适配新的被测代码，开销无疑是巨大的。我们希望这套自动管理的测试用例的机制可以在面对这种变更时，可以更加轻松的应对。
2017-10-20 10:43:52
