基马

Kima:并发逻辑程序的自动纠错系统。我们已经实现了Kima,一个用于并发逻辑程序的自动纠错系统。Kima纠正了在没有显式声明程序属性的情况下发生错误变量等未遂事件。强修改/类型化和基于约束的分析在调试并发逻辑程序以及建立通信协议和数据类型的一致性方面发挥着重要作用。模态平面GHC的模式/类型分析是一个具有许多简单模式/类型约束的约束满足问题,可以有效地求解。我们提出了一种简单而有效的方法,即给定一个非良好模式/类型的程序,通过寻找模式/类型约束的最小不一致子集来诊断不一致的“原因”。由于每个约束都会跟踪程序中符号的出现,所以最小子集也会告诉程序错误的可能来源。Kima通过替换可能源周围的符号并系统地重新计算重写程序的模式和类型来实现自动更正。只要bug是未遂事件,Kima提出了一个相当少的替代方案,其中包括一个预期的程序。搜索空间小,因为最小子集预先限制了可能的错误源。本文介绍了Kima的基本算法和各种优化技术,并通过定量实验讨论了其有效性。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换