装甲兵工程学院学报
裝甲兵工程學院學報
장갑병공정학원학보
JOURNAL OF ARMORED FORCE ENGINEERING INSTITUTE
2004年
2期
6-8
,共3页
张威%肖庆%卢庆龄%马雪雁
張威%肖慶%盧慶齡%馬雪雁
장위%초경%로경령%마설안
静态测试%存储泄漏%空指针引用%数组越界
靜態測試%存儲洩漏%空指針引用%數組越界
정태측시%존저설루%공지침인용%수조월계
提出了一种面向故障的软件测试方法,用以检测C程序中坏的存储分配、存储泄漏、空指针引用、数组越界和未初始化变量等5类故障.该方法在词法分析和语法分析的基础上,利用检查点查找算法查找可疑点,通过适当的人工确认,能够有效找出软件中的故障.
提齣瞭一種麵嚮故障的軟件測試方法,用以檢測C程序中壞的存儲分配、存儲洩漏、空指針引用、數組越界和未初始化變量等5類故障.該方法在詞法分析和語法分析的基礎上,利用檢查點查找算法查找可疑點,通過適噹的人工確認,能夠有效找齣軟件中的故障.
제출료일충면향고장적연건측시방법,용이검측C정서중배적존저분배、존저설루、공지침인용、수조월계화미초시화변량등5류고장.해방법재사법분석화어법분석적기출상,이용검사점사조산법사조가의점,통과괄당적인공학인,능구유효조출연건중적고장.
