可信软件风险多层次综合管理技术
结题报告
批准号:
90718021
项目类别:
重大研究计划
资助金额:
50.0 万元
负责人:
许满武
依托单位:
学科分类:
F0203.软件理论、软件工程与服务
结题年份:
2010
批准年份:
2007
项目状态:
已结题
项目参与者:
李千目、杨献春、张琨、朱怀宏、胡方炜、王小民、张雄、刘志军、陈宏兵
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点,提供专业选题建议
深度指导申报书撰写,确保创新可行
指导项目中标800+,快速提高中标率
客服二维码
微信扫码咨询
中文摘要
本课题关注导致软件失效和系统发生灾难性事件的风险,通过研究避错、容错、排错和预测技术在软件开发过程中不同阶段的应用,构造软件的风险评估的完整方案。具体技术包括:1、基于增长曲线模型与正交风险分类的可信软件避错技术;2、融合重要性取样原理和防危分析理论的可信软件排错技术;3、基于贝叶斯网络的可信软件风险预测技术;4、基于多决策标杆管理的可信软件风险修正(容错)技术。并研究上述技术在软件需求分析、设计
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
DOI:--
发表时间:--
期刊:计算机科学
影响因子:--
作者:徐建;许满武;严悍;李千目;XU Jian1,2 XU Man-wu2 YAN Han1 LI Qian-mu1,2(State
通讯作者:XU Jian1,2 XU Man-wu2 YAN Han1 LI Qian-mu1,2(State
DOI:--
发表时间:--
期刊:计算机应用研究, 2009,26(03):920-923
影响因子:--
作者:
通讯作者:
A Novel Dependable System Security Risk Diagnosis Method
一种新型可靠的系统安全风险诊断方法
DOI:10.4028/www.scientific.net/kem.439-440.623
发表时间:2010-06
期刊:Key Engineering Materials
影响因子:--
作者:
通讯作者:
DOI:10.4028/www.scientific.net/kem.439-440.208
发表时间:2010-06
期刊:Key Engineering Materials
影响因子:--
作者:
通讯作者:
DOI:--
发表时间:--
期刊:计算机科学.2010,37(5):112-114-142.
影响因子:--
作者:
通讯作者:
计算系统的软件抗衰与自愈技术研究
  • 批准号:
    60273035
  • 项目类别:
    面上项目
  • 资助金额:
    22.0万元
  • 批准年份:
    2002
  • 负责人:
    许满武
  • 依托单位:
基于Java/CORBA的可视化对象建模研究
  • 批准号:
    69973020
  • 项目类别:
    面上项目
  • 资助金额:
    13.0万元
  • 批准年份:
    1999
  • 负责人:
    许满武
  • 依托单位:
非标准合一的理论及应用
  • 批准号:
    69573015
  • 项目类别:
    面上项目
  • 资助金额:
    7.0万元
  • 批准年份:
    1995
  • 负责人:
    许满武
  • 依托单位:
合一理论及其在知识推理描述语言实现中的应用
  • 批准号:
    69273010
  • 项目类别:
    面上项目
  • 资助金额:
    5.0万元
  • 批准年份:
    1992
  • 负责人:
    许满武
  • 依托单位:
国内基金
海外基金