（工作分析）诊断J代码单元测试与自动化代码分析协同工作.pdfVIP

（工作分析）诊断J 代码单 元测试与自动化代码分析 协同工作 诊断 Java 代码：单元测试和自动化代码分析协同工作 文章出处：DevelopWorks 作者：转载发布时间：2005-10-19 单元测试和静态分析通常被见作是有助于确保程序的正确性的互不相干的方法。 本文研究了这俩种方法之间的关系，且讨论了构成每种方法工作构架的工具如何 相得益彰。特别地，EricAllen 讨论了壹些可用而又令人兴奋的新应用程序，这 些应用程序允许您进壹步提升您的单元测试。 这是壹场古老的争论—哪种方法对产生健壮代码更有价值：测试仍是静态分析和 验证？您会于程序员的日常工作中听到这种争论，尤其是于极端编程 （ExtremeProgramming）论坛上。（请参阅我们由RoyMiller 主持的 XP 论坛。） 支持静态分析（包括类型检查）的主要论据是：其结果适用程序所有可能的运行， 而通过单元测试只能保证被测试的组件（于测试它们的平台上）只适用测试组件 的特定输入。 支持单元测试的主要论据是它更容易处理。您能够测试程序的许多约束，这些约 束远远超出了同期的静态分析工具所能达到的范围。 请允许我于此冒昧地说壹句：我认为将这俩种工具见作对立的是壹个错误。每种 工具均有助于构建更健壮的程序。实际上，它们能够通过非常强大的方式进行互 补。 每种工具均有各自的长处，对于补充另壹种工具特别有用： • 单元测试能显示执行的常用路径，从而显示程序是如何运行的。 • 分析工具能检查单元测试提供的覆盖范围。 让我们研究这其中的每个属性，且讨论壹些可帮助您将其长处带给其它方法的工 具。 显示常用执行路径的单元测试 单元测试套件提供了程序组件的示例用法的稳固基础。通过检查测试运行时程序 是如何运作的，分析工具能够就开发人员希望于程序中保持的不变量进行试探性 推测（就和程序员阅读单元测试所做的壹样）。 仍有另壹种方法，其中单元测试能够是壹种可执行的文档形式。于从单元测试的 运行中从特殊到壹般地推断出推测性不变量之后，分析工具能够尝试从壹般到特 殊地验证不变量的存于，或者它能够利用可于运行时检查的断言注释该代码。 于任何壹种情况下，于该工具做任何其它工作之前，最好向用户返回推测的不变 量集的方案，以询问用户真正想要哪些不变量。顺便提壹下，如果此类工具向用 户方案了许多他们不想要的不变量，这可能是单元测试出了问题的信号—例如， 它们不够壹般。 可用这种方式和单元测试壹起使用的工具是Daikon ，它是壹款来自MIT 的 MikeErnst 的程序分析小组的免费的、试验性的工具。Daikon 分析程序的运行（例 如单元测试的运行），且尝试推测不变量。然后它询问用户是否想要这些不变量， 且将用户想要的不变量作为断言插入程序。 例如，假定我们编写壹个向量（Vector ）的适配器，该适配器实现接口Sequence ， 该接口包含用于检索元素的方法 lookup 和用于将元素放于向量末尾的方法 insert 。方法lookup 带有壹个索引 i ，用来访问它所包含的向量。 假定该数组的长度存储于字段 length 中。通过维护适配器中的长度，我们能够 不通知向量本身就将元素从其尾部删除。 让我们为这个假想的简单适配器编写壹个简单的测试用例： 清单 1.向量容器中简单查找方法的测试用例 importjunit.framework.TestCase; publicclassVectorAdapterTestextendsTestCase{ publicVectorAdapterTest(Stringname){ super(name); } publicvoidtestLookupAndInsert(){ VectorAdapterv=newVectorAdapter(); v.insert(this); v.insert(is); v.insert(a); v.insert(test); assertEquals(Retrievedandinsertedelementsdontmatch, a, v.lookup(2)); } } 然后我们能够实现我们的适配器以通过这个测试，如下所示： 清单 2.类VectorAdapter importjava.util.Vector; publicclassVectorAdapterimplementsSequence{ privateVectorvalues=newVector(); privat