对象约束语言

作品数：55被引量：113H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：彭中杜浩曾一毛晓光张申生更多>>
相关机构：重庆大学南京航空航天大学国防科学技术大学南京理工大学更多>>
相关期刊：《计算机辅助设计与图形学学报》《南京理工大学学报》《计算机集成制造系统》《信息技术与信息化》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国防科技技术预先研究基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与设计x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于UML和OCL的类间交互测试用例生成算法研究被引量：1
《计算机工程与设计》2012年第11期4219-4224,共6页冯秋燕 
针对面向对象软件的类、封装、继承、动态连接等特性,对对象建模语言(UML模型)中的顺序图添加对象约束语言(OCL约束),做类间交互的软件测试。提出执行图EG生成算法,将顺序图SD转换为EG,解决UML2.0顺序图新增特性中的alt,loop,opt,break...
关键词：对象建模语言 顺序图 对象约束语言 执行图(EG) 测试场景 测试用例 
OCL约束验证与实现的方法被引量：1
《计算机工程与设计》2010年第6期1264-1266,1270,共4页罗清胜 
为了能在运行时验证OCL约束,提出了约束验证框架。针对OCL-Java代码(即OCL约束对应的可执行Java代码)插入的简单方案和封装方法存在的不足,给出了改进的代码插入方案,其中应用异常处理技术从而能够捕获冲突的约束。为了使OCL-Java代码...
关键词：对象约束语言 约束冲突 约束验证 代码模式 Java解析器 
基于对象约束语言规格的变异分析
《计算机工程与设计》2008年第3期560-562,565,共4页赵国平 张云华 葛峰 
由于传统形式化语言的复杂性以及当前变异分析系统性能问题,基于规格的变异分析一直没有得到广泛的应用。介绍辅助UML建模的对象约束语言(OCL)和基于规格变异分析的基本理论。提出一种新型的OCL规格变异系统的设计方案,并详细描述了一...
关键词：对象约束语言 统一建摸语言 变异算子 规格变异 软件测试 
基于OCL的模型转换语言被引量：2
《计算机工程与设计》2006年第18期3436-3438,3441,共4页陈训威 
首先对模型驱动以及与模型驱动开发密切相关的元模型和模型转换两个问题进行了简要的说明,并介绍了模型转换框架的相关概念,然后对对象约束语言(OCL)进行了相关的讨论,并对基于OCL的模型转换语言的元模型进行了说明。最后,在讨论的基础...
关键词：模型驱动开发 模型转换 统一建模语言 对象约束语言 面向对象建模 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部