design-by-contract

design-by-contract

文章 0 浏览 6

与测试驱动开发相比,为什么按合同设计不那么流行?

您可能认为这个问题就像之前在 StackOverflow 上提出的这个问题。 但我正在尝试以不同的方式看待事物。 在 TDD 中,我们编写包含不同条件、标准、验证…

━╋う一瞬間旳綻放 2024-07-11 20:51:10 8 0

Spec# 是否足够稳定,可以使用?

这里有人经常使用 Spec# 吗? 在我开始到处使用它之前,我想知道它是否足够稳定和强大。 看起来语法正在影响 c# 4.0,一旦 4.0 发布,这将有望使升级…

奈何桥上唱咆哮 2024-07-11 20:47:51 6 0

如何用 Perl 进行契约设计?

我正在研究在我们的 Perl 项目中使用 DbC,并且我正在尝试找到验证源中合同的最佳方法(例如检查前置/后置条件、不变量等) Class::Contract 由 Damia…

最丧也最甜 2024-07-11 08:30:00 9 0

如何显示方法是否可能返回 null

发布后 这个问题并阅读那个 我意识到知道一个方法是否应该返回 null,或者这是否被认为是错误条件并且应该抛出异常是非常重要的。 还有一个很好的讨论…

总攻大人 2024-07-10 22:45:13 8 0

在契约设计中检查编译时间?

我读到编译器可以在编译时强制执行 dbc..它是如何做到的?…

梦太阳 2024-07-10 13:43:46 6 0

“合同设计” 在 C# 中

我想在最新的 C# 应用程序中尝试按合同进行一些设计,并希望具有类似于以下内容的语法: public string Foo() { set { Assert.IsNotNull(value); Asse…

潦草背影 2024-07-09 00:54:19 13 0

多少空检查就足够了?

当不需要需要检查空值时有哪些指导原则? 我最近一直在处理的许多继承代码都有令人作呕的空检查。 对普通函数进行 Null 检查、对声明非 null 返回的 A…

江南烟雨〆相思醉 2024-07-08 23:50:12 7 0

Ruby 和鸭子类型:合同设计不可能吗?

Java 中的方法签名: public List getFilesIn(List directories) ruby 中的类似方法签名 def get_files_in(directories) 在 Java 中,类型系统为我提…

兰花执着 2024-07-06 10:22:43 12 0

使用断言或异常按契约进行设计?

Closed. This question is opinion-based. It is not currently accepting answers. 想要改进这个问题?更新问题,以便可以通过编辑这篇文章用事实和…

千鲤 2024-07-06 01:44:53 12 0

合同设计适合您吗?

您专业使用合同设计吗? 这是您从项目一开始就必须做的事情,还是您可以改变方向并开始将其纳入您的软件开发生命周期中? 您发现该设计方法的优点/缺…

如日中天 2024-07-05 01:51:53 11 0

api 文档和“值限制”:它们匹配吗?

您是否经常在 API 文档(例如“公共函数的 javadoc”)中看到“值限制”以及经典文档的描述? 注意:我不是在谈论代码中的注释 我所说的“值限制”是…

冬天旳寂寞 2024-07-04 10:27:00 12 0
更多

推荐作者

佚名

文章 0 评论 0

羁客

文章 0 评论 0

文章 0 评论 0

夏日落

文章 0 评论 0

隐诗

文章 0 评论 0

    我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
    原文