http://bbs.zhenghui.org/topic/dbc%e5%92%8ctdd 冒号论坛 » Topic: DbC和TDD en-US Wed, 08 Feb 2012 23:48:53 +0000 http://bbpress.org/?v=1.0.2 q http://bbs.zhenghui.org/search.php http://bbs.zhenghui.org/topic/dbc%e5%92%8ctdd#post-188 Tue, 07 Sep 2010 19:40:14 +0000 hui 188@http://bbs.zhenghui.org/ <p>虽然assertion中不能含有副作用的语句，但DbC中的precondition和postcondition之间是允许副作用的。当然不可否认，DbC的表达力的确是有局限的。 </p> http://bbs.zhenghui.org/topic/dbc%e5%92%8ctdd#post-187 Tue, 07 Sep 2010 17:41:15 +0000 Todd 187@http://bbs.zhenghui.org/ <p>需求的表达方式有很多种： 自然语言文档，UML用例图，TDD的测试用例，DBC的契约。好的需求规范应该追求精确性和抽象（通用）性。自然语言和UML用例图具备抽象性，但精确性不足；TDD的测试用例具备精确性但没有抽象性；DBC同时具备这两个特征但是表达能力不足，不是所有规范都能用无副作用的语句来表示。 </p> http://bbs.zhenghui.org/topic/dbc%e5%92%8ctdd#post-160 Mon, 26 Jul 2010 11:49:37 +0000 Todd 160@http://bbs.zhenghui.org/ <p>对，的确有重叠之处。 </p> http://bbs.zhenghui.org/topic/dbc%e5%92%8ctdd#post-159 Sun, 25 Jul 2010 17:40:35 +0000 hui 159@http://bbs.zhenghui.org/ <p>二者既有互补之处，也有重叠之处。另外，好的DbC框架可以自动生成一些测试用例。 </p> http://bbs.zhenghui.org/topic/dbc%e5%92%8ctdd#post-158 Sun, 25 Jul 2010 11:48:18 +0000 Todd 158@http://bbs.zhenghui.org/ <p>昨天看了一个老外的视频讲座，他谈到：DbC适合用于表达无副作用的条件约束(constraint)；TDD适合用于表达类的外部行为(behavior)。二者是互补关系，可以结合使用。</p> <p>http://www.infoq.com/presentations/TDD-in-a-DbC-World-Greg-Young </p>