传感网软件并发错误的动态检测与定位技术研究

项目名称： 传感网软件并发错误的动态检测与定位技术研究

项目编号： No.61402197

项目类型： 青年科学基金项目

立项/批准年度： 2014

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

项目作者： 孙玉霞

作者单位： 暨南大学

项目金额： 23万元

中文摘要： 无线传感网软件中的并发错误是导致传感网应用失效的重要原因。这些并发错误由中断处理实例之间的错误交织而造成。因为运行时的实例交织复杂而不确定，所以并发错误往往难以找到。本项目旨在针对并发错误，开发一套自动化的、基于错误模式的动态检测和定位技术。首先，本项目将创建一组动态错误模式以刻画有问题的实例交织，并开发一种实时的实例识别技术以作为动态分析实例的基础。然后，本项目将开发针对并发错误的定位技术以及针对偶然并发错误的检测技术，其技术特点是：在测试运行时监测错误模式，根据统计结果计算模式的可疑度分值，并将错误模式排序。这套技术的优点是：能检测多种类型的并发错误，能自动地定位错误到源码语句级，并能可视地报告错误的位置、类型和原因。该项目的成功实施将有助于深化理解传感网软件并发错误的特征，为测试与调试提供新的研究思路。此外，本项目所开发的工具可应用在实际的传感网软件的测试与调试中。

中文关键词： 传感网软件；并发错误；错误模式；错误检测与定位；测试与调试

英文摘要： Concurrency faults in software of wireless-sensor-networks are important causes of failures of sensor-network applications. The concurrency errors are triggered by buggy interleavings among interrupt-handling instances. The interleavings among instan

英文关键词： sensor-network software；concurrency bug；bug pattern；fault detection and localization；testing and debugging