刷新
{{item.name}}会员
基于模型检查的软件错误定位技术研究
结题报告
批准号：
90718008
项目类别：
重大研究计划
资助金额：
50.0 万元
负责人：
张大方
依托单位：
学科分类：
F0201.计算机科学的基础理论
结题年份：
2010
批准年份：
2007
项目状态：
已结题
项目参与者：
缪力、黎文伟、谢鲲、黄昆、曾彬、赵丹、李玮、金秀、周志远
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点，提供专业选题建议
深度指导申报书撰写，确保创新可行
指导项目中标800+，快速提高中标率
微信扫码咨询
中文摘要
软件错误定位是提高软件测试效率，增强软件可信性的重要技术。基于分布式组件的软件系统提高了软件的开发效率，但同时增加了软件结构的复杂性，其并发特性导致某些错误难以重现，加剧了软件错误定位的困难。动态程序切片在软件错误定位中得到广泛的研究和应用，但需要有已经确定的错误路径和对源程序数据流的分析。本项目拟采用模型检查技术发现错误路径，为程序切片技术的应用创造条件；提出面向错误定位的模型检查技术；将软件错
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
DOI：--
发表时间：--
期刊：计算机工程
影响因子：--
作者：谢 鲲;雷渊明;杨虎;何施茗;张大方
通讯作者：张大方
DOI：--
发表时间：--
期刊：计算机工程
影响因子：--
作者：金军航;黄 昆;张大方
通讯作者：张大方
DOI：--
发表时间：--
期刊：中国科学
影响因子：--
作者：谢高岗;金军航;张大方;黄昆
通讯作者：黄昆
DOI：--
发表时间：--
期刊：计算机工程与科学
影响因子：--
作者：缪 力;张大方;周志远
通讯作者：周志远
DOI：--
发表时间：--
期刊：计算机工程与科学
影响因子：--
作者：缪力;张大方;王大伟
通讯作者：王大伟
面向智慧城市交通系统的时空大数据挖掘技术研究及应用
- 批准号：61976087
- 项目类别：面上项目
- 资助金额：56.0万元
- 批准年份：2019
- 负责人：张大方
- 依托单位：
基于图形处理单元的高性能网络包处理技术研究
- 批准号：61472130
- 项目类别：面上项目
- 资助金额：84.0万元
- 批准年份：2014
- 负责人：张大方
- 依托单位：
基于多核处理器的高性能深度数据包检测技术研究
- 批准号：61173167
- 项目类别：面上项目
- 资助金额：57.0万元
- 批准年份：2011
- 负责人：张大方
- 依托单位：
基于流分析的分布式Java程序模型检查技术研究
- 批准号：60673155
- 项目类别：面上项目
- 资助金额：27.0万元
- 批准年份：2006
- 负责人：张大方
- 依托单位：
软件容错测量理论与技术研究
- 批准号：60473031
- 项目类别：面上项目
- 资助金额：23.0万元
- 批准年份：2004
- 负责人：张大方
- 依托单位：
基于端系统的网络在线测量理论与方法研究
- 批准号：60273070
- 项目类别：面上项目
- 资助金额：22.0万元
- 批准年份：2002
- 负责人：张大方
- 依托单位：
系统级故障诊断基础理论与算法研究
- 批准号：69973016
- 项目类别：面上项目
- 资助金额：12.0万元
- 批准年份：1999
- 负责人：张大方
- 依托单位：
国内基金
海外基金
