4.1 初识契约测试