从零开始写一个契约测试工具