大家在查：后置条件亚述帝国十字军马穆鲁克王朝阿拉伯复兴社会党面向对象程序设计未定义行为香港大会堂上海市档案馆中国第二历史档案馆

契约式设计

网络design by contract; DBC; Design By Contract,DBC

契约式设计

契约式设计

契约式设计

design by contract

2008年7月10日随笔档案 - 两颗番茄 - 博客园 ... derived class 派生类 design by contract 契约式设计 design pattern 设计模式 ...

DBC

契约式设计（DBC）是永不使用调试器的最好方法.虽然很少讨论，但这项技术获得的称赞应该等同于测试驱动开发所获得的。…

Design By Contract,DBC

　　中文摘要: 基于契约式设计(Design By Contract,DBC)这一理论是由Betrand Meyer提出的。DBC技术的核心是利用断言使方法及 …

DbyC

一个使用了契约式设计（DbyC）的函数存在前提条件和后置条件,当然这些前提条件和后置条件应该是适当的，而且通过测试也 …

1

Therefore , strictly speaking, it may appear that Design by Contract isn't an appropriate candidate for an AOP approach at all.

所以，严格来说，契约式设计看起来可能根本不是 AOP 技术的备选方案。

2

4

6

Bertrand Meyer introduced the concept of Design by Contract .

BertrandMeyer 介绍了契约式设计的概念。

7

In this final article in the AOP@Work series , I introduce you to Contract4J, an AspectJ-based tool that supports Design by Contract .

在 AOP@Work 系列的最后这篇文章中，我将介绍 Contract4J ，这是一个基于 AspectJ 的工具，支持契约式设计。

9

Contract4J makes it efficient and straightforward to define Design by Contract tests in an intuitive manner , using Java 5 annotations .

Contract4J 使用 Java5 标注，以直观的方式使得契约式设计测试的定义变得更有效更简单。

11

What's more, this crosscutting concern starts to bleed into the notion of design by contract (DBC).

而且，横切关注点开始渗入到契约式设计（DBC ）的概念中。

14

16

Static verification and design by contract relay on theorems that are mostly based on deterministic approach .

静态验证和契约式设计理论大部分属于确定性理论的范畴。

17

A Design by Contract tool like Contract4J is most helpful in situations where unit testing is sparse or difficult .

像 Contract4J 这样的契约式设计工具在单元测试比较分散或比较困难的时候最有帮助。

18

In effect , DbC advocates writing the assertions first.

实际上，契约式设计倡导起首写断言。

19

Design by contract is a tool for finding and fixing logic bugs in code .

契约式设计是一种发现和修复代码中逻辑错误的工具。

20

Could you give an overview of Design by Contract ?

你可以概括描述一下契约式设计吗？

热词推荐

大家在看