Software debugging, testing, and verification
Software debugging, testing, and verification
复制标题
DOI：
10.1147/sj.411.0004
复制
发表时间：
2002-01-01
影响因子：
--
通讯作者：
Santhanam, P
中科院分区：
文献类型：
--
作者：
Hailpern, B;Santhanam, P
在商业软件开发组织中，产品复杂性的增加、开发周期的缩短以及客户对质量的更高期望使得软件调试、测试和验证领域成为主要的责任。正如本期《IBM系统期刊》所阐述的，在这三个方面，底层技术都有令人兴奋的改进。然而，我们观察到，由于软件开发作为一个整体的非正式性质，行业中流行的实践仍然不成熟，即使在存在改进技术的领域也是如此。此外，包含该技术更先进方面的工具还没有准备好用于大规模的商业用途。因此，我们有理由希望在今后几年内在这方面取得重大进展。
In commercial software development organizations, increased complexity of products, shortened development cycles, and higher customer expectations of quality have placed a major responsibility on the areas of software debugging, testing, and verification. As this issue of the IBM Systems Journal illustrates, there are exciting improvements in the underlying technology on all three fronts. However, we observe that due to the informal nature of software development as a whole, the prevalent practices in the industry are still immature, even in areas where improved technology exists. In addition, tools that incorporate the more advanced aspects of this technology are not ready for large-scale commercial use. Hence there is reason to hope for significant improvements in this area over the next several years.