项目名称: 并发与分布式程序调试技术研究

项目编号: No.61170071

项目类型: 面上项目

立项/批准年度: 2012

项目学科: 自动化技术、计算机技术

项目作者: 徐宝文

作者单位: 南京大学

项目金额: 58万元

中文摘要: 并发与分布式软件已经在越多越多关系国计民生的重要领域中使用,其软件质量保证的重要性不言而喻。本课题拟建立一个并发与分布式程序的调试模型,将错误发现、定位和修正作为一个有机的整体进行研究,综合程序分析与软件测试技术,将静态与动态技术有机结合,为高可信软件的质量保证提供理论基础和技术支持。课题研究并发与分布式软件的错误定位技术,关注同步错误和数据交互错误的定位技术,并探讨一种综合的错误定位策略;研究面向调试的测试用例优化技术,从测试输入和测试执行两个角度分别考虑测试优化,以使测试既能有效发现错误,又能为错误定位提供线索;研究自动错误修正技术,探索并发与分布式软件自动修正技术的整体策略,分析不同演化策略和变异算子对错误修正的影响,并重点关注消息同步类错误的自动修正。

中文关键词: 并发程序;程序分析;程序调试;软件测试;缺陷定位

英文摘要:

英文关键词: Concurrent programs;Program analysis;Program debugging;Software testing;Fault localization

成为VIP会员查看完整内容
0

相关内容

【博士论文】大数据相似查询关键技术研究
专知会员服务
22+阅读 · 2021年12月2日
自动驾驶软件测试技术研究综述
专知会员服务
49+阅读 · 2021年2月19日
专知会员服务
27+阅读 · 2020年12月21日
【CIKM2020-清华】物联网数据质量,155页ppt,IoT Data Quality
专知会员服务
44+阅读 · 2020年10月24日
【经典书】C++编程:从问题分析到程序设计,1491页pdf
专知会员服务
58+阅读 · 2020年8月11日
【硬核书】可扩展机器学习:并行分布式方法
专知会员服务
80+阅读 · 2020年5月23日
【ACL2020-Google】逆向工程配置的神经文本生成模型
专知会员服务
16+阅读 · 2020年4月20日
程序员如何确保软件没 Bug?
CSDN
0+阅读 · 2022年4月20日
实践教程 | PyTorch分布式测试踩坑小结
极市平台
18+阅读 · 2022年4月1日
腾讯课堂小程序开发实践与思考
InfoQ
0+阅读 · 2022年3月27日
Java应用结构规范
阿里技术
0+阅读 · 2022年3月14日
并发-分布式锁质量保障总结
阿里技术
0+阅读 · 2022年3月7日
如何解决常见的并发问题?
InfoQ
0+阅读 · 2021年12月29日
分布式系统一致性测试框架Jepsen在女娲的实践应用
已删除
黑白之道
19+阅读 · 2018年12月23日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2013年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
Arxiv
15+阅读 · 2021年12月22日
Arxiv
34+阅读 · 2021年8月2日
A survey on deep hashing for image retrieval
Arxiv
14+阅读 · 2020年6月10日
Arxiv
15+阅读 · 2019年6月25日
dynnode2vec: Scalable Dynamic Network Embedding
Arxiv
13+阅读 · 2018年12月6日
小贴士
相关VIP内容
【博士论文】大数据相似查询关键技术研究
专知会员服务
22+阅读 · 2021年12月2日
自动驾驶软件测试技术研究综述
专知会员服务
49+阅读 · 2021年2月19日
专知会员服务
27+阅读 · 2020年12月21日
【CIKM2020-清华】物联网数据质量,155页ppt,IoT Data Quality
专知会员服务
44+阅读 · 2020年10月24日
【经典书】C++编程:从问题分析到程序设计,1491页pdf
专知会员服务
58+阅读 · 2020年8月11日
【硬核书】可扩展机器学习:并行分布式方法
专知会员服务
80+阅读 · 2020年5月23日
【ACL2020-Google】逆向工程配置的神经文本生成模型
专知会员服务
16+阅读 · 2020年4月20日
相关资讯
程序员如何确保软件没 Bug?
CSDN
0+阅读 · 2022年4月20日
实践教程 | PyTorch分布式测试踩坑小结
极市平台
18+阅读 · 2022年4月1日
腾讯课堂小程序开发实践与思考
InfoQ
0+阅读 · 2022年3月27日
Java应用结构规范
阿里技术
0+阅读 · 2022年3月14日
并发-分布式锁质量保障总结
阿里技术
0+阅读 · 2022年3月7日
如何解决常见的并发问题?
InfoQ
0+阅读 · 2021年12月29日
分布式系统一致性测试框架Jepsen在女娲的实践应用
已删除
黑白之道
19+阅读 · 2018年12月23日
相关基金
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2013年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
微信扫码咨询专知VIP会员