快速规格

QuiQuase:使用测试猜测正式规范。我们提出QuasSPEC,一个自动生成纯函数集的代数规范的工具。该工具是基于测试,而不是静态分析或定理证明。QuasScript面临的主要挑战是将生成的方程的数量保持在最小值,同时保持完整性。我们演示了QuxSPEC如何通过使用两个案例研究生成的规则来探索程序模块的理解:Haskell的堆库和Erlang的定点算术库。