TDD是将需求可执行化,是为了捕获需求,抽象接口。 DBC 设计和编码阶段向面向对象程序中加入断言(assertion) 相关文章: 2021-08-29 2021-07-08 2021-06-14 2021-05-18 2021-04-20 2021-12-18 2021-08-06