微计算机信息
微計算機信息
미계산궤신식
CONTROL & AUTOMATION
2007年
31期
145-147
,共3页
叶焰锋%叶俊民%詹泽梅%雷志翔
葉燄鋒%葉俊民%詹澤梅%雷誌翔
협염봉%협준민%첨택매%뢰지상
软件测试%数组越界%故障模型
軟件測試%數組越界%故障模型
연건측시%수조월계%고장모형
数组越界是C程序中的常见故障,该类故障可能造成系统的崩溃.首先针对常见的数组越界故障进行了分析,提出了检测数组越界的判定准则,建立了故障模型.根据该故障模型,采用程序控制流图和路径条件,并结合静态分析思想,给出了可有效地检测出程序中存在的数组越界故障的方法.最后通过实例分析了该方法的应用过程.
數組越界是C程序中的常見故障,該類故障可能造成繫統的崩潰.首先針對常見的數組越界故障進行瞭分析,提齣瞭檢測數組越界的判定準則,建立瞭故障模型.根據該故障模型,採用程序控製流圖和路徑條件,併結閤靜態分析思想,給齣瞭可有效地檢測齣程序中存在的數組越界故障的方法.最後通過實例分析瞭該方法的應用過程.
수조월계시C정서중적상견고장,해류고장가능조성계통적붕궤.수선침대상견적수조월계고장진행료분석,제출료검측수조월계적판정준칙,건립료고장모형.근거해고장모형,채용정서공제류도화로경조건,병결합정태분석사상,급출료가유효지검측출정서중존재적수조월계고장적방법.최후통과실례분석료해방법적응용과정.
