.NET的Contract类库是Declarative Programming实践的一部分,可以对日常编程带来很多好处: 提高代码可读性,使用者一看Require, Ensure就知道这方法接受什么输入,产生什么输出. 减少重复的验证代码 配合第三方工具,可以方便静态代码分析和单元测试,方便产生API文档,这些功能可以参见Code Contract主页 Contract类本身已经在.NET 4.0之后集成进了System.Diagnostics.Contracts命名空间,但如果想使用Contr

Exploring the .NET CoreFX (2014-2015) On November 12, Microsoft announced that it will be releasing the .NET core as open source. The .NET core includes the Core Foundational Libraries (CoreFX), the Common Language Runtime (CoreCLR), and many other t

原文地址:https://msdn.microsoft.com/en-us/library/bb822049(v=vs.110).aspx NET Framework Versions and Dependencies .NET Framework (current version) Other Versions Each version of the .NET Framework contains the common language runtime (CLR), the base clas

(此文章同时发表在本人微信公众号"dotNET每日精华文章",欢迎右边二维码来关注.) 题记:要编写更好代码的途径有很多,其中一种方式就是给代码加上契约.今天推荐的文章就是介绍微软研究院推出的开源Code Contract工具库的使用. 所谓代码契约就是让你用额外的代码来表达应用程序中对业务代码的假设情况,一般可以执行预先条件判断.过后条件判断和对象不可变判断.而微软研究院为.NET提供了这样的工具,即VS的扩展工具Code Contracts for .NET(现在仅支持到2013版

结对项目内容:http://www.cnblogs.com/jiel/p/4830912.html 结对成员:康家华,马腾跃(http://www.cnblogs.com/summerMTY) 关于结对编程 “在结对编程模式下,一对程序员肩并肩地.平等地.互补地进行开发工作.两个程序员并排坐在一台电脑前,面对同一个显示器,使用同一个键盘,同一个鼠标一起工作.他们一起分析,一起设计,一起写测试用例,一起编码,一起单元测试,一起集成测试,一起写文档等.”——<构建之法> 通过阅读教科书和网络上的参

名词定义 下列这些名词,写.NET 的人一定都不陌生,但你是否有真正理解呢?如果看了我的摘要文字说明还无法理解的话,建议多查询相关文件或书籍,或直接在文章最下方留言讨论. CLR ( Common Language Runtime ) CLR 是.NET Framework 的虚拟机器元件(virtual machine component),用来管理执行中的.NET 程序. CLR有个重要的流程是JIT编译 (just-in-time compilation)机制,可以将.NET程式编译过的中

INotifyPropertyChanged Undo/redo Code contracts (preconditions) Logging Transaction handling Exception handling Thread dispatching Thread synchronization Immutable Authorization Audit Caching 老外还是比较实在的,适用什么范围都列出来了.

领域驱动设计之单元测试最佳实践(一) 介绍完了DDD案例,我们终于可以进入主题了,本方案的测试代码基于Xunit编写,断言组件采用了FluentAssertions,类似的组件还有Shouldly.另外本案例使用了Code Contracts for .NET,如果不安装此插件,可能有个别测试不能正确Pass. 为了实现目标中的第二点:"尽量不Mock,包括数据库读取部分”,我尝试过3种方案: 1.测试代码连接真实数据库,只需要将测试数据库配置到测试项目中的web.config中,即可达到这一目

一般在写方法的时候,第一步就是进行参数验证,这也体现了编码者的细心和缜密,但是在很多时候这个过程很枯燥和乏味,比如在拿到一个API设计文档的时候,通常会规定类型参数是否允许为空,如果是字符可能有长度限制,如果是整数可能需要判断范围,如果是一些特殊的类型比如电话号码,邮件地址等,可能需要使用正则表达式进行判断. 通常,我们一般都是在方法开始的地方进行条件判断,然后抛出合适的异常,这是最普通和通用的做法,但是在.NET中,利用一些语言特性和类库,可以使用一些其他的方式将我们从复杂繁琐的工作中解放出来