并发与分布式程序调试技术研究

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

项目编号： No.61170071

项目类型： 面上项目

立项/批准年度： 2012

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

项目作者： 徐宝文

作者单位： 南京大学

项目金额： 58万元

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

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

英文摘要：

英文关键词： Concurrent programs；Program analysis；Program debugging；Software testing；Fault localization