基于多维属性的软件可信性度量模型的研究
基本信息
批准号：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.16285/j.rsm.2019.1280
发表时间：2019
2
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
3
中国参与全球价值链的环境效应分析
中国参与全球价值链的环境效应分析
DOI：10.12062/cpre.20181019
发表时间：2019
4
基于多模态信息特征融合的犯罪预测算法研究
基于多模态信息特征融合的犯罪预测算法研究
DOI：
发表时间：2018
5
基于公众情感倾向的主题公园评价研究——以哈尔滨市伏尔加庄园为例
基于公众情感倾向的主题公园评价研究——以哈尔滨市伏尔加庄园为例
DOI：
发表时间：2022
陈仪香的其他基金
批准号：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
项目类别：面上项目