计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
1999年
4期
437-441
,共5页
软件测试%软件可靠性%数据流%测试准则
軟件測試%軟件可靠性%數據流%測試準則
연건측시%연건가고성%수거류%측시준칙
软件测试充分性准则的复杂性分析对于测试效率的分析和比较具有重要意义,对于测试充分性准则使用具有指导意义.Weyuker于1984年提出了Rapps-Weyuker的all-uses,all-p-uses/some-c-uses,all-c-uses/some-p-uses和all-p-uses准则的复杂性上界,于1988年又提出可应用数据流测试准则.我们发现原有测试复杂度在可应用家族中应用出现问题,本文就此问题给出注记.
軟件測試充分性準則的複雜性分析對于測試效率的分析和比較具有重要意義,對于測試充分性準則使用具有指導意義.Weyuker于1984年提齣瞭Rapps-Weyuker的all-uses,all-p-uses/some-c-uses,all-c-uses/some-p-uses和all-p-uses準則的複雜性上界,于1988年又提齣可應用數據流測試準則.我們髮現原有測試複雜度在可應用傢族中應用齣現問題,本文就此問題給齣註記.
연건측시충분성준칙적복잡성분석대우측시효솔적분석화비교구유중요의의,대우측시충분성준칙사용구유지도의의.Weyuker우1984년제출료Rapps-Weyuker적all-uses,all-p-uses/some-c-uses,all-c-uses/some-p-uses화all-p-uses준칙적복잡성상계,우1988년우제출가응용수거류측시준칙.아문발현원유측시복잡도재가응용가족중응용출현문제,본문취차문제급출주기.
