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公司;瓦尔格林德;Korat公司;电子稳定控制系统/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) 按年份列出的引文