Daikon（系统）

Daikon是一个计算机程序，检测可能不变的程序。不变的条件总是在程序中的某些点上成立。它主要用于调试晚期开发程序，或检查对现有代码的修改。

特性

Daikon可以检测C ， C ++ ， Java ， Perl和IOA程序中的属性，以及电子表格文件或其他数据源。 Daikon易于扩展，并且是免费软件。