欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
JMock是帮助创建mock对象的工具,采用Java开发,在Java测试与开发环境中有很大的优势,更重要的是,它大大简化了虚拟对象的使用。