计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2013年
1期
243-249,253
,共8页
软件缺陷%基准行为%故障行为%故障敏感度%故障注入
軟件缺陷%基準行為%故障行為%故障敏感度%故障註入
연건결함%기준행위%고장행위%고장민감도%고장주입
为分析由软件缺陷引发的程序异常行为,首先给出了程序行为的表征方法,并对程序基准行为和故障行为进行定义和形式化描述.在此基础上,提出了能够反映程序故障行为特性的三个量化指标.其次,提出并实现了一种以系统调用为程序状态提取粒度的故障行为分析(PFBA)方法,并以嵌入式基准程序为对象进行故障注入实验以获得上述故障行为特征的各量化指标.实验结果表明,不同故障类型下的程序行为特征存在较大差异,且这些差异主要来源于与嵌入式程序的实现机制、结构特性等相关的固有特性.因此,该故障行为特征及其量化指标能够准确地揭示嵌入式程序运行时的故障行为,为程序开发过程提供了有效的回溯信息.
為分析由軟件缺陷引髮的程序異常行為,首先給齣瞭程序行為的錶徵方法,併對程序基準行為和故障行為進行定義和形式化描述.在此基礎上,提齣瞭能夠反映程序故障行為特性的三箇量化指標.其次,提齣併實現瞭一種以繫統調用為程序狀態提取粒度的故障行為分析(PFBA)方法,併以嵌入式基準程序為對象進行故障註入實驗以穫得上述故障行為特徵的各量化指標.實驗結果錶明,不同故障類型下的程序行為特徵存在較大差異,且這些差異主要來源于與嵌入式程序的實現機製、結構特性等相關的固有特性.因此,該故障行為特徵及其量化指標能夠準確地揭示嵌入式程序運行時的故障行為,為程序開髮過程提供瞭有效的迴溯信息.
위분석유연건결함인발적정서이상행위,수선급출료정서행위적표정방법,병대정서기준행위화고장행위진행정의화형식화묘술.재차기출상,제출료능구반영정서고장행위특성적삼개양화지표.기차,제출병실현료일충이계통조용위정서상태제취립도적고장행위분석(PFBA)방법,병이감입식기준정서위대상진행고장주입실험이획득상술고장행위특정적각양화지표.실험결과표명,불동고장류형하적정서행위특정존재교대차이,차저사차이주요래원우여감입식정서적실현궤제、결구특성등상관적고유특성.인차,해고장행위특정급기양화지표능구준학지게시감입식정서운행시적고장행위,위정서개발과정제공료유효적회소신식.
