欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
位置：立项数据库 > 立项详情页
中文摘要：
围绕项目的研究内容、预期目标以及国家自然科学基金提倡的原则开展研究工作，总结如下在科学研究方面，1）采用证据理论和效用理论，建立基于多维可信属性的软件可信性评估模型，分别从可信性评估数据的可靠性、相关性等角度，研究可信性评估模型的优化方法；2）给出可信属性关联度及关联矩阵的概念，研究建立面向软件演化的可信性评估动态模型；3）采用信度分配函数表示可信证据，研究软件可信性评估中的多源可信证据的融合方法与推理机制，建立主客观置信可信证据的一致构建框架；4）采用统计假设理论和线性搜索算法，研究软件可信性测试需求的二次约简方法，并给出软件可信性自动测试代价与风险控制方法；5）研究了金属液态智能检测软件、轿车开发项目管理软件及医院信息系统中复杂的可信性评估问题，将研究理论应用到这些实际项目的开发过程中。在论著和获奖方面，在国内外学术会议、核心学术期刊上共发表论文37篇，其中被SCI检索4篇，被EI检索19篇；获国家科技进步奖二等奖1项、教育部自然科学奖一等奖1项、安徽省科技进步奖一等奖1项。在人才培养方面，项目支持了8名博士和12名硕士研究生，有6名博士和10名硕士取得学位。
结论摘要：
英文主题词software trustworthiness;dynamic evaluation;multi-Agent model;trustworthiness evidence;automatic test
成果综合统计
期刊论文
会议论文
专利
获奖
著作
期刊论文
相关项目
杨善林的项目
