契约测试的代码样例，基于契约和代码植入的协议测试方法进行了比较完整而系统的研究(Contract testing code samples, based on contract and code-based protocol testing methods were relatively complete and systematic stud)