我使用的是yii框架和phpunit。我可以运行phpunit测试。
但我想在我的控制器中添加断言，就像这里描述的那样。我认为类
BankAccount
不是测试。因此，必须有一种方法来使用断言，而不是在测试中。
如果我在我的控制器中调用这样的断言，这不是测试：
PHPUnit_Framework_Assert::assertTrue(false);
我得到
currentPath'PHPUnit_Framework_Assert.php): failed to open stream: No such file or directory
该文件存在于我的pear''phpunit目录中。
那么，我如何使用PHPUnit进行合同设计呢？或者没有办法为合同设计添加这样的断言吗？
Ps：我正在使用名称空间
感谢这篇文章，我找到了问题的解决方案。以下是在Yii控制器和Helper类中启用PHPUnit的Design-By-Contract断言的代码。
spl_autoload_unregister(array('YiiBase','autoload'));
require_once('PHPUnit/Autoload.php');
spl_autoload_register(array('YiiBase','autoload'));