j承包商 swMATH ID: 1488 软件作者： 卡拉曼，穆拉特；帕克·阿伯克龙比 描述： jContractor：使用反射字节码插装将design-by-contract引入Java契约式设计是一种软件工程实践，它允许将语义信息添加到类或接口中，以精确指定正确操作所需的条件。契约式设计的基本结构是方法前提和后置条件以及类不变量。本文介绍了jContractor的详细设计和实现概述，jContracter是一个免费的工具，允许程序员按照直观的命名约定将“契约”作为标准Java方法编写。前置条件、后置条件和不变量可以与任何类或接口关联或由其继承。jContractor执行实时字节码检测，以检测程序执行期间违反合同规范的情况。jContractor的字节码工程技术允许它指定和检查合同，即使源代码不可用。jContractor是一个纯Java库，它提供了一组丰富的语法结构来表示契约，而无需扩展Java语言或运行时环境。这些构造包括对谓词逻辑表达式的支持，以及引用属性的入口值和方法的返回值。可以在运行时对监控级别进行精细控制。由于契约方法可以使用无约束的Java表达式，除了运行时验证之外，它们还可以执行额外的运行时监视、日志记录和分析 主页： http://jcontractor.sourceforge.net/ 关键词： j承包商;按合同设计;Java语言;这样在没有字节码编入 相关软件： JML公司;艾菲尔;规格#;贾斯;JUnit公司;落叶松;JavaScript脚本;Z轴;日本运通银行;自旋蛋白;ConSpec公司;瓦尔格林德;科拉特;电子稳定控制系统/Java;Daikon公司;ANTLR公司;ADL公司 引用于： 9文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 jContractor：使用反射字节码插装将design-by-contract引入Java。 Zbl 1086.68534号穆拉特·卡拉曼;帕克·阿伯克龙比 2005 全部的 前5名21位作者引用 2 Yoonsik Cheon先生 2 Gary T.Leavens。 1 帕克·阿伯克龙比 1 娜塔莉亚·比埃洛娃 1 安妮特·比纽萨 1 柯蒂斯·克利夫顿 1 大卫·R·科克。 1 安东尼奥·科罗纳托 1 朱塞佩·德皮埃特罗 1 尼古拉·德拉戈尼 1 菲利普·海德格尔 1 穆拉特·卡拉曼 1 埃胡德·拉姆 1 法比奥·马萨奇 1 罗斯·麦凯尼 1 卡齐亚琳娜·纳柳卡 1 莱因霍尔德普洛什 1 克莱德·鲁比 1 谢泼德，特里 1 Siahaan，Ida R。 1 彼得·蒂曼。 4篇连载文章中引用 1 计算机程序设计科学 1 工程软件进展 1 系统设计中的形式化方法 1 逻辑与代数程序设计杂志 在1个字段中引用 9 计算机科学（68至XX） 按年份列出的引文