| 【项目名称】 |
高可信软件的测试与评估 |
| 【项目编号】 |
60633010 |
| 【项目目标】 |
研究在无界网络和分布式计算技术的支持下高可信软件的数学理论和开发技术，主要研究内容包括：（1）基于多种相关信息（软件体系结构、形式化验证结果、测试数据等）的软件可靠性模型和评估技术；（2）软件可信性度量理论和可信软件方法学；（3）软件可生存性策略设计方法以及可生存软件的规范理论、需求分析和设计方法。 |
| 【项目关键词】 |
可信计算 软件 软件方法学 度量理论 软件可靠性模型 规范理论 形式化验证 软件可信性 可生存性 无界 数学理论 需求分析 软件体系结构 测试数据 相关信息 开发技术 计算技术 和分布 生存 网络 |
| 【项目承办单位】 |
北京航空航天大学 |
| 【项目负责人】 |
蔡开元 |
| 【项目来源】 |
国家自然科学基金项目 |
| 【涉及学科】 |
计算机软件及计算机应用 |
| 【科研经费】 |
200万 |
| 【所属大项目】 |
|
| 【项目参与研究人员】 |
|
| 【项目参与研究机构】 |
|
| 【项目成果摘要】 |
|
| 【发布单位】 |
国家自然科学基金委员会 |
| 【发布时间】 |
2005-12-30 |
| 【申请截止时间】 |
2006-03-27 |
| 【立项时间】 |
2007-01 |
| 【完成时间】 |
2010-12 |
| 【申请条件】 |
|
| 【联系方式】 |
|
| 【项目信息来源】 |
http://www.nsfc.gov.cn/nsfc/cen/xmzn/2006xmzn/06lh/102.htm |