17、以变更为中心的测试：原理与实践

以变更为中心的测试：原理与实践

1. 理解调用者 - 被调用者依赖关系

要了解变更在可执行文件中传播的影响，就需要清楚地了解可执行文件中各种方法之间的调用者 - 被调用者关系。调用图生成工具在生成此类信息时能提供极大的帮助。

1.1 调用图示例分析

以下图为例，展示了示例可执行文件中方法之间的静态调用者 - 被调用者关系。方法 f2 和 f3 使用方法 f1 的功能，方法 f5 和 f9 使用 f3 的功能，依此类推。同时，方法可以从多个父方法继承功能，也可以与下游的多个方法共享其功能。

graph LR
    f1 --> f2
    f1 --> f3
    f3 --> f5
    f3 --> f9
    f3 --> f8

当方法 f3 发生更改时，所有调用 f3 的后续方法及其子方法的行为都可能受到影响，即使它们本身没有改变。不过，根据经验数据分析，可以安全地假设与实际变更有三度分离的部分是安全的，因为 f3 变更的任何后果在测试变更方法及其二度关联的所有方法的功能时就会被发现。

所以，理论上，如果我们能识别并运行涉及方法 f3、f5、f9 和 f8 代码的测试用例，就可以考虑到对 f3 进行修改在可执行文件中造成的变更影响。

2. 生成可执行文件中调用者 - 被调用者函数的调用图

很多有经验的测试人员对静态代码分析工具非常熟悉，但为了生成可靠的调用者 - 被调用者函数图，我们应该使用动态二进制分析（DBA）和插桩工具。