15.2.4 契约测试的实施