Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
什么是合约(如 C++17 的建议)?
我读到了有关合同的内容关于 C 17 的思考 http www open std org jtc1 sc22 wg21 docs papers 2015 n4492 pdf由 B Stroustrup 撰写 并协助进行了一次小型演讲 讨论了
c
Assertion
designbycontract
C17
如何在 java 类方法或构造函数中插入前提条件?
这是我正在上的 Java 课程 本书提到了前置条件和后置条件 但没有给出任何如何对其进行编码的示例 它继续讨论断言 我已经把它记下来了 但是我正在做的作业特别指出插入前提条件并用断言测试前提条件 任何帮助都会很棒 像 Eiffel 这样的语
Java
assert
designbycontract
preconditions
如何对我的方法输入参数设置验证约束?
以下是实现此目标的典型方法 public void myContractualMethod final String x final Set
Java
validation
annotations
designbycontract
Contract
参数异常应该进行单元测试吗?
我知道这个问题与之前发布的其他问题非常相似 但我想以适当的方式讨论这个主题 您认为 明显 的异常应该进行单元测试吗 对于明显的异常 我的意思是 例如 由于空参数或空字符串或负数而导致的异常 在我们单元的业务逻辑使我们明显看出这些异常总是会在
unittesting
Exception
designbycontract
何时在客户端和通用 GWT 代码中使用断言
StackOverflow 上有几个问题讨论何时应该使用断言语句而不是抛出异常 例子here https stackoverflow com questions 4333371 when to use assert and when to
Java
GWT
assert
designbycontract
代码契约:为什么有些不变量不在类之外考虑?
考虑这个不可变类型 public class Settings public string Path get private set ContractInvariantMethod private void ObjectInvariants
c
NET
staticanalysis
codecontracts
designbycontract
如何在 C# 中证明方法永远不会返回 null(按合同设计)
我有一个永远不会返回空对象的方法 我想澄清一下 这样我的 API 的用户就不必编写如下代码 if Getxyz null do stuff 我该如何表达这个意图 不幸的是 没有办法内置到 C 中 您可以记录这一事实 但这不会被自动检查 如果
c
designbycontract
按合同设计,编写测试友好的代码,对象构造和依赖注入将所有最佳实践结合在一起
我一直在试图找出编写测试友好代码的最佳实践 但更具体地说是与对象构造相关的实践 在蓝皮书中 我们发现我们应该在创建对象时强制执行不变量 以避免实体 值对象等的损坏 考虑到这一点 契约式设计似乎是避免对象损坏的解决方案 但是当我们遵循这个 我
unittesting
dependencyinjection
designbycontract
constructorinjection