• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>9th ACM/IEEE international conference on information processing in sensor networks 2010 >KleeNet: Discovering Insidious Interaction Bugs in Wireless Sensor Networks Before Deployment
【24h】

KleeNet: Discovering Insidious Interaction Bugs in Wireless Sensor Networks Before Deployment

机译：KleeNet：在部署之前发现无线传感器网络中的隐患交互错误

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Complex interactions and the distributed nature of wireless sensor networks make automated testing and debugging before deployment a necessity. A main challenge is to detect bugs that occur due to non-deterministic events, such as node reboots or packet duplicates. Often, these events have the potential to drive a sensor network and its applications into corner-case situations, exhibiting bugs that are hard to detect using existing testing and debugging techniques. In this paper, we present KleeNet, a debugging environment that effectively discovers such bugs before deployment. KleeNet executes unmodified sensor network applications on symbolic input and automatically injects non-deterministic failures. As a result, KleeNet generates distributed execution paths at high-coverage, including low-probability corner-case situations. As a case study, we integrated KleeNet into the Contiki OS and show its effectiveness by detecting four insidious bugs in the μIP TCP/IP protocol stack. One of these bugs is critical and lead to refusal of further connections.
机译：无线传感器网络的复杂交互和分布式特性使部署前的自动化测试和调试成为必要。一个主要的挑战是检测由于不确定事件（例如节点重启或数据包重复）而发生的错误。通常，这些事件可能会将传感器网络及其应用驱动到极端情况，并表现出使用现有测试和调试技术很难检测到的错误。在本文中，我们介绍了KleeNet，这是一种调试环境，可以在部署之前有效地发现此类错误。 KleeNet在符号输入上执行未修改的传感器网络应用程序，并自动注入不确定的故障。结果，KleeNet在高覆盖率（包括低概率极端情况）下生成分布式执行路径。作为案例研究，我们将KleeNet集成到Contiki OS中，并通过检测μIPTCP / IP协议栈中的四个隐患来证明其有效性。这些错误之一是严重的，并导致拒绝进一步的连接。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号