该演示演示了GASSERT的实现和使用细节，GASSERT是第一个自动改进断言预言的工具。断言预言是放置在程序内部的可执行布尔表达式，对于所有正确的执行均应通过（返回true），对于所有不正确的执行均应失败（返回false）。因为设计完美的断言预言片很困难，所以断言容易出现误报（断言失败但应该通过）和否定否定（断言通过但应该失败）。给定包含要改进的断言预言的Java方法，GASSERT将返回改进的断言，该断言具有比初始断言更少的错误肯定和错误否定。在内部，



"点击查看英文标题和摘要"