OCL约束

作品数：10被引量：19H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：冯秋燕黎升洪江春柴艳欣曾一更多>>
相关机构：重庆大学苏州大学郑州大学江西财经大学更多>>
相关期刊：《计算机应用研究》《电脑开发与应用》《沈阳工程学院学报（自然科学版）》《计算机与现代化》更多>>
相关基金：国家自然科学基金江苏省自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
带OCL约束的多态路径测试线索生成方法
《计算机工程》2013年第8期92-96,102,共6页曾一 刘青香 王翠钦 洪豪 
统一建模语言(UML)无法精确描述系统模型,只能从某一层面描述系统信息,从而导致基于UML模型的多态测试不完备。为此,提出一种带OCL约束的多态路径测试线索生成方法。通过在类图中加入OCL约束信息,考虑类图中多态性对测试的影响,结合UML...
关键词：统一建模语言 对象约束语言 多态性 协作图 消息间受限控制流图 测试线索 
基于UML模型和OCL约束的类间交互测试用例生成方法研究被引量：5
《电子学报》2013年第6期1242-1248,共7页柴玉梅 冯秋燕 王黎明 
面向对象所具有的类、封装、继承、动态连接等特性,使得面向对象测试步骤的划分以及测试策略的选择有别于传统的测试思想.本文针对面向对象软件的特点,采用基于模型的软件测试方法,对UML(United Model Language)设计模型中的顺序图添加O...
关键词：UML 顺序图 OCL 执行图(EG) 测试场景 测试用例 
在带OCL约束的状态图下测试线索的自动生成
《计算机应用研究》2011年第3期988-990,994,共4页曾一 徐攀登 柴艳欣 邹明 丁娜 
提出一种带OCL约束的状态图测试线索的自动生成方法。该方法自动解析类图和带OCL约束的状态图的XML模型文件,获取相应的状态节点邻接表,再结合状态对—事件约束集合生成带OCL约束的测试线索。实例研究表明,通过OCL约束冲突判断可避免不...
关键词：对象约束语言 可扩展标记语言 类图 状态图 测试线索 约束冲突 
基于Object-Z的带OCL约束的UML类图形式化描述
《沈阳工程学院学报（自然科学版）》2008年第4期372-375,共4页江春 
UML2.0 OCL是基于一阶谓词逻辑和集合论的形式化语言,用它对UML类图进行条件约束后,类图便具备了严格的语法和精确的语义,同时也具备了演绎验证的基本条件.但由于目前的建模工具还无法对缺乏精确语义的UML类图进行有效的演绎验证,因此...
关键词：统一建模2.0 对象约束语言 面向对象Object—Z语言 
基于Object-Z的带OCL约束的UML类图形式化描述被引量：1
《沈阳师范大学学报（自然科学版）》2008年第4期456-459,共4页江春 
UML OCL是基于一阶谓词逻辑和集合论的形式化语言,用它对UML类图进行约束后类图便具备严格语法和精确语义,同时也具备了演绎验证的基本条件;但由于目前的建模工具还无法对缺乏精确语义的UML类图进行有效的演绎验证.因此提出了一种带OCL...
关键词：统一建模2.0 对象约束语言 形式化语言Object-Z 
基于OCL约束的多态性时序图测试用例生成方法
《解放军理工大学学报（自然科学版）》2008年第3期222-227,共6页周航 黄志球 孙海燕 张广泉 祝义 
航空科学基金资助项目(01152058);重庆市自然科学基金资助项目(CSTC;2006BB2259);江苏省高校自然科学基金资助项目(05KJB520119)
由于UML时序图不能够描述多态性,导致根据时序图生成的测试用例存在不足,无法测试多态性方法。提出了一种对多态性时序图的形式化及相应测试用例的生成方法。根据类约束和满意集规则确定类的多态性方法集CSPM(class sets of polymorphis...
关键词：测试用例 统一建模语言 对象约束语言 时序图 多态性 
带OCL约束条件的类图到Object-Z规格说明的转换被引量：4
《计算机科学》2007年第1期228-235,共8页缪淮扣 陈怡海 
国家自然科学基金(项目编号60373072);国家973项目(批准号2002CB312001);上海市教委第四期重点学科建设基金的资助
如何提高软件的可靠性是目前软件研究领域的一个热点。将形式化方法和主流的软件开发方法相结合是一个可行的方法。本文研究UML语言和Object-Z语言相结合的方法,为主流的软件开发人员所使用的图形化规格说明技术与形式方法提供的精确的...
关键词：UML 类图 OCL约束 OBJECT-Z规格说明 
基于USE的OCL约束验证过程解析
《计算机与现代化》2006年第12期75-78,共4页罗清胜 黎升洪 
系统的静态模型通常由UML类图和OCL约束两部分构成。OCL约束可以转化为相应的程序代码,为此需要对模型及约束进行验证与确认。本文阐述了OMG的四层元模型框架,并以一个简易的模型为例,说明用USE对模型进行验证的全过程。
关键词：OCL约束 元模型 验证与确认 
对象约束语言及其在精化PIM中的应用
《电脑开发与应用》2006年第2期24-26,共3页邱芬 杜浩 
大连市科学技术局立项的"软件项目管理系统的设计与实现"(编号:2003A3GX032)
为了应用精确、完备的PIM自动进行模型转换、校验及编译,分析了OCL元模型与UML元模型间的关系,在此基础上对OCL在精确化平台无关模型(PIM)方面的应用进行了研究,指出OCL面临的挑战,并对OCL的研究方向提出了几点建议。对象约束语言OCL可...
关键词：对象约束语言 MDA 平台无关模型 OCL约束 元模型 
基于UML顺序图的测试方法被引量：9
《计算机科学》2004年第7期131-136,共6页江泽凡 王林章 李宣东 郑国梁 
国家863科技项目(2002AA116090);国家自然基金(6027036);江苏省自然基金(BK2002079)
本文描述一个在UML顺序图上生成测试用例的方法。我们使用带OCL约束的顺序图,即从类图和状态图中提取信息以OCL形式附加在顺序图的对象生命线的适当位置。首先检查顺序图的完备性和一致性。然后从顺序图中生成测试规格说明以及顺序图的...
关键词：UML顺序图 测试方法 OCL约束 类图 状态图 类别一划分方法 软件开发 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部