×

J承包商

swMATH标识: 1488
软件作者: 卡拉曼,穆拉特;阿伯克龙比,帕克
说明: jContractor:使用反射字节码工具将契约式设计引入Java契约式设计是一种软件工程实践,它允许将语义信息添加到类或接口中,以精确地指定正确操作所需的条件。契约式设计的基本构造是方法前置条件和后置条件以及类不变量。本文给出了jContractor的详细设计和实现概述,jContractor是一个免费提供的工具,允许程序员按照直观的命名约定将“契约”编写为标准Java方法。前置条件、后置条件和不变量可以与任何类或接口关联,或由任何类或接口继承。jContractor执行动态字节码检测,以检测程序执行过程中是否违反契约规范。jContractor的字节码工程技术允许它指定和检查契约,即使源代码不可用。jContractor是一个纯Java库,它提供了一组丰富的语法结构,用于在不扩展Java语言或运行时环境的情况下表达契约。这些构造包括对谓词逻辑表达式的支持,以及引用属性的入口值和方法的返回值。在运行时,可以对监视级别进行细粒度控制。由于契约方法允许使用无约束的Java表达式,因此除了运行时验证之外,它们还可以执行额外的运行时监视、日志记录和分析
主页: http://jcontractor.sourceforge.net/
关键词: J承包商;合同设计;爪哇;这样在没有字节码编入
相关软件: 吉咪;艾菲尔;规格#;贾斯;朱尼特;落叶松;JavaScript;Z;JPAX公司;旋转;ConSpec公司;瓦尔格林;科拉特;电子稳定控制系统/Java;日本日报;日常生活;安特尔
引用于: 9种出版物

按年份列出的引文