文章分析了当前基于属性测试库的现状，指出多数库缺乏对状态机模型和并行测试的支持。作者认为，状态机模型的学习曲线和开源模式的局限性是造成这一现状的原因。文章以计数器、循环缓冲区、水壶谜题和进程注册表为例，展示了如何使用伪对象作为模型，简化状态机模型的编写，并通过合约测试保证伪对象的可靠性。作者认为，这种方法可以降低基于属性测试的学习曲线，并提高测试效率。