ASP.NET教程之.NET代码左券组件今朝已供应下载仓酷云
简单的说：.net只有微软一家在做的，微软也不允许别人跟他做相同的工具，所以他就把需要的工具全部封装在.net的平台上了；而net网页编程是公开了。代码左券（CodeContracts）是“左券式计划”的.NET完成。依照原企图它将与.NET4.0一同公布，不外如今开辟职员已能够从DevLab高低载这个组件了。“左券”为API的利用增添了限定和更多考证，编程因而变得更加平安，并可无效制止在运转中呈现料想以外的毛病。左券式计划（或“左券式编程”）并非编程范畴的新观点，很多言语中已有相似的完成了。代码左券为.NET引进了这类编程范式。复杂地说，它在托付方（挪用者）和供应方（被会见的API）二者之间创建一个左券，在恪守左券标准的情形下，托付方则更有掌控从供应方那边取得预期的了局，而供应方也对托付方倡议准确的挪用有了更多信念。
今朝代码左券组件中包括三种左券前提：前置前提（pre-conditions）、对象稳定量（objectinvariants）、及后置前提（post-conditions）。前置前提可反省机关函数或办法的挪用是不是失掉了准确的参数。后置前提则用于查验前往值的正当性。对象稳定量则将特定前提使用于对象的形态上，确保其不会具有不法的值。
这听起来与单位测试很相像，不外它意味着如今已能够在构建时代实行这些考证了。编译器会依据左券来反省代码是不是满意了一切的前提，并在呈现情况时收回告诫。如许程序员就能够当即得知前提是不是失掉满意，并在运转代码之行进行必定调剂。
今朝DevLabs的事情还包含从左券中天生项目文档。任何人浏览了某个API的文档以后就可以懂得它一切的左券前提。
利用代码左券可以失掉更好、更平安的代码，并为内部API供应符合的利用引导，终极有助于开辟出更高质量的软件。
有效的链接：代码左券在线文档、微软研讨院的代码左券网站和相干论坛。
检察英文原文：CodeContractsfor.NETIsAvailableforDownload
本文出自：http://www.infoq.com/cn/news/2009/02/Code-Contracts-.NET
前几天同学问我学习方向的问题。有点想法，不知道对不对，怕误导同学，现在“开源一下”。注：括号内是我现在整理的时填加上的。 逐步缩小出错代码段的范围，最终确定错误代码的位置。 Servlet的形式和前面讲的CGI差不多，它是HTML代码和后台程序分开的。它们的启动原理也差不多，都是服务器接到客户端的请求后，进行应答。不同的是，CGI对每个客户请求都打开一个进程（Process）。 主流网站开发语言之PHP:PHP的全名非常有趣，它是一个巢状的缩写名称——“PHP:HypertextPreprocessor”，打开缩写还是缩写。PHP是一种HTML内嵌式的语言(就像上面讲的ASP那样)。而PHP独特的语法混合了C，Java，Perl以及PHP式的新语法。它可以比CGI或者Perl更快速地执行动态网页。 那么，ASP.Net有哪些改进呢？ 主流网站开发语言之ASP:ASP是微软（Microsoft）所开发的一种后台脚本语言，它的语法和VisualBASIC类似，可以像SSI（ServerSideInclude）那样把后台脚本代码内嵌到HTML页面中。虽然ASP简单易用，但是它自身存在着许多缺陷，最重要的就是安全性问题。 使用普通的文本编辑器编写，如记事本就可以完成。由脚本在服务器上而不是客户端运行，ASP所使用的脚本语言都在服务端上运行，用户端的浏览器不需要提供任何别的支持，这样大提高了用户与服务器之间的交互的速度。 以上是语言本身的弱点，在功能方面ASP同样存在问题，第一是功能太弱，一些底层操作只能通过组件来完成，在这点上是远远比不上PHP/JSP，其次就是缺乏完善的纠错/调试功能，这点上ASP/PHP/JSP差不多。 对于中小项目来说.net技术是完全可以胜任，但为什么现在大型公司或网站都选择php或java呢？就是因为微软不够开放，没有提供从硬件到应用服务器再到业务应用的整套解决方案。 它可通过内置的组件实现更强大的功能，如使用A-DO可以轻松地访问数据库。 平台无关性是PHP的最大优点，但是在优点的背后，还是有一些小小的缺点的。如果在PHP中不使用ODBC，而用其自带的数据库函数（这样的效率要比使用ODBC高）来连接数据库的话，使用不同的数据库，PHP的函数名不能统一。这样，使得程序的移植变得有些麻烦。不过，作为目前应用最为广泛的一种后台语言，PHP的优点还是异常明显的。 对于中小项目来说.net技术是完全可以胜任，但为什么现在大型公司或网站都选择php或java呢？就是因为微软不够开放，没有提供从硬件到应用服务器再到业务应用的整套解决方案。 可以看作是VC和Java的混合体吧，尽管MS自己讲C#内核中更多的象VC，但实际上我还是认为它和Java更象一些吧。首先它是面向对象的编程语言，而不是一种脚本，所以它具有面向对象编程语言的一切特性。
页:
[1]