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

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

样本集充分性度量数据建模与软件设计

分析了充分性度量的基本数据类型,建立了数据关联模型。模型详细描述了故障模式、功能、结构单元和测试项目等数据之间的复杂关联关系。在此基础上开发了样本集充分性度量软件,给出了软件的功能和数据库结构设计,阐述了充分性度量的算法流程。通过案例应用验证了算法的正确性,同时表明该软件可大大提高工作效率。

软件测试充分性模糊决策方法研究及应用

通过GQM范式建立了软件充分性度量指标体系,阐述了指标体系中各种模糊因素的模糊数学处理方法,构造出测试充分性模糊决策模型,有效解决了测试充分性难以定量评价问题,在很大程度上提高了软件测试过程质量判断和决策的准确度和可信度,并以一个实例验证了该方法的可行性。