萝卜4.6.4_Daikon 4.6.4下载地址

不变式探测器

萝卜是实施动态检测可能出现的不变量，也就是说，Daikon不变的检测报告可能采用的方案不变。一个不变的是保存在程序中的某一个点或点的属性，这些经常出现在assert语句，文档和正式规范。可能是有用的程序的理解和许多其他应用程序不变。例子包括“。领域> ABS（Y）”，“Y = 2 * X +3”，“数组的神器出山:www.shenqi73.com排序”;“的所有列表对象LST，lst.next.prev = LST”; “，n.left.value的所有TreeNode对象?
动态不变量检测运行程序，观察程序计算的值，然后报告是真实的属性，在观察执行。萝卜可以检测性能，在C，C + +，埃菲尔铁塔，IOA，爪哇，和Perl程序在电子表格文件和其他数据源。 （动态的不变量检测是一种机器学习技术，可应用于任意的数据）这是很容易扩展到其他应用程序的萝卜，作为一个例子，存在一个接口的Java路径查找器模型检查器。

给萝卜一个尝试，以便充分评估其能力！

此版本中的新功能：

用户可见的变化：
·增加了新的不变量：CompleteOneOfScalar，CompleteOneOfString
·新增配置变量daikon.FileIO.rm_stack_dups的。
·当一个不变的信心值计算，萝卜，有时估计可能出现的唯一值的数量已经看到。这种策略已经被更改，以更好地处理变量，往往是缺少。特别是，不变量超过从来没有在同一样品中存在的变量，这些变量的组合，将有一个零的信心，因此，通常不被打印。
·改进的文档处理大量的数据跟踪文件或缓慢萝卜运行;每不变的信心;和程序点声明的类型和它们之间的关系的程序层次结构。
·萝卜使用JAVA_HOME环境变量，，而不是JDKDIR。

非用户可见的变化：
·到一个新的图书馆命名为羽库，这使得它更容易使用，在其他程序中提取utilMDE和其他公用设施。
·萝卜类型...