InfoQ

InfoQ

主题/标签专用视图

设计契约相关的内容


“设计契约”相关新闻

Code Contracts进展缓慢

主题
代码分析,
.NET,
调试,
编程,
设计契约,
静态分析

从目前的开发进度来看,Code Contracts距离产品阶段还遥遥无期。尽管仍旧坚守着最初的承诺,但只要运行该程序不久就会发现众多的问题,这一切使得当前的Code Contracts还无法投入到真正的使用当中。

.NET代码契约组件目前已经提供下载

主题
.NET框架,
软件测试,
.NET,
单元测试,
API,
编程,
测试驱动开发,
测试,
设计契约

代码契约是“契约式设计”的.NET实现。按照原计划它将与.NET 4.0一起发布,不过现在开发人员已经可以从DevLab上下载这个组件了。“契约”为API的使用增加了限制和更多验证,编程因此变得更为安全,并可有效避免在运行中出现意料之外的错误。

“Classic”与“Mockist”TDD,真的对立么?

主题
单元测试,
软件测试,
软件工匠,
敏捷,
测试驱动开发,
测试,
jMock,
设计契约,
Mocks

近期Yahoo TDD小组里面有个热门帖子,是讨论“classic”和“mockist”TDD方式之间的对立统一关系。Steve Freeman、Nat Pryce、Michael Feathers、Dale Emery等很多人对这些术语进行了讨论,并描述了各自的工作方式。他们也探讨了是否确实存在这种关系。如果存在这种关系,又是什么从本质上区分开这两种方式?