高可信软件的测试与评估
基本信息
批准号：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
基于SSVEP 直接脑控机器人方向和速度研究
基于SSVEP 直接脑控机器人方向和速度研究
DOI：10.16383/j.aas.2016.c150880
发表时间：2016
2
基于公众情感倾向的主题公园评价研究——以哈尔滨市伏尔加庄园为例
基于公众情感倾向的主题公园评价研究——以哈尔滨市伏尔加庄园为例
DOI：
发表时间：2022
3
基于协同表示的图嵌入鉴别分析在人脸识别中的应用
基于协同表示的图嵌入鉴别分析在人脸识别中的应用
DOI：10.3724/sp.j.1089.2022.19009
发表时间：2022
4
一种改进的多目标正余弦优化算法
一种改进的多目标正余弦优化算法
DOI：
发表时间：2019
5
面向工件表面缺陷的无监督域适应方法
面向工件表面缺陷的无监督域适应方法
DOI：
发表时间：2021
蔡开元的其他基金
批准号：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
项目类别：重大研究计划