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

基本信息
批准号：90718016
项目类别：重大研究计划
资助金额：50.00
负责人：张路
学科分类：
依托单位：北京大学
批准年份：2007
结题年份：2010
起止时间：2008-01-01 - 2010-12-01
项目状态： 已结题
项目参与者：孙家骕,李戈,孙平,郝丹,钟浩,侯姗姗,王啸吟,李合,刘石
关键词：
软件可信性软件度量程序分析
结项摘要

本项目旨在研究一种基于模式的程序代码可信性度量方法，具体研究内容包括：（1）研究缺陷模式的挖掘算法，从已知的程序代码缺陷中挖掘缺陷模式；（2）研究缺陷模式的规约语言，对挖掘出来的缺陷模式进行描述；（3）基于缺陷模式的规约语言，研究缺陷模式的描述方法，以及待度量程序代码片断中缺陷模式的匹配；（4）研究基于模式的程序代码可信性度量模型以及相应的建模方法，以程序代码中与缺陷模式匹配的代码片断为基础，通过

项目摘要

项目成果
{{index+1}}

{{i.achievement_title}}

{{i.achievement_title}}

DOI：{{i.doi}}
发表时间：{{i.publish_year}}

暂无此项成果

数据更新时间：2023-05-31

其他相关文献

1

基于LS-SVM香梨可溶性糖的近红外光谱快速检测

基于LS-SVM香梨可溶性糖的近红外光谱快速检测

DOI：
发表时间：
2

基于文献计量学和社会网络分析的国内高血压病中医学术团队研究

基于文献计量学和社会网络分析的国内高血压病中医学术团队研究

DOI：10.11842/wst.20190724002
发表时间：2020
3

出租车新运营模式下的LED广告精准投放策略

出租车新运营模式下的LED广告精准投放策略

DOI：10.16381/j.cnki.issn1003-207x.2020.10.022
发表时间：2020
4

高分五号卫星多角度偏振相机最优化估计反演:角度依赖与后验误差分析

高分五号卫星多角度偏振相机最优化估计反演:角度依赖与后验误差分析

DOI：10.7498/aps.68.20181682
发表时间：2019
5

铁路大跨度简支钢桁梁桥车-桥耦合振动研究

铁路大跨度简支钢桁梁桥车-桥耦合振动研究

DOI：10.3969/j.issn.1000-0844.2017.05.0820
发表时间：2017

张路的其他基金

1

编译器测试程序生成与测试加速研究

编译器测试程序生成与测试加速研究

批准号：61672047
批准年份：2016
资助金额：63.00
项目类别：面上项目
2

富营养化湖泊有机氮氨化作用及其生态效应

富营养化湖泊有机氮氨化作用及其生态效应

批准号：41771519
批准年份：2017
资助金额：63.00
项目类别：面上项目
3

基于多源遥感数据的城市不透水层分布估算方法研究

基于多源遥感数据的城市不透水层分布估算方法研究

批准号：40701122
批准年份：2007
资助金额：19.00
项目类别：青年科学基金项目
4

湖泊生物固氮作用发生规律及其影响机制

湖泊生物固氮作用发生规律及其影响机制

批准号：41271468
批准年份：2012
资助金额：75.00
项目类别：面上项目
5

基于雷达遥感的大型水电工程库岸边坡及大坝稳定性监测方法研究

基于雷达遥感的大型水电工程库岸边坡及大坝稳定性监测方法研究

批准号：41774006
批准年份：2017
资助金额：69.00
项目类别：面上项目
6

非线性随机耦合系统平衡点动力学新特性及其在微弱信号处理中的应用

非线性随机耦合系统平衡点动力学新特性及其在微弱信号处理中的应用

批准号：11401405
批准年份：2014
资助金额：22.00
项目类别：青年科学基金项目
7

粮食主产区耕地休耕规模、区域及模式研究：以湖北省为例

粮食主产区耕地休耕规模、区域及模式研究：以湖北省为例

批准号：41801205
批准年份：2018
资助金额：23.00
项目类别：青年科学基金项目
8

底栖动物扰动对湖泊沉积物反硝化过程影响研究

底栖动物扰动对湖泊沉积物反硝化过程影响研究

批准号：40971253
批准年份：2009
资助金额：40.00
项目类别：面上项目
9

脂肪干细胞通过外泌体miRNA对瘢痕疙瘩成纤维细胞的调控作用研究

脂肪干细胞通过外泌体miRNA对瘢痕疙瘩成纤维细胞的调控作用研究

批准号：81772087
批准年份：2017
资助金额：55.00
项目类别：面上项目
10

多生态类型湖泊水土界面固氮、脱氮过程差异及其机制研究

多生态类型湖泊水土界面固氮、脱氮过程差异及其机制研究

批准号：40501064
批准年份：2005
资助金额：30.00
项目类别：青年科学基金项目
11

地方政府竞争视角下企业投资地域选择偏好

地方政府竞争视角下企业投资地域选择偏好

批准号：71802011
批准年份：2018
资助金额：18.00
项目类别：青年科学基金项目
12

CD19+CD24-CD38hi B细胞在浆细胞型特发性多中心型Castleman病发病中的作用及调控机制

CD19+CD24-CD38hi B细胞在浆细胞型特发性多中心型Castleman病发病中的作用及调控机制

批准号：81900202
批准年份：2019
资助金额：20.00
项目类别：青年科学基金项目
13

组织工程化弹性软骨的发生条件及其应用研究

组织工程化弹性软骨的发生条件及其应用研究

批准号：81101438
批准年份：2011
资助金额：22.00
项目类别：青年科学基金项目
14

知识驱动的自动化程序理解方法与支持系统研究

知识驱动的自动化程序理解方法与支持系统研究

批准号：60403015
批准年份：2004
资助金额：22.00
项目类别：青年科学基金项目
15

星载高分辨率雷达摄影测量与干涉测量联合提取地形信息方法研究

星载高分辨率雷达摄影测量与干涉测量联合提取地形信息方法研究

批准号：41271457
批准年份：2012
资助金额：75.00
项目类别：面上项目
16

功能性聚醚材料应用于原油采出液处理的机理研究

功能性聚醚材料应用于原油采出液处理的机理研究

批准号：51373192
批准年份：2013
资助金额：80.00
项目类别：面上项目
17

区域生态保护网络空间优化方法及实证研究

区域生态保护网络空间优化方法及实证研究

批准号：71603251
批准年份：2016
资助金额：17.00
项目类别：青年科学基金项目

相似国自然基金

1

基于软件缺陷预测的软件可信性度量方法研究

批准号：90718024
批准年份：2007
负责人：宋擒豹
学科分类：F0203
资助金额：50.00
项目类别：重大研究计划
2

虚实融合场景建模的可信性度量和评价方法研究

批准号：90818003
批准年份：2008
负责人：陈小武
学科分类：F0209
资助金额：50.00
项目类别：重大研究计划
3

基于多维属性的软件可信性度量模型的研究

批准号：90718013
批准年份：2007
负责人：陈仪香
学科分类：F0203
资助金额：50.00
项目类别：重大研究计划
4

基于网络环境的软件可信性建模与度量研究

批准号：90818021
批准年份：2008
负责人：吴世忠
学科分类：F0203
资助金额：260.00
项目类别：重大研究计划