高可信软件的测试与评估
基本信息
批准号：60633010
项目类别：联合基金项目
资助金额：200.00
负责人：蔡开元
学科分类：
依托单位：北京航空航天大学
批准年份：2006
结题年份：2010
起止时间：2007-01-01 - 2010-12-31
项目状态： 已结题
项目参与者：徐宝文,焦莉,白成刚,聂长海,周晓宇,许蕾,殷蓓蓓,李闻喜
关键词：
软件测试可信计算机器学习软件可靠性形式化验证
结项摘要
软件可靠性测试与评估是可信计算的核心组成部分，存在许多关键问题亟待解决，譬如测试与评估未能一体化，缺乏统一的理论基础，缺乏坚实的实验基础。而Internet等网络计算的出现使得这些问题更为尖锐。本项目以无界网络、分布式计算和可信计算为背景，研究保证和提高软件可靠性的关键技术手段，着重研究高可信软件的测试与评估的理论、方法、技术、及其应用，包括程序分析与软件测试方法、高可信软件的可靠性评估、以及无界
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
新型树启发式搜索算法的机器人路径规划
新型树启发式搜索算法的机器人路径规划
DOI：10.3778/j.issn.1002-8331.1903-0411
发表时间：2020
2
现代优化理论与应用
现代优化理论与应用
DOI：10.1360/SSM-2020-0035
发表时间：2020
3
出租车新运营模式下的LED广告精准投放策略
出租车新运营模式下的LED广告精准投放策略
DOI：10.16381/j.cnki.issn1003-207x.2020.10.022
发表时间：2020
4
基于自适应干扰估测器的协作机器人关节速度波动抑制方法
基于自适应干扰估测器的协作机器人关节速度波动抑制方法
DOI：10.13973/j.cnki.robot.210412
发表时间：2022
5
空中交通延误预测研究综述
空中交通延误预测研究综述
DOI：10.12305/j.issn.1001-506x.2022.03.19
发表时间：2022
蔡开元的其他基金
批准号：91018001
批准年份：2010
资助金额：50.00
项目类别：重大研究计划
批准号：60274057
批准年份：2002
资助金额：5.00
项目类别：面上项目
批准号：60474006
批准年份：2004
资助金额：22.00
项目类别：面上项目
批准号：61272164
批准年份：2012
资助金额：80.00
项目类别：面上项目
批准号：69104004
批准年份：1991
资助金额：4.00
项目类别：青年科学基金项目
批准号：60973006
批准年份：2009
资助金额：35.00
项目类别：面上项目
相似国自然基金
1
可信软件测试和可信性评估研究
批准号：90718037
批准年份：2007
负责人：杨善林
学科分类：G0103
资助金额：50.00
项目类别：重大研究计划
2
基于测试的软件可信性增长模型及其评估方法研究
批准号：90718018
批准年份：2007
负责人：刘超
学科分类：F0203
资助金额：50.00
项目类别：重大研究计划
3
可信软件的度量与测试方法研究
批准号：91418202
批准年份：2014
负责人：徐宝文
学科分类：F0203
资助金额：170.00
项目类别：重大研究计划
4
面向软件可信性演进的软件测试技术研究
批准号：90818027
批准年份：2008
负责人：徐宝文
学科分类：F0203
资助金额：260.00
项目类别：重大研究计划