契约式设计

最新推荐文章于 2021-03-25 09:48:10 发布
最新推荐文章于 2021-03-25 09:48:10 发布
阅读量853 收藏
点赞数
文章标签： .net c
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/rugate/article/details/4657132
版权

这几天在看SharpArch，其中应用到"契约式设计",特收录资料如下：

值得注意的是：.net 4.0已经提供Contract的支持了！

 

http://www.codeproject.com/KB/cs/designbycontract.aspx Design by Contract Framework

 

http://blogs.msdn.com/silverlightshanghai/archive/2009/08/20/net-4-0-design-by-contracts.aspx .NET 4.0中的新功能介绍：契约式设计 (Design By Contracts)

 

http://tech.sina.com.cn/s/2008-08-15/0920769626.shtml SOA和契约式设计

 

http://hi.baidu.com/janneyting/blog/item/33c3e9996a8d750a6f068c13.html 契约式设计

 

http://blog.chinaunix.net/u/8650/showart_267493.html 读“Design by Contract 原则与实现”

http://hi.baidu.com/janneyting/blog/item/0dcd3159d2a0ed282934f01c.html 什么是契约——Eiffel的观点
译文：Design by Contract（契约式设计）

金软(GoldArch)：印刷MES开发
关注
Design by Contract（契约式设计）
网络
09-18 2056
Design by Contract是Bertrand Meyer总结的一项设计技巧 Design by Contract的核心是断言（assertion）。所谓“断言”，是指永远为真的布尔型语句，如果不为真，则程序必然存在错误。通常情况下，检查断言的时机，应该局限于调试（debug）阶段，而不是代码的实际执行阶段。实际上，完成的程序永远不应期望断言会被检查。 Design by Contra
java契约式编程_契约式设计 Design by contract
weixin_36303462的博客
02-26 687
在我职业之初，我想得最多的是：当调用一个方法时，传入的参数，我是进入该方法前检查呢？还是进入到该方法后检查？特别是在某个方法中，为了保证该方法能顺利执行，之前的条件检查、if…else…简直是噩梦。所以我会想：至于吗？有必要这样做吗？哇，这个问题让我纠结了好长时间。其实，问题本身并不难，只是需要抽象出一个理念，或是原则，然后一直这样做。后来，我为自己定个原则：在进入方法前，进行严格检查；而进入到方...
Design By Contract 契约式设计
weixin_34013044的博客
11-28 290
契约式设计(Design By Contract)把类和它的客户程序之间的关系看作正式的协议，描述双方的权利和义务。Bertrand Meyer把它称作构建面向对象软件系统方法的核心。 契约式设计的提出，主要基于软件可靠性方面的考虑。可靠性包括正确性和健壮性，正确性指软件按照需求规格执行的能力，健壮性指软件对需求规格中未声明状况的处理能力。健壮性主要与异常处理机制相关 。正确性一方面包...
6.3 契约式设计
baoaiqiang8202的博客
03-17 591
3、契约式设计 Design by Contract 　　 可信软件设计的基础思想 　　  谚语: When ideas fail, words come in very handy ! 　　　　他人译文“殚思竭虑之时，文字将成为利器” 本人认为“当想法失败时，总会出来许多理由辩解”3.1 问题的引入 由谁负责系统的可靠性？3.2 Contract (契约) History ...
契约式设计在可信业务构件中的应用 (2006年)
05-26
契约式设计是一种软件开发方法学，由Bertrand Meyer提出，其核心思想是将软件元素赋予客户与供应商的角色，通过契约来明确双方的权利和义务。契约式设计在软件开发中的应用被广泛研究，尤其是在可信业务构件的设计中...
契约式设计（Dbc）以及其在C语言中的应用
Rain_Mic的博客
11-08 1690
转载时请表明出处 作者联系方式：liuyuxin0829@qq.com 一、前言   本周培训中接触到了契约式设计，查阅了许多资料后仍然是一知半解，与同事和大学导师交流了后，受到了启发，本文记录总结了个人对契约式设计的学习感悟。 二、什么是契约式设计？ 1、概述   契约式设计/契约式编码（Design by Contract(DbC)，以下简称 DbC ）是一种设计计算机软件的方法。这种方法描述了，软件设计者应该为软件组件定义正式的、准确的、可验证的接口规范，它扩展了抽象数据类型对于先验条件、后验条件和不
handshake:Ruby 的契约式设计框架
06-03
握手 Handshake 是一个用纯 Ruby 编写的非正式 AOP 和系统。 它旨在允许 Ruby 开发人员对其方法和类应用简单、清晰的约束。 特征 方法签名合约 区块和过程的合约 方法前置和后置条件 类不变量 例子 ...
Design By Contract(契约式设计)
u013571243的专栏
08-15 3315
1.前提 这是Bertrand Meyer在EL语言中提出的一个设计风格,流行了近20年。不过现在比较少用,不是很流行了,主要原因在下面提出   2.什么是契约式设计 契约式设计就是按照某种规定对一些数据等做出约定,如果超出约定,程序将不再运行,例如要求输入的参数必须满足某种条件 在scala中常用require和assume等 class BankAccount(val balanc
契约式设计（Design by Contract）
woody218的博客
03-25 2019
原则1 区分命令和查询。查询返回一个结果，但不改变对象的可见性质。命令改变对象的状态，但不一定返回结果。 原则 2 将基本查询同派生查询分开。派生查询可以用基本查询来定义。 原则 3 针对每个派生查询，设定一个后验条件，使用一个或多个基本查询的结果来定义它。这样我们只要知道基本查询的值，也就能知道派生查询的值。 原则 4 对于每个命令都撰写一个后验条件，规定每个基本查询的值。结合“用基本查询定义派生查询”的原则，我们已经能够知道每个命令的全部可视效果。 原则 5 对于每个查询和命令，采用一个合适的先验条件。
契约式设计Design by contract
http://www.cnblogs.com/liuning8023/
09-18 1193
无处不在的契约式设计Design by contract
契约式设计（异常/断言）
weixin_44168355的博客
05-07 421
Java语言在程序运行时检验程序状态的机制： 异常（Exception），一般用于处理不受我们控制的不可预见的错误； 断言（Assertion），验证我们在代码中做出的一些假设。 1.异常与错误 异常与错误都是程序运行中出现的破坏性事件。Java采取的是抛出异常或抛出错误。也可以创建自己的异常，最简单的一种是RuntimeException，他会中断程序的执行并打印出一条出错信息： throw n...
契约式设计的优点、开销和限制
柳柳的小小空间
10-21 2280
1.获得更优秀的设计更系统的设计 契约式设计鼓励程序员思考诸如“例程的先验条件是什么”这样的问题，这样有助于程序员理清概念。更清楚的设计 使用者和提供者之间的权利和义务得到了共享，同时获得了清晰的描述。更简单的设计 程序的先验条件清楚地描述了使用该程序的限制，而且非法调用的结果也很清楚，所以我们鼓励程序员不要开发过于通用的程序，而要设计小巧的、目标专一的例程。控制对继承的使用 例如，当要用到多态性
契约式设计引论 --建造无错软件
testdownabc的专栏
04-26 524
感谢译者的辛勤付出，更感谢原作者的智慧共享。 译文转载自：http://softwarepractitioner.org/translations/meyer/contract.shtml =========================================================================   概  述 「契约式设计」...
浅谈契约式编程
cjsycyl的专栏
04-05 789
契约式编程是编程的一种方法。那么什么是契约式编程呢？我想这个概念是从“合同”演变过来的。 在人类的社会活动中，契约一般是用于两方，一方（供应者）为另一方（客户）完成一些任务。每一方都期待从契约中获得利益，同时也要接受一些义务。通常，一方视为义务的对另一方来说是权利。契约文档要清楚地写明双方的权利与义务。 契约合同能保障双方的利益，对客户来说，合同规定了供应者要做的工作；对供应者来说，合同说明了
前后端分离API设计指南
热门推荐
周陆军的博客，分享it技术。
03-16 2万+
原文首发：http://www.zhoulujun.cn/zhoulujun/html/theory/model/8026.html谈前后端分工，接口设计，resetful啥，不得不谈谈web的发展史。在web元年，每个web开发工程师都是真正的全栈工程师。哪有什么前后不搭边的事儿！到MVC时代，术业开始专工了。有最流行的Spring，有了iBatis这样的数据持久层框架，即ORM，对象关系映射，...
java断言的使用和契约式设计编程模型简介
昝昝的博客
10-09 1037
编写代码时，我们总是会做出一些假设，断言就是用于在代码中捕捉这些假设 可以将断言看作是异常处理的一种高级形式 断言表示为一些布尔表达式，程序员相信在程序中的某个特定点该表达式值为真 可以在任何时候启用和禁用断言验证，因此可以在测试时启用断言而在部署时禁用断言。同样，程序投入运行后，最终用户在遇到问题时可以重新起用断言。 使用断言可以创建更稳定，品质更好且易于除
提升契约式设计实践：优化与继承策略
契约式设计（Design by Contract, 简称 DbC）是一种编程范式，强调在软件开发过程中通过预先定义的方法、属性和条件来确保软件组件间的交互满足预期的行为和约束。这一理念由 Bertrand Meyer 提出，他认为 DbC 是...
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值