主张 用于PHP的基于轻量级属性的测试库。 受Python的假设库启发。 安装 由于该API尚未完全稳定，因此必须指定dev-master来进行composer安装： composer install jonathrg/proposition:dev-master 什么是基于属性的测试？ 根据 ， 基于属性的测试根据输入内容来编写有关代码输出的语句，并针对许多不同的可能输入验证了这些语句。 基于属性的测试框架使用生成的输入来反复运行相同的测试。 这与基于示例的测试相反，在该示例中，您必须