黑箱条件下的软件测试充分性与揭错能力分析
Software Testing Adequacy and Fault-detecting Ability Analysis for Black-box作者机构：同济大学电子与信息工程学院上海200331
出 版 物：《计算机工程》 (Computer Engineering)
年 卷 期：2001年第27卷第6期
页 面：74-76页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：铁道部科技发展计划基金资助项目
摘 要：在白箱条件下，软件的测试充分性可通过语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖和路径覆盖等方法进行度量。但在黑箱情况下，这些基于程序的覆盖度量方法不再实用，为此提出了基于程序外部特性的测试充分性，即基于功能覆盖的软件测试充分性概念。然而对于一个较复杂的安全性关键软件仅仅满足功能覆盖的软件测试充分性是不够的，应增加安全性扩充测试。经过对黑箱条件下的软件测试技术揭错能力的分析，得出了基于第3方的软件安全性测试技术在理论上有条件发现所有的软件危害故障的结论。
维普期刊数据库
同方期刊数据库