基于块的测试充分性度量准则及其测试复杂性度量

摘要：

@@ 1 引言
近年来,计算机已广泛应用于银行、证券、工业控制、医疗、交通、航空、航天等领域.在这样的应用领域中,软件的正确性往往关系到人民生命财产和生态环境的安危.一旦软件发生故障,就可能造成生命财产的巨大损失和生态环境的极大破坏.所以,设计人员和使用人员都希望在将软件系统投入运行之前,能得到系统正确性的保证,或能将系统正确性提高到比较高的程度.以软件测试为中心的软件质量保障技术在软件生产实践中得到了迅速的发展,软件测试已成为软件生产中必不可少的质量保障手段.

机标关键词：基于块、测试充分性、度量准则、复杂性度量、软件质量保障技术、生态环境、软件生产、软件测试、软件系统、应用、生命、人员、工业控制、财产、保障手段、计算机、中心、证券、运行、银行

所属期刊栏目：29

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金60073027

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：141-143