| 网构软件可靠性代数模型及简化计算研究 |
| |
| 引用本文： | 张靖,雷航.网构软件可靠性代数模型及简化计算研究[J].微电子学与计算机,2013(7). |
| |
| 作者姓名： | 张靖 雷航 |
| |
| 作者单位： | 1. 电子科技大学计算机科学与工程学院，四川成都610054; 攀枝花学院网络中心，四川攀枝花 617000
2. 电子科技大学计算机科学与工程学院,四川成都,610054 |
| |
| 基金项目： | 四川省科技项目基金项目 |
| |
| 摘 要： | 为了在网络环境下为网构软件提供一致的语法和语义规约并进行可靠性分析，利用抽象代数理论，根据网构软件特征，建立了网构软件形式化代数模型，在此基础上实现了构件组合运算，在定性和定量方面具有演算能力，提出了网构软件系统可靠性计算的简化方法。实验证明，在网构软件的形式化分析基础上建立的模型和提出的可靠性计算方法正确、有效，可以有效地应用于网构软件设计、开发和测试、维护等方面。
|
| 关 键 词： | 网构软件 可靠性 形式化 演算 模型 简化方法 |
Research on the Alegbra Model and the Method of Simplified Calculating of Internetware Reliability |
| |
| ZHANGJing
,
LEIHang.Research on the Alegbra Model and the Method of Simplified Calculating of Internetware Reliability[J].Microelectronics & Computer,2013(7). |
| |
| Authors: | ZHANGJing LEIHang |
| |
| Abstract: | |
| |
| Keywords: | internetware reliability formalization calculus model simplified method |
| 本文献已被 万方数据 等数据库收录！ |
