摘要： 在白箱条件下，软件的测试充分性可通过语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖和路径覆盖等方法进行度量。但在黑箱情况下，这些基于程序的覆盖度量方法不再实用，为此提出了基于程序外部特性的测试充分性，即基于功能覆盖的软件测试充分性概念。然而对于一个较复杂的安全性关键软件仅仅满足功能覆盖的软件测试充分性是不够的，应增加安全性扩充测试。经过对黑箱条件下的软件测试技术揭错能力的分析，得出了基于第3方的软件安全性测试技术在理论上有条件发现所有的软件危害故障的结论。

关键词: 黑箱, 软件测试, 充分性, 揭错能力, 安全性

Abstract: In the condition of white-box, the adequacy of software testing can be measured by sentence coverage, distinguish coverage, condition coverage, distinguish/condition coverage, route coverage and so on. But these coverage metrics methods based on program can not be applied in the condition of black-box. Therefor this paper puts foreword a concept of software testing adequacy based on outside attributes, that is on the function coverage. However it is not enough that a more complex safety-critical software only meet the software testing adequacy of function coverage, it should add the safety extension testing. After analyzing the fault-detecting ability of software testing technique in the black-box condition, the conclusion that the software safety testing technique based on the independent assessment organization have the condition to find more software hazard faults in theory.

中图分类号: 

• TP311.5