自然、人类、机器
Home › Forums › 《冒号课堂》讨论区 › DbC和TDD › Reply To: DbC和TDD
需求的表达方式有很多种: 自然语言文档,UML用例图,TDD的测试用例,DBC的契约。好的需求规范应该追求精确性和抽象(通用)性。自然语言和UML用例图具备抽象性,但精确性不足;TDD的测试用例具备精确性但没有抽象性;DBC同时具备这两个特征但是表达能力不足,不是所有规范都能用无副作用的语句来表示。