Reply To: DbC和TDD

[Todd]

需求的表达方式有很多种： 自然语言文档，UML用例图，TDD的测试用例，DBC的契约。好的需求规范应该追求精确性和抽象（通用）性。自然语言和UML用例图具备抽象性，但精确性不足；TDD的测试用例具备精确性但没有抽象性；DBC同时具备这两个特征但是表达能力不足，不是所有规范都能用无副作用的语句来表示。