计算机技术与发展
計算機技術與髮展
계산궤기술여발전
COMPUTER TECHNOLOGY AND DEVELOPMENT
2015年
4期
1-5
,共5页
软件失效链%软件错误行为%错误行为分类%属性验证
軟件失效鏈%軟件錯誤行為%錯誤行為分類%屬性驗證
연건실효련%연건착오행위%착오행위분류%속성험증
software failure chain%software error behavior%error behavior classification%attribute verification
目前软件应用广泛,对软件可靠性要求越来越高,研究软件的缺陷—错误—失效过程,提前预防失效的发生,减小软件失效带来的损失是十分必要的。研究描述软件错误行为的属性有助于独一无二地描述不同的错误行为,为建立软件故障模式库、软件故障预测和软件故障注入提供依据。文中基于软件失效链的理论,分析软件缺陷、软件错误和软件失效构成的因果链,由缺陷—错误—失效链之间的因果关系,进一步分析描述各个阶段异常的属性集合之间的联系。以现有的IEEE软件异常分类标准研究成果为基础,通过缺陷属性集合和失效属性集合来推导出错误属性集合,给出一种软件错误行为的分类方法,并给出属性集合以及参考值,选取基于最小相关和最大依赖度准则的属性约简算法进行实验,验证属性的合理性。
目前軟件應用廣汎,對軟件可靠性要求越來越高,研究軟件的缺陷—錯誤—失效過程,提前預防失效的髮生,減小軟件失效帶來的損失是十分必要的。研究描述軟件錯誤行為的屬性有助于獨一無二地描述不同的錯誤行為,為建立軟件故障模式庫、軟件故障預測和軟件故障註入提供依據。文中基于軟件失效鏈的理論,分析軟件缺陷、軟件錯誤和軟件失效構成的因果鏈,由缺陷—錯誤—失效鏈之間的因果關繫,進一步分析描述各箇階段異常的屬性集閤之間的聯繫。以現有的IEEE軟件異常分類標準研究成果為基礎,通過缺陷屬性集閤和失效屬性集閤來推導齣錯誤屬性集閤,給齣一種軟件錯誤行為的分類方法,併給齣屬性集閤以及參攷值,選取基于最小相關和最大依賴度準則的屬性約簡算法進行實驗,驗證屬性的閤理性。
목전연건응용엄범,대연건가고성요구월래월고,연구연건적결함—착오—실효과정,제전예방실효적발생,감소연건실효대래적손실시십분필요적。연구묘술연건착오행위적속성유조우독일무이지묘술불동적착오행위,위건립연건고장모식고、연건고장예측화연건고장주입제공의거。문중기우연건실효련적이론,분석연건결함、연건착오화연건실효구성적인과련,유결함—착오—실효련지간적인과관계,진일보분석묘술각개계단이상적속성집합지간적련계。이현유적IEEE연건이상분류표준연구성과위기출,통과결함속성집합화실효속성집합래추도출착오속성집합,급출일충연건착오행위적분류방법,병급출속성집합이급삼고치,선취기우최소상관화최대의뢰도준칙적속성약간산법진행실험,험증속성적합이성。
Software applications are more important than before. The requirements of reliability are more and more higher. It is very neces-sary to study the process of software defect-error-failure,to prevent failure happened in advance and reduce losses. It is helpful to de-scribe the unique software error behavior and help developers to communicate about this field. It also provides more support with software fault pattern library,software fault detection and fault injection. Based on software failure chain theory,analyze the causal chain of soft-ware defect-error-failure,further analyzing and describing each stage abnormal relationships between attributes sets. Based on the existing IEEE software anomaly classification standard,give out software error attributes sets and reference values and a way to classify error be-haviors. Verify rationality of attributes by the attribute reduction algorithm of minimal mutual information and maximal dependency.