可信约束下软件错误诊断与修正框架
基本信息
批准号：90718009
项目类别：重大研究计划
资助金额：50.00
负责人：张明义
学科分类：
依托单位：贵州科学院
批准年份：2007
结题年份：2010
起止时间：2008-01-01 - 2010-12-01
项目状态： 已结题
项目参与者：谢晓尧,林方真,王以松,杨静,李丹,陈武,张明生,吴茂念,张颖
关键词：
信念更新回答集程序设计可信约束软件错误错误诊断与修正
结项摘要
形式化验证方法一般只用于重大应用软件，而绝大多数软件采用别的验证方法仍难免出错，故探索软件错误诊断和修正框架自然成为软件形式化验证的重要补充。本项目探讨适当粒度软件组件相互作用规律和正常行为标准，确定软件运行的可观察行为，提取组件错误特征，形成协调性诊断概念。通过整合程序设计形式化方法、故障诊断理论与回答集程序设计理论，构建基于协调性的软件错误诊断框架，提出基于不确定性知识的拓广和回答集程序形式的
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
针对弱边缘信息的左心室图像分割算法
针对弱边缘信息的左心室图像分割算法
DOI：10.3778/j.issn.1002-8331.1911-0012
发表时间：2020
2
出租车新运营模式下的LED广告精准投放策略
出租车新运营模式下的LED广告精准投放策略
DOI：10.16381/j.cnki.issn1003-207x.2020.10.022
发表时间：2020
3
制冷与空调用纳米流体研究进展
制冷与空调用纳米流体研究进展
DOI：10.3969/j.issn.1001-9731.2021.11.009
发表时间：2021
4
基于直觉模糊二元语义交互式群决策的技术创新项目选择
基于直觉模糊二元语义交互式群决策的技术创新项目选择
DOI：10.12005/orms.2019.0029
发表时间：2019
5
土体约束对海底管道整体屈曲的影响机理研究
土体约束对海底管道整体屈曲的影响机理研究
DOI：10.11759/hykx20170605001
发表时间：2018
张明义的其他基金
批准号：51872068
批准年份：2018
资助金额：60.00
项目类别：面上项目
批准号：19861002
批准年份：1998
资助金额：7.50
项目类别：地区科学基金项目
批准号：41171060
批准年份：2011
资助金额：25.00
项目类别：面上项目
批准号：51778312
批准年份：2017
资助金额：60.00
项目类别：面上项目
批准号：10161005
批准年份：2001
资助金额：14.00
项目类别：地区科学基金项目
批准号：60573009
批准年份：2005
资助金额：26.00
项目类别：面上项目
批准号：51278261
批准年份：2012
资助金额：80.00
项目类别：面上项目
批准号：50678086
批准年份：2006
资助金额：28.00
项目类别：面上项目
批准号：40601023
批准年份：2006
资助金额：30.00
项目类别：青年科学基金项目
批准号：51501171
批准年份：2015
资助金额：22.00
项目类别：青年科学基金项目
批准号：41471063
批准年份：2014
资助金额：94.00
项目类别：面上项目
批准号：51078196
批准年份：2010
资助金额：45.00
项目类别：面上项目
批准号：51402076
批准年份：2014
资助金额：25.00
项目类别：青年科学基金项目
相似国自然基金
1
高可信软件的测试与评估
批准号：60633010
批准年份：2006
负责人：蔡开元
学科分类：F0203
资助金额：200.00
项目类别：联合基金项目
2
可信软件构造理论与方法研究
批准号：91118003
批准年份：2011
负责人：何炎祥
学科分类：F0203
资助金额：300.00
项目类别：重大研究计划
3
面向复合可信属性的软件可信性监控与优化
批准号：90718033
批准年份：2007
负责人：黄涛
学科分类：F0207
资助金额：50.00
项目类别：重大研究计划
4
可信软件的度量与测试方法研究
批准号：91418202
批准年份：2014
负责人：徐宝文
学科分类：F0203
资助金额：170.00
项目类别：重大研究计划