15.2.3 契约测试的特性