第１８卷第２期２０１０年２月
光学精密工程
ＯｐｔｉｃｓａｎｄＰｒｅｃｉｓｉｏｎＥｎｇｉｎｅｅｒｉｎｇ
Ｖ０１．１８ＮＯ．２
Ｆｅｂ．２０１０
文章编号１００４—９２４Ｘ（２０ＬＯ）０２—０４８５—０６
基于体系结构的软件可靠性评估
魏颖１’２“，张波２一，李丽２”，沈湘衡２，陈媛２”，张格非４
（１．北华大学计算机学院，吉林吉林１３２０００；
２．中国科学院长春光学精密机械与物理研究所，吉林长春１３００３３；３．中国科学院研究生院，北京１００３９０；
４．中国科学院研究生院信息安全国家重点实验室，北京１０００４９）
摘要：对软件可靠性评估的重要工具之一——基于体系结构的可靠性模型进行了实验验证。为了准确地分析软件模块间的调用关系并估算模块的可靠度，首先，依据评估方式的不同将基于体系结构的软件可靠性模型划分为合成型与分级型两类；然后，对软件体系结构的确定与软件模块的划分进行了分析，并阐述了模块可靠度和模块问转移概率的估算方法与步骤；最后，对某地面目标模拟源主控系统软件进行了实例分析。结果表明，实验系统的确定可靠度值为０．９３８，而合成型、分级型模型估计值分别为０．９７２和０．９６９，由此验证了两种模型的可应用性，为工程应用中实施基于体系结构的软件可靠性评估提供了参考。
关键词：软件可靠性；基于体系结构的模型；软件可靠性评估
中圈分类号：ＴＰ３１１．５文献标识码：Ａ
Ａｒｃｈｉｔｅｃｔｕｒｅ－ｂａｓｅｄｓｏｆｔｗａｒｅｒｅｌｉａｂｉｌｉｔｙｅｖａｌｕａｔｉｏｎＷＥＩＹｉｎ９１＇２“，ＺＨＡＮＧＢ０２”，ＬＩＬｉ２“，ＳＨＥＮＸｉａｎｇ—ｈｅｎ９２，ＣＨＥＮＹｕａｎ２”，ＺＨＡＮＧＧｅ－ｆｅｉ４
（１．ＣｏｍｐｕｔｅｒＩｎｓｔｉｔｕｔｅｏｆＢｅｉｈｕａＵｎｉｖｅｒｓｉｔｙ，Ｊｉｌｉｎ１３２０１３，Ｃｈｉｎａ；２．ＣｈａｎｇｃｈｕｎＩｎｓｔｉｔｕｔｅ
ｏｆＯｐｔｉｃｓ，ＦｉｎｅＭｅｃｈａｎｉｃｓａｎｄＰｈｙｓｉｃｓ，ＣｈｉｎｅｓｅＡｃａｄｅｍｙｏｆＳｃｉｅｎｃｅｓ，Ｃｈａｎｇｃｈｕｎ１３００３３，Ｃｈｉｎａ；
３．ＧｒａｄｕａｔｅＵｎｉｖｅｒｓｉｔｙｏｆＣｈｉｎｅｓｅＡｃａｄｅｍｙｏｆＳｃｉｅｎｃｅｓ，Ｂｅｉｊｉｎｇ１０００４９，Ｃｈｉｎａ；
４．ＳｔａｔｅＫｅｙＬａｂｏｒａｔｏｒｙｏｆＩｎｆｏｒｍａｔｉｏｎＳｅｃｕｒｉｔｙ，ＣｈｉｎｅｓｅＡｃａｄｅｍｙｏｆＳｃｉｅｎｃｅ，Ｂｅｉｊｉｎｇ１０００４９，Ｃｈｉｎａ）
Ａｂｓｔｒａｃｔ：Ａｒｃｈｉｔｅｃｔｕｒｅ－ｂａｓｅｄｒｅｌｉａｂｉｌｉｔｙｍｏｄｅｌｓｆｏｒｔｈｅｓｏｆｔｗａｒｅｒｅｌｉａｂｉｌｉｔｙｅｖａｌｕａｔｉｏｎａｒｅｔｅｓｔｅｄａｎｄｖｅｒｉｆｉｅｄｉｎｔｈｉｓｐａｐｅｒ．Ｔｏａｎａｌｙｚｅｔｈｅｆａｉｌｕｒｅｂｅｈａｖｉｏｒａｎｄｔｈｅｒｅｌａｔｉｏｎｓｈｉｐｂｅｔｗｅｅｎｓｏｆｔｗａｒｅｍｏｄｕｌｅｓｐｒｅｃｉｓｅｌｙ，ｔｈｅａｒｃｈｉｔｅｃｔｕｒｅ－ｂａｓｅｄｍｏｄｅｌｓａｒｅｃｌａｓｓｉｆｉｅｄａｓａｃｏｍｐｏｓｉｔｅｔｙｐｅａｎｄａｈｉｅｒａｒｃｈｙｔｙｐｅａｃｃｏｒｄ—ｉｎｇｔＯｔｈｅｄｉｆｆｅｒｅｎｔｅｖａｌｕａｔｉｏｎｍｅｔｈｏｄｓ．Ｔｈｅｎ，ｈｏｗｔｏｄｅｔｅｒｍｉｎｅ晶ｅｓｏｆｔｗａｒｅａｒｃｈｉｔｅｃｔｕｒｅａｎｄｔｏｄｉ－ｖｉｄｅｔｈｅｓｏｆｔｗａｒｅｍｏｄｅｌｓｉＳｄｉｓｃｃｕｓｓｅｄａｎｄｔｈｅｅｓｔｉｍａｔｉｏｎｍｅｔｈｏｄｓａｎｄｐｒｏｃｅｓｓｅｓｆｏｒｓｏｆｔｗａｒｅｒｅｌｉａｂｉｌｉ－ｔｙ
ａｎｄｔｒａｎｓｆｅｒｒｉｎｇｐｒｏｂａｌｉｌｉｔｉｅｓｂｅｔｗｅｅｎｔｈｅｓｏｆｔｗａｒｅｓａｒｅｇｉｖｅｎ．Ａｃｏｎｔｒｏｌｓｏｆｔｗａｒｅｆｏｒａｇｒｏｕｎｄｔａｒ—ｇｅｔ
ｉｓａｎａｌｙｚｅｄａｎｄｖｅｒｉｆｉｅｄ，ｒｅｓｕｌｔｓｉｎｄｉｃａｔｅｔｈａｔｔｈｅａｓｓｅｓｓｉｎｇｖａｌｕｅｏｆｃｏｍｐｏｓｉｔｅａｎｄｈｉｅｒａｒｃｈｉｃａｌｍｏｄ—ｅｌｓａｒｅ０．９７２ａｎｄ０．９６９，ｒｅｓｐｅｃｔｉｖｅｌｙ，ｗｈｉｃｈｉＳｃｌｏｓｅｄｔｏｔｈｅａｃｔｕａｌｒｅｌｉａｂｉｌｉｔｙｏｆ０．９３８．Ｔｈｅｍｅｔｈｏｄｃａｎｐｒｏｖｉｄｅａｒｅｆｅｒｅｎｃｅｓｆｏｒｔｈｅｉｍｐｌｅｍｅｎｔａｔｉｏｎｏｆａｒｃｈｉｔｅｃｔｕｒｅ－ｂａｓｅｄｓｏｆｔｗａｒｅｒｅｌｉａｂｉｌｉｔｙｅｖａｌｕａｔｉｏｎ．
Ｋｅｙｗｏｒｄｓ：ｓｏｆｔｗａｒｅｒｅｌｉａｂｉｌｉｔｙ；ａｒｃｈｉｔｅｃｔｕｒｅ－ｂａｓｅｄｍｏｄｅｌ；ｓｏｆｔｗａｒｅｒｅｌｉａｂｉｌｉｔｙｅｖａｌｕａｔｉｏｎ
收稿日期：２００８－０８－２６：修订日期：２００８—１１—１０．
基金项目：国家８６３高技术研究发展计划资助项目（Ｎｏ．２００７ＡＡ７０３１１２）
万方数据