基于模式的程序代码可信性度量方法研究-东篱科研大数据发现系统（DRDS）

位置：立项数据库 > 立项详情页

基于模式的程序代码可信性度量方法研究

项目名称：基于模式的程序代码可信性度量方法研究
项目类别：重大研究计划
批准号：90718016
申请代码：F020202
项目来源：国家自然科学基金
研究期限：2008-01-01-2010-12-01

项目负责人：张路
负责人职称：教授
依托单位：北京大学
批准年度：2007

中文摘要：

软件缺陷是影响软件可信性的重要因素，本项目从缺陷模式的角度研究如何基于缺陷模式分析和提高软件的可信性，并从以下两个方面展开研究1、基于缺陷模式的软件可信性分析，既包括通用缺陷模式（表示为特定的依赖关系），又包括特定缺陷模式（如API使用缺陷和国际化缺陷）；2、针对软件可信性的软件测试，包括研究缺陷制导的测试数据生成以及测试数据的优化。经过三年研究，我们初步揭示了缺陷模式与软件可信性的基本关系，并提出了一系列挖掘缺陷模式和基于缺陷分析软件可信性的技术，并对面向软件可信性的软件测试技术进行了较深入的研究，取得了较好的研究成果。本项目共发表学术论文19篇，其中国际期刊3篇，国内期刊1篇，国际会议14篇（含2篇顶级国际会议工具演示），国内会议1篇。特别是在国际顶级会议上发表研究论文5篇，并有一篇被评为SIGSOFT 优秀论文和大会最佳论文。项目负责人入选2008年教育部新世纪人才计划并获2010年中创软件人才奖和2010年CCF青年科学家奖；一名参与者的博士学位论文获2010年CCF优秀博士学位论文提名奖；一名参与者获2009 年“微软博士生奖学金”和2010年度“博士研究生学术新人奖”。

中文主题词：软件可信性；软件分析；软件缺陷；缺陷模式；软件测试

结论摘要：

英文主题词Software Dependability; Software Analysis; Software Defect; Defect Pattern; Software Testing

成果综合统计