诊断Java代码: 单元测试与自动化代码分析协同工作
诊断Java代码: 单元测试与自动化代码分析协同工作2011-02-12 IBM Eric E. Allen支持静态分析(包括类型检查)的主要论据是:其结果适用程序所有可能的运行,而通过单元测试只能保证被测试的组件(在测试它们的平台上)只适用测试组件的特定输入。支持单元测试的主要论据是它更容易处理。您可以测试程序的许多约束,这些约束远远超出了同期的静态分析工具所能达到的范围。请允许我在此冒昧地说一句:我认为将这两种工具看作对立的是一个错误。每种工具都有助于...