欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Cucumber 是一个能够理解用自然语言描述测试用例的支持行为驱动开发（Behavior Driven Development，BDD）的自动化测试工具，用 Ruby 编写，支持 Java 和 .NET 等多种开发语言，加速验收测试自动化。
gem install cucumber cucumber --help
