基于模型检查的软件错误定位技术研究
基本信息
批准号：90718008
项目类别：重大研究计划
资助金额：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.1051/jnwpu/20213920292
发表时间：2021
2
基于MCPF算法的列车组合定位应用研究
基于MCPF算法的列车组合定位应用研究
DOI：
发表时间：2016
3
二维FM系统的同时故障检测与控制
二维FM系统的同时故障检测与控制
DOI：10.16383/j.aas.c180673
发表时间：2021
4
扶贫资源输入对贫困地区分配公平的影响
扶贫资源输入对贫困地区分配公平的影响
DOI：
发表时间：2020
5
早孕期颈项透明层增厚胎儿染色体异常的临床研究
早孕期颈项透明层增厚胎儿染色体异常的临床研究
DOI：无
发表时间：2020
张大方的其他基金
批准号：61173167
批准年份：2011
资助金额：57.00
项目类别：面上项目
批准号：60673155
批准年份：2006
资助金额：27.00
项目类别：面上项目
批准号：60273070
批准年份：2002
资助金额：22.00
项目类别：面上项目
批准号：69973016
批准年份：1999
资助金额：12.00
项目类别：面上项目
批准号：60473031
批准年份：2004
资助金额：23.00
项目类别：面上项目
批准号：30973948
批准年份：2009
资助金额：8.00
项目类别：面上项目
批准号：81173597
批准年份：2011
资助金额：58.00
项目类别：面上项目
批准号：61472130
批准年份：2014
资助金额：84.00
项目类别：面上项目
相似国自然基金
1
面向软件自动修复的错误定位技术研究
批准号：61602504
批准年份：2016
负责人：雷晏
学科分类：F0203
资助金额：20.00
项目类别：青年科学基金项目
2
传感网软件并发错误的动态检测与定位技术研究
批准号：61402197
批准年份：2014
负责人：孙玉霞
学科分类：F0203
资助金额：23.00
项目类别：青年科学基金项目
3
基于进化优化的大型软件演化中的错误定位
批准号：61673384
批准年份：2016
负责人：姜淑娟
学科分类：F0305
资助金额：60.00
项目类别：面上项目
4
基于启发式选择变异和软件行为特征挖掘的软件错误定位方法
批准号：61672191
批准年份：2016
负责人：苏小红
学科分类：F0203
资助金额：62.00
项目类别：面上项目