计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2008年
27期
87-90,108
,共5页
静态测试%数组越界%语法树%控制流图%整型区间
靜態測試%數組越界%語法樹%控製流圖%整型區間
정태측시%수조월계%어법수%공제류도%정형구간
面向具体故障的软件测试技术是当今一个研究热点.数组越界是Java程序设计中的常见故障,该类故障极易导致计算结果错误或系统崩溃.针对Java语言中常见数组越界故障进行了分析,并从面向具体故障的测试思想出发,建立了Java语言中数组越界的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方法.此方法已实现,并已应用于面向故障的软件测试系统中.
麵嚮具體故障的軟件測試技術是噹今一箇研究熱點.數組越界是Java程序設計中的常見故障,該類故障極易導緻計算結果錯誤或繫統崩潰.針對Java語言中常見數組越界故障進行瞭分析,併從麵嚮具體故障的測試思想齣髮,建立瞭Java語言中數組越界的故障模型,結閤靜態測試的特點,給齣瞭一種靜態查找此類故障的方法.此方法已實現,併已應用于麵嚮故障的軟件測試繫統中.
면향구체고장적연건측시기술시당금일개연구열점.수조월계시Java정서설계중적상견고장,해류고장겁역도치계산결과착오혹계통붕궤.침대Java어언중상견수조월계고장진행료분석,병종면향구체고장적측시사상출발,건립료Java어언중수조월계적고장모형,결합정태측시적특점,급출료일충정태사조차류고장적방법.차방법이실현,병이응용우면향고장적연건측시계통중.