首页 > TAG信息列表 > design-by-contract

c#-接口类型的代码协定类的命名约定

我正在使用System.Diagnostics.Contracts命名空间中的Code Contracts类来为我的对象定义一些合同,并且我想知道在针对基本接口定义合同时其他人如何命名其合同类.让我用一个小例子来说明： [ContractClass(typeof(AnimalContract))] public interface IAnimal { // definition h

可选的PHP类型提示/检查单元测试或静态分析？

PHP类型提示不支持标量变量[1],如int或string 但是,我们发现在连续集成期间注释函数中的类型(int或string)以发现错误仍然非常有用,例如： 目前我用的方法就像 function foo($s) { //assert( is_string($s), 'not a string' ); ... } 在单元测试和开发模式期间,断言将被取

代码合同与规范之间的差异#

我想在C#中实现DBC.我面对的是Spec#和Code Contract. Spec#和Code Contract有什么区别？解决方法:这是从Code Contracts FAQs at Microsoft Research： Do Code Contracts have anything to do with Spec#? Code Contracts is a spin-off from the Spec# project. Spec#’s research

java – 如何为抽象方法编写合同？

我在我的Java项目中使用契约. (合同=在方法的开始和结束时进行检查) 我想知道是否有一个很好的方式/模式来编写泛型方法的合同.例如： public abstract class AbstractStringGenerator{ /** * This method must return a new line as it's last char * @return string

java – 按契约和类不变量设计

我正在读关于dbc(http://en.wikipedia.org/wiki/Design_by_contract)有人可以给我一个使用与继承相关的类不变量的简单例子吗？解决方法:合同概念设计在适应面向对象语言时会略微复杂化. 类invariant是一个属性,当调用一个方法时(例如所有方法的常见前提条件),该类的每个实例都保证具

php的合同框架是否有设计？

是否有一个框架或库,可以帮助我在我的应用程序中按合同实现设计？ 在最好的情况下,它会在注释中使用类似注释的javadoc.解决方法:我已经开始研究合同设计项目PHP-Contracts 还有一些关于这个主题的博客文章： > Towards a style of contract programming > Design by contract in PHP w