一种面向传感器网络应用程序的有效测试方法  

An Effective Testing Approach for Sensor Network Applications

作　　者：孙玉霞[1,2] HARROLD Mary Jean 张成志[4] 汤庸[5] 

机构地区：[1]中山大学计算机科学系,广州510006 [2]暨南大学计算机科学系,广州510632 [3]乔治亚理工大学计算机学院,美国亚特兰大30332 [4]香港科技大学计算机科学与工程系,香港999077 [5]华南师范大学计算机学院,广州510631

出　　处：《计算机学报》2013年第12期2371-2389,共19页Chinese Journal of Computers

基　　金：香港特别行政区研究资助局项目(612210);国家自然科学基金(61272067);广东省自然科学基金团队研究项目(S2012030006242)资助~~

摘　　要：无线传感器网络是物联网的基本组成部分.随着传感器网络的广泛应用,其软件质量的问题日益突出.传感器网络应用程序中的瞬态错误很难被发现,这是因为它们由偶然交织的事件处理逻辑所触发,而且有效的自动测试预言往往不可得.基于区间的测试方法将传感网程序的执行过程划分为若干区间,并检测包含瞬态错误的区间,但是这种方法可能产生大量的误报.文中详述了对这些误报进行深入研究的结果,并进而提出一种有效的基于区间的测试方法,用于检测传感网程序应用级组件中的瞬态错误.此方法的主要特点是采用新的区间划分策略和程序行为选择策略.这些策略用于排除被分析区间中的良性偶然交织行为.文中提出了一种区间识别算法,并在此基础上实现了该方法的一个原型工具.文中给出了一组实验来评估原型工具的效果和效率.实验结果表明,此工具能够有效而高效地检测被测程序中的瞬态错误.Wireless Sensor Networks （WSNs） represent a fundamental building block of the Internet of Things. With the growing application of WSNs, the software-quality issues have become increasingly prominent. Transient bugs in WSN applications are difficult to be found because they are triggered by occasionally interleaved event-handling logics and an effective automated test oracle is rarely available. Interval-based testing in this area partitions a sensor＇s program execution into intervals and finds the buggy intervals, but it might report numerous false positives. In this paper, we report the results of an in-depth study of the causes of false positives that arise from interval-based testing that we performed. Based on these results, we propose an effective approach for detecting transient bugs in application-level components. Our approach featuresan interval-partitioning strategy and a program behavior-selection strategy. Both strategies aim to reduce benign occasional behaviors from those to be analyzed. We propose an interval-identification algorithm. Based on this algorithm, we developed a prototype tool that implements our interval- based testing technique, and conducted a set of experiments to evaluate its effectiveness and efficiency. The empirical studies show that our tool is both effective and efficient in detecting transient bugs for our subject programs.

关 键 词：物联网 无线传感器网络 瞬态错误 基于区间的测试 误报 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]