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

Block-Based Test Data Adequacy Measurement Criteria and Test Complexity Metrics

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

Software testing will continue to be a primary approach for software quality assurance. It is necessary to develop a computer-aided software testing tool to enhance testing efficiency and reduce testing cost. In this paper. On the basis of two developed testing tools for the Visual Basic and C/C++ language respectively, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program-based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, We define four test complexity metrics based on block. Finally, we show Kiviat diagram that makes software quality visible.