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

摘要：

无线传感器网络是物联网的基本组成部分.随着传感器网络的广泛应用,其软件质量的问题日益突出.传感器网络应用程序中的瞬态错误很难被发现,这是因为它们由偶然交织的事件处理逻辑所触发,而且有效的自动测试预言往往不可得.基于区间的测试方法将传感网程序的执行过程划分为若干区间,并检测包含瞬态错误的区间,但是这种方法可能产生大量的误报.文中详述了对这些误报进行深入研究的结果,并进而提出一种有效的基于区间的测试方法,用于检测传感网程序应用级组件中的瞬态错误.此方法的主要特点是采用新的区间划分策略和程序行为选择策略.这些策略用于排除被分析区间中的良性偶然交织行为.文中提出了一种区间识别算法,并在此基础上实现了该方法的一个原型工具.文中给出了一组实验来评估原型工具的效果和效率.实验结果表明,此工具能够有效而高效地检测被测程序中的瞬态错误.

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

所属期刊栏目：36

分类号：TP311(计算技术、计算机技术)

资助基金：香港特别行政区研究资助局项目612210;国家自然科学基金61272067;广东省自然科学基金团队研究项目S2012030006242资助.The research was partially supported by the Research Grants Council of the Hong Kong Special Administrative Region,ChinaProject 612210;the National Natural Science Foundation of ChinaGrant 61272067;the Team Project of Guangdong Natural Science FoundationGrant S2012030006242

在线出版日期：2014-02-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共19页

页码：2371-2389