Using AOP for transparent Design by contract.
用AOP进行透明的契约式设计。
Bertrand Meyer introduced the concept of Design by Contract.
BertrandMeyer介绍了契约式设计的概念。
He then goes into Design by Contract principles, and requirements management.
接着谈到契约式设计(Design by Contract)原则和需求管理。
AspectJ home page: Learn more about using aspects for Design by Contract testing.
AspectJ主页:了解使用方面进行契约式设计测试的更多内容。
Design by contract also makes explicit the contract definition that is more implicit in unit tests.
契约式设计也做了显式的合约定义,而在单元测试中这些更隐式。
Design by Contract has some advantages over unit testing, but the two methods are complementary.
契约式设计比起单元测试有些优势,但是这两种方法是互补的。
Another approach is design by Contract, a proven technique for clarifying component design details.
另一种方法是契约式设计,这是阐明组件设计细节的一项切实可行的技术。
Note that Design by Contract tests can be turned off in production deployments to remove their overhead.
注意,在生产部署时可以关闭契约式设计测试,以消除它们的开销。
The idea of the design by contract is introduced and applied into the analysis of the business component.
介绍了契约式设计的思想,并在业务构件的分析中引入了契约式设计,从而构造出可信的业务构件。
Static verification and design by contract relay on theorems that are mostly based on deterministic approach.
静态验证和契约式设计理论大部分属于确定性理论的范畴。
A Design by Contract tool like Contract4J is most helpful in situations where unit testing is sparse or difficult.
像Contract4J这样的契约式设计工具在单元测试比较分散或比较困难的时候最有帮助。
Design by contract avoids extra code and improves performance, as long as all clients of a class abide by the contract.
契约式设计避免了额外的编码并提高了性能,只要所有的客户都遵守契约。
As previously noted, it is true that unit testing and Design by Contract accomplish similar objectives by different means.
正如前面提到过的,单元测试和契约式设计用不同的方式实现类似的目标。
Now that you understand the necessary infrastructure for implementing Design by Contract with AOP, you can put it to work.
理解了用AOP实现契约式设计的必要基础设施后,就可以让它工作了。
Therefore, strictly speaking, it may appear that Design by Contract isn't an appropriate candidate for an AOP approach at all.
所以,严格来说,契约式设计看起来可能根本不是AOP 技术的备选方案。
Significant patterns include design by contract, well-defined interfaces, composability, predictable behavior, and component testing.
重要模式包括契约式设计、定义良好的接口、可组合性、可预测的行为和组件测试。
Design by Contract, or programming by Contract, is not a new concept in programming, many languages already having such implementations.
契约式设计(或“契约式编程”)并不是编程领域的新概念,许多语言中已经有类似的实现了。
Find out what happens when you combine defensive programming, design by contract, and an easy-to-use generic validation framework called OVal.
尝试为应用程序整合进防御性编程、契约式设计和一种叫做OVal的易用的通用验证框架。
For your internal needs, you want to use Design by Contract since you have control over the developers in your organization that will use the classes.
为了你的内部需要,你要使用契约式设计进而来使用类,因为你已经在你的组织中控制开发人员。
One of the major benefits of Design by Contract is that it provides explicit information within the interface or class itself about expected behavior.
契约式设计的一个主要优势是,它在接口或类本身当中提供了关于预期行为的显式信息。
With Design by Contract, you can use programmatic expressions to specify the requirements on inputs to a component, as well as on the returned results.
使用契约式设计,可以用可编程表达式指定对于组件输入和返回结果的要求。
Design by Contract lets the class designer concentrate on the logic that implements the class functionality without worrying about the validity of arguments.
契约式设计让类的设计者专注于实现了类的功能性的逻辑,而不用担心实参的有效性。
The concept of Design by Contract allows you to define some constraints and invariants of your class. Statically typed languages have a primitive version of this.
契约设计这样的概念允许我们在类中定义一些约束和限制。
It does not address other issues such as performance, user input mistakes, etc. Design by contract USES three types of tests to specify and ensure component behavior.
它并不解决其他诸如性能、用户输入之类的问题。
An expansion method for programming language based on design by contract is proposed while some errors may be happen during the game robot designing with graphical editor.
针对游戏机器人开发平台在图形编程过程中可能出现的错误,提出了一种基于契约式设计思想的程序设计语言扩展方式。
The Air Force is expected to award a sole source contract for the SDB II system design and development phase by late 2009.
美国空军同时还授出了另一份合同,并希望在2009年晚些时候明确SDBII系统设计和开发阶段合同的归属。
This capability is supported by the recommended contract design policies (indicated by the dotted oval in the SOAMM figure).
这个能力由推荐的契约设计策略支持(在SOAMM图中由虚线椭圆标出)。
This weakness can be mitigated by stating and enforcing certain design and coding guidelines such as contract-first development.
这个缺点可通过表述和强制某种设计和编码指南(如契约优先的开发)得到缓解。
The contract calls for Boeing to design, develop, manufacture and deliver 18 initial combat-ready tankers by 2017.
该合同要求波音公司到2017年设计、开发、制造和提供18架初始备战的加油机。
The Seller undertakes to make all the engineering designs of the Contract Plant according to the basis of design stipulated in Annex I to the Contract, except the designs to be performed by the Buyer.
卖方需根据合同附件I所规定的设计基础完成合同工厂的所有工程设计,买方负责的设计除外。
应用推荐