Automatic fault location for data structures
Automatic fault location for data structures
复制标题
数据结构故障自动定位
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Iulian Neamtiu
中科院分区：
文献类型：
--
作者：
Vineet Singh;Rajiv Gupta;Iulian Neamtiu
基于规范的数据结构验证是一项强大的调试技术，我们将基于规范的数据结构验证与损坏数据结构的错误程序语句的自动检测。内存图。负责数据结构的错误代码平均而言，虽然狼蛛统计调试技术将故障缩小到10个陈述，但我们的技术将其缩小到≈4个陈述。
Specification-based data structure verification is a powerful debugging technique. In this work we combine specification-based data structure verification with automatic detection of faulty program statements that corrupt data structures. The user specifies the consistency constraints for dynamic data structures as relationships among the nodes of a memory graph. Our system detects constraint violations to identify corrupted data structures during program execution and then automatically locates faulty code responsible for data structure corruption. Our approach offers two main advantages: (1) a highly precise automatic fault location method, and (2) a simple specification language. We employ incremental constraint checking for time efficient constraint matching and fault location. On average, while Tarantula statistical debugging technique narrows the fault to 10 statements, our technique narrows it to ≈ 4 statements..