Most businesses rely on a significant stack of software to perform their daily operations. This software is business-critical as defects in this software have major impacts on revenue and customer satisfaction. The primary means for verification of this software is testing. We conducted an extensive analysis of Java software packages to evaluate their unit-testability. The results show that code in software repositories is typically split into portions of very trivial code, non-trivial code that is unit-testable, and code that cannot be unit-tested easily. This brings up interesting considerations regarding the use of test coverage metrics and design for testability, which is crucial for testing efficiency and effectiveness. Lack of unit-testability is an obstacle to applying tools that perform automated verification and test generation. These tools cannot make up for poor testability of the code and have a hard time in succeeding or are not even applicable without first improving the design of the software system.

中文翻译：

---

商业软件的可测试性如何？

大多数企业依靠大量软件来执行日常运营。该软件对业务至关重要，因为该软件中的缺陷会对收入和客户满意度产生重大影响。验证该软件的主要方法是测试。我们对 Java 软件包进行了广泛的分析，以评估它们的单元可测试性。结果表明，软件存储库中的代码通常分为非常琐碎的代码、可进行单元测试的非普通代码和无法轻松进行单元测试的代码。这带来了有关使用测试覆盖率指标和可测试性设计的有趣考虑，这对于测试效率和有效性至关重要。缺乏单元可测试性是应用执行自动验证和测试生成的工具的障碍。