4.1 契约测试概述