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

• 作者: 张靖 雷航
• 来源期刊: 微电子学与计算机
• 关键词: 网构软件 可靠性 形式化 演算 模型 简化方法
• 年，卷（期）: 2013,（7）
• 页码范围: 28-32
• 页数: 5页
• 分类号: TP301.2
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	雷航	电子科技大学计算机科学与工程学院	92	1434	17.0	35.0
2	张靖	电子科技大学计算机科学与工程学院	39	255	7.0	15.0