基于模型检查的软件错误定位技术研究
批准号：
90718008
项目类别：
重大研究计划
资助金额：
50.0 万元
负责人：
张大方
依托单位：
学科分类：
计算机科学的基础理论
结题年份：
2010
批准年份：
2007
项目状态：
已结题
项目参与者：
缪力、黎文伟、谢鲲、黄昆、曾彬、赵丹、李玮、金秀、周志远
项目摘要
结项摘要
项目成果
张大方的其他基金
相似基金
相关文献
中文摘要
软件错误定位是提高软件测试效率，增强软件可信性的重要技术。基于分布式组件的软件系统提高了软件的开发效率，但同时增加了软件结构的复杂性，其并发特性导致某些错误难以重现，加剧了软件错误定位的困难。动态程序切片在软件错误定位中得到广泛的研究和应用，但需要有已经确定的错误路径和对源程序数据流的分析。本项目拟采用模型检查技术发现错误路径，为程序切片技术的应用创造条件；提出面向错误定位的模型检查技术；将软件错
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
DOI：
--
发表时间：
--
期刊：
计算机工程
影响因子：
--
作者：
[谢 鲲, 雷渊明, 杨虎, 何施茗, 张大方]
通讯作者：
张大方
DOI：
--
发表时间：
--
期刊：
计算机工程
影响因子：
--
作者：
[金军航, 黄 昆, 张大方]
通讯作者：
张大方
DOI：
--
发表时间：
--
期刊：
中国科学
影响因子：
--
作者：
[谢高岗, 金军航, 张大方, 黄昆]
通讯作者：
黄昆
DOI：
--
发表时间：
--
期刊：
计算机工程与科学
影响因子：
--
作者：
[黄谷, 缪力, 张大方]
通讯作者：
张大方
DOI：
--
发表时间：
--
期刊：
计算机工程与科学
影响因子：
--
作者：
[缪力, 张大方, 王大伟]
通讯作者：
王大伟
共 30 条
面向智慧城市交通系统的时空大数据挖掘技术研究及应用
-
批准号：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
-
负责人：张大方
-
依托单位：
国内基金
海外基金