基于多维属性的软件可信性度量模型的研究
基本信息
批准号：90718013
项目类别：重大研究计划
资助金额：50.00
负责人：陈仪香
学科分类：
依托单位：华东师范大学
批准年份：2007
结题年份：2010
起止时间：2008-01-01 - 2010-12-01
项目状态： 已结题
项目参与者：朱洪,杜育根,刘献忠,张敏,卜天明,张琚阳,周洁,马艳芳,汤银才
关键词：
近似算法与近似正确软件可信性软件多维属性可信性度量模型
结项摘要
软件可信性的研究是计算机科学发展的前沿性和前瞻性研究。软件的正确性、可靠性、安全性以及可控性等软件性质构成了软件可信性的多维属性，以多维属性为整体探讨它与软件可信性的内在联系，以及建立依赖于这多维属性的软件可信性度量模型是具有重要的科学意义和实际意义，其研究成果必将推动软件的可信性研究和可信软件业的发展。.本项目的研究主要内容是：1）基于软件可信性的多维属性观察、研究软件可信性与这些属性的内在联系
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
一种基于多层设计空间缩减策略的近似高维优化方法
一种基于多层设计空间缩减策略的近似高维优化方法
DOI：10.1051/jnwpu/20213920292
发表时间：2021
2
二维FM系统的同时故障检测与控制
二维FM系统的同时故障检测与控制
DOI：10.16383/j.aas.c180673
发表时间：2021
3
扶贫资源输入对贫困地区分配公平的影响
扶贫资源输入对贫困地区分配公平的影响
DOI：
发表时间：2020
4
出租车新运营模式下的LED广告精准投放策略
出租车新运营模式下的LED广告精准投放策略
DOI：10.16381/j.cnki.issn1003-207x.2020.10.022
发表时间：2020
5
基于直观图的三支概念获取及属性特征分析
基于直观图的三支概念获取及属性特征分析
DOI：10.3778/j.issn.1673-9418.2104120
发表时间：
陈仪香的其他基金
批准号：60673117
批准年份：2006
资助金额：26.00
项目类别：面上项目
批准号：61370100
批准年份：2013
资助金额：73.00
项目类别：面上项目
批准号：69873034
批准年份：1998
资助金额：8.00
项目类别：面上项目
批准号：60273052
批准年份：2002
资助金额：20.00
项目类别：面上项目
相似国自然基金
1
航空嵌入式软件可信性度量模型研究
批准号：90818017
批准年份：2008
负责人：张莉
学科分类：F0203
资助金额：50.00
项目类别：重大研究计划
2
基于软件缺陷预测的软件可信性度量方法研究
批准号：90718024
批准年份：2007
负责人：宋擒豹
学科分类：F0203
资助金额：50.00
项目类别：重大研究计划
3
基于网络环境的软件可信性建模与度量研究
批准号：90818021
批准年份：2008
负责人：吴世忠
学科分类：F0203
资助金额：260.00
项目类别：重大研究计划
4
基于软件网络的可信性度量体系研究及其分析工具的实现
批准号：60973022
批准年份：2009
负责人：赵海
学科分类：F0203
资助金额：29.00
项目类别：面上项目