11.4 编写合约测试