网构软件可靠性代数模型及简化计算研究

作     者：张靖 雷航 ZHANGJing;LEIHang

作者机构：电子科技大学计算机科学与工程学院四川成都610054 攀枝花学院网络中心四川攀枝花617000 

基　　金：四川省科技项目基金项目(2009F80152) 

出 版 物：《微电子学与计算机》 (Microelectronics & Computer)

年 卷 期：2013年第30卷第7期

页      码：28-32页

摘      要：为了在网络环境下为网构软件提供一致的语法和语义规约并进行可靠性分析,利用抽象代数理论,根据网构软件特征,建立了网构软件形式化代数模型,在此基础上实现了构件组合运算,在定性和定量方面具有演算能力,提出了网构软件系统可靠性计算的简化方法.实验证明,在网构软件的形式化分析基础上建立的模型和提出的可靠性计算方法正确、有效,可以有效地应用于网构软件设计、开发和测试、维护等方面.

主 题 词：网构软件 可靠性 形式化 演算 模型 简化方法 

学科分类：08[工学] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.19304/j.cnki.issn1000-7180.2013.07.007

馆 藏 号：203127305...