系统工程与电子技术
繫統工程與電子技術
계통공정여전자기술
Systems Engineering and Electronics
2015年
11期
2654-2662
,共9页
软件可靠性%系统可靠性%软件结构风格%复杂软件系统
軟件可靠性%繫統可靠性%軟件結構風格%複雜軟件繫統
연건가고성%계통가고성%연건결구풍격%복잡연건계통
software reliability%system reliability%software architecture style%complex software system
针对含有多种结构风格的复杂软件系统,提出一种可靠性评估代数方法.该方法基于软件体系结构代数建模思想,通过分析构件间交互的特点,使用代数范式形式抽象软件的基本结构风格.明确了范式向系统状态空间的映射关系,由此建立可靠性参数计算准则,并实现了系统可靠性评估的完整流程.因为代数语言的高度形式化特征,流程具有结构嵌套处理以及自动完成计算的显著优点.最后通过对一个实际软件系统的可靠性分析,验证了代数方法的适用性与有效性.
針對含有多種結構風格的複雜軟件繫統,提齣一種可靠性評估代數方法.該方法基于軟件體繫結構代數建模思想,通過分析構件間交互的特點,使用代數範式形式抽象軟件的基本結構風格.明確瞭範式嚮繫統狀態空間的映射關繫,由此建立可靠性參數計算準則,併實現瞭繫統可靠性評估的完整流程.因為代數語言的高度形式化特徵,流程具有結構嵌套處理以及自動完成計算的顯著優點.最後通過對一箇實際軟件繫統的可靠性分析,驗證瞭代數方法的適用性與有效性.
침대함유다충결구풍격적복잡연건계통,제출일충가고성평고대수방법.해방법기우연건체계결구대수건모사상,통과분석구건간교호적특점,사용대수범식형식추상연건적기본결구풍격.명학료범식향계통상태공간적영사관계,유차건립가고성삼수계산준칙,병실현료계통가고성평고적완정류정.인위대수어언적고도형식화특정,류정구유결구감투처리이급자동완성계산적현저우점.최후통과대일개실제연건계통적가고성분석,험증료대수방법적괄용성여유효성.
