Design By Contract, OOP in Eiffel Programming Language

Learning to Program well with Objects and Contracts, Design by Contracts paradigm, written by Betrand Meyer, inventer of Eiffel language.

Learning to Program well with Objects and Contracts, Design by Contracts paradigm, written by Betrand Meyer, inventer of Eiffel language.

第一章简介:jtest是parasoft公司推出的一款针对java语言的自动化白盒测试工具,它通过自动实现java的单元测试和代码标准校验,来提高代码的可靠性。Jtest先分析每个java类，然后自动生成junit测试用例并执行用例，从而实现代码的最大覆盖，并将代码运行时未处理的异常暴露出来；另外，它还可以检查以DbC（DesignbyContract）规范开发的代码的正确性。用户还可以通过扩展测试用例的自动生成器来添加更多的junit用例。Jtest还能按照现有的超过350个编码标准来检查并自