Software debugging, testing, and verification

B Hailpern, P Santhanam - IBM Systems Journal, 2002 - ieeexplore.ieee.org
IBM Systems Journal, 2002ieeexplore.ieee.org
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 …
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.
ieeexplore.ieee.org
以上显示的是最相近的搜索结果。 查看全部搜索结果