计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2001年
6期
74-76
,共3页
黑箱%软件测试%充分性%揭错能力%安全性
黑箱%軟件測試%充分性%揭錯能力%安全性
흑상%연건측시%충분성%게착능력%안전성
在白箱条件下,软件的测试充分性可通过语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖和路径覆盖等方法进行度量.但在黑箱情况下,这些基于程序的覆盖度量方法不再实用,为此提出了基于程序外部特性的测试充分性,即基于功能覆盖的软件测试充分性概念.然而对于一个较复杂的安全性关键软件仅仅满足功能覆盖的软件测试充分性是不够的,应增加安全性扩充测试.经过对黑箱条件下的软件测试技术揭错能力的分析,得出了基于第3方的软件安全性测试技术在理论上有条件发现所有的软件危害故障的结论.
在白箱條件下,軟件的測試充分性可通過語句覆蓋、判定覆蓋、條件覆蓋、判定/條件覆蓋和路徑覆蓋等方法進行度量.但在黑箱情況下,這些基于程序的覆蓋度量方法不再實用,為此提齣瞭基于程序外部特性的測試充分性,即基于功能覆蓋的軟件測試充分性概唸.然而對于一箇較複雜的安全性關鍵軟件僅僅滿足功能覆蓋的軟件測試充分性是不夠的,應增加安全性擴充測試.經過對黑箱條件下的軟件測試技術揭錯能力的分析,得齣瞭基于第3方的軟件安全性測試技術在理論上有條件髮現所有的軟件危害故障的結論.
재백상조건하,연건적측시충분성가통과어구복개、판정복개、조건복개、판정/조건복개화로경복개등방법진행도량.단재흑상정황하,저사기우정서적복개도량방법불재실용,위차제출료기우정서외부특성적측시충분성,즉기우공능복개적연건측시충분성개념.연이대우일개교복잡적안전성관건연건부부만족공능복개적연건측시충분성시불구적,응증가안전성확충측시.경과대흑상조건하적연건측시기술게착능력적분석,득출료기우제3방적연건안전성측시기술재이론상유조건발현소유적연건위해고장적결론.
