位置:立项数据库 > 立项详情页
基于复杂网络模型的软件可靠性度量与评估方法研究
  • 项目名称:基于复杂网络模型的软件可靠性度量与评估方法研究
  • 项目类别:面上项目
  • 批准号:60973006
  • 申请代码:F020202
  • 项目来源:国家自然科学基金
  • 研究期限:2010-01-01-2012-12-31
  • 项目负责人:蔡开元
  • 负责人职称:教授
  • 依托单位:北京航空航天大学
  • 批准年度:2009
中文摘要:

本项目主要研究软件可靠性(reliability)度量及其评估方法与技术。为了反映软件系统动态行为的复杂性特征,本项目将软件运行过程转化为一种特殊的演化复杂网络,获取软件动态行为信息,提出新的软件可靠性度量,研究软件动态行为是否遵循某种定量规律,以及封闭运行环境下和开放运行环境下的软件可靠性评估问题。主要研究内容包括软件运行过程的网络模型及其度量,软件运行过程网络模型的稳态拓扑结构,基于复杂网络模型的软件故障行为分析及可靠性评估,以及基于复杂网络模型的软件实验研究。

结论摘要:

本项目主要研究软件可靠性度量及其评估方法与技术。为了反映软件系统动态行为的复杂性特征,本项目将软件运行过程转化为一种特殊的演化复杂网络,即软件镜像图。改进了复杂网络的传统度量,并提出了软件复杂性度量、稳定性度量和结构合理性度量等与可靠性相关的网络度量,研究了软件镜像图在软件正确和错误运行的情况下所遵循的定量规律,研究了基于复杂网络度量的软件缺陷定位,提出了一种软件可靠性模型用于软件可靠性评估与预测。本项目搭建了实验平台,开展了大规模可重复的软件实验,实验结果表明了方法的有效性。本项目围绕基于复杂网络的软件可靠性与评估方法研究,开展了软件可靠性与测试、复杂网络基础研究等相关研究。本项目积极开展国内外交流,研究成果发表于多个国际杂志与国际会议,应该说本项目按计划完成研究内容,实现了预期的研究成果。


成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 6
  • 14
  • 0
  • 0
  • 0
相关项目
期刊论文 25 会议论文 16 获奖 1 著作 1
蔡开元的项目
期刊论文 16 会议论文 9 获奖 2
期刊论文 88 会议论文 47