基于模式的程序代码可信性度量方法研究
基本信息
批准号：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
玉米叶向值的全基因组关联分析
玉米叶向值的全基因组关联分析
DOI：
发表时间：
2
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
DOI：10.19713/j.cnki.43-1423/u.t20201185
发表时间：2021
3
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
4
基于SSVEP 直接脑控机器人方向和速度研究
基于SSVEP 直接脑控机器人方向和速度研究
DOI：10.16383/j.aas.2016.c150880
发表时间：2016
5
小跨高比钢板- 混凝土组合连梁抗剪承载力计算方法研究
小跨高比钢板- 混凝土组合连梁抗剪承载力计算方法研究
DOI：10.19701/j.jzjg.2015.15.012
发表时间：2015
张路的其他基金
批准号：61672047
批准年份：2016
资助金额：63.00
项目类别：面上项目
批准号：41771519
批准年份：2017
资助金额：63.00
项目类别：面上项目
批准号：40701122
批准年份：2007
资助金额：19.00
项目类别：青年科学基金项目
批准号：41271468
批准年份：2012
资助金额：75.00
项目类别：面上项目
批准号：41774006
批准年份：2017
资助金额：69.00
项目类别：面上项目
批准号：11401405
批准年份：2014
资助金额：22.00
项目类别：青年科学基金项目
批准号：41801205
批准年份：2018
资助金额：23.00
项目类别：青年科学基金项目
批准号：40971253
批准年份：2009
资助金额：40.00
项目类别：面上项目
批准号：81772087
批准年份：2017
资助金额：55.00
项目类别：面上项目
批准号：40501064
批准年份：2005
资助金额：30.00
项目类别：青年科学基金项目
批准号：71802011
批准年份：2018
资助金额：18.00
项目类别：青年科学基金项目
批准号：81900202
批准年份：2019
资助金额：20.00
项目类别：青年科学基金项目
批准号：81101438
批准年份：2011
资助金额：22.00
项目类别：青年科学基金项目
批准号：60403015
批准年份：2004
资助金额：22.00
项目类别：青年科学基金项目
批准号：41271457
批准年份：2012
资助金额：75.00
项目类别：面上项目
批准号：51373192
批准年份：2013
资助金额：80.00
项目类别：面上项目
批准号：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
项目类别：重大研究计划