OBJECT-Z规格说明

作品数：8被引量：15H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：缪淮扣陈怡海胡晓波文志诚许庆国更多>>
相关机构：上海大学湖南工业大学武汉大学上海第二工业大学更多>>
相关期刊：《计算机应用与软件》《小型微型计算机系统》《软件学报》《上海大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划上海市教育委员会重点学科基金软件工程国家重点实验室开放基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Object-Z规格说明测试用例的自动生成器被引量：5
《软件学报》2011年第6期1155-1168,共14页许庆国 缪淮扣 曹晓夏 胡晓波 
国家自然科学基金(60970007;61073050);国家重点基础研究发展计划(973)(2007CB310800);上海市自然科学基金(09ZR1412100);上海市科学技术委员会项目(10510704900);上海市重点学科建设项目(J50103);武汉大学软件工程国家重点实验室开放基金(SKLSE2010-08-26)
对Object-Z形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z是基于数学和逻辑的语言,并大量使用了模式复合和简写形式,这给计算机提取完整语义用以自动产生测试用例造...
关键词：基于规格说明的测试 OBJECT-Z 语义提取 测试用例生成器 
一个Object-Z规格说明的证明责任产生器被引量：1
《计算机应用与软件》2010年第5期34-37,共4页文志诚 贾峰 胡纯蓉 
国家自然基金项目(60773110)
定理证明是一种形式化验证技术,也是形式化方法的重要组成部分,它能从形式规格说明中推理出应具备的性质与属性,从而可以对规格说明进行形式验证。Object-Z是形式规格说明语言Z的面向对象扩充,基于集合论与数理逻辑,具有严密的逻辑性,...
关键词：OBJECT-Z Z/EVES 证明责任 形式验证 
产生证明责任验证Object-Z规格说明的行为子类型继承
《小型微型计算机系统》2009年第6期1049-1056,共8页文志诚 李长云 满君丰 
国家自然科学基金项目(60773110)资助;湖南省教育厅科研基金项目(08C284;07C234;08C286)资助
Object-Z是形式规格说明语言Z的面向对象扩充,具有面向对象特点,适合描述大型面向对象软件规格说明.行为子类型继承是一种子类型继承,子类型对象拥有其超类对象的行为与属性,如果行为子类型对象替代其超类型对象时,运行时不会出错,经过...
关键词：Object—Z 面向对象 行为子类型 证明责任 形式验证 
一种基于Object-Z规格说明的集成测试用例生成方法被引量：2
《上海大学学报（自然科学版）》2009年第1期60-65,共6页朱义毅 缪淮扣 唐新香 
国家自然科学基金资助项目(60673115);国家重点基础研究发展计划(973计划)资助项目(2007CB310800);上海市重点学科建设资助项目(J50103);上海市教委基金资助项目(07ZZ06)
形式化方法具有精确的描述性和很强的抽象性.用形式化方法描述规格说明,避免了在需求分析阶段对数据结构和算法细节的详细描述,同时又避免了一般建模方法中的模糊性和歧义性.针对组件系统的集成测试产生测试用例,提出一种使用Object-Z...
关键词：规格说明 集成测试 Object—Z模型 测试用例 组件 
Object-Z规格说明的SQL动画模拟
《计算机科学》2007年第4期258-260,F0004,共4页周静 缪淮扣 
国家自然科学基金(60373072);上海市教委科技发展基金资助
软件规格说明的确认在软件开发阶段占有举足轻重的地位。形式规格说明的动画模拟技术是一种规格说明的确认方法。本文研究了Object-Z规格说明的SQL动画模拟方法,设计了从Object-Z到SQL的转换规则,并提出了模块封装的思想,即用存储过程...
关键词：OBJECT-Z 规格说明 确认 SQL 动画模拟 
带OCL约束条件的类图到Object-Z规格说明的转换被引量：4
《计算机科学》2007年第1期228-235,共8页缪淮扣 陈怡海 
国家自然科学基金(项目编号60373072);国家973项目(批准号2002CB312001);上海市教委第四期重点学科建设基金的资助
如何提高软件的可靠性是目前软件研究领域的一个热点。将形式化方法和主流的软件开发方法相结合是一个可行的方法。本文研究UML语言和Object-Z语言相结合的方法,为主流的软件开发人员所使用的图形化规格说明技术与形式方法提供的精确的...
关键词：UML 类图 OCL约束 OBJECT-Z规格说明 
Object-Z规格说明的结构模拟动画技术被引量：4
《上海大学学报（自然科学版）》2005年第6期589-595,共7页朱江 陈怡海 缪淮扣 
国家自然科学基金资助项目(60373072);上海市教委科学技术发展基金资助项目(02AK07)
形式化方法让软件需求的规格说明变得更加简洁精确,但是它的抽象难懂让用户难以确定形式规格说明中所叙述的用户需求就是他们所期望的.另外,大多的规格说明语言都是不可执行的,因此人们采用一种动画模拟的方式,将形式规格说明转换成一...
关键词：形式方法 形式规格说明 确认 动画模拟 OBJECT-Z PROLOG SICStus PROLOG 
基于Object-Z规格说明形式方法的软件开发
《零陵学院学报》2004年第6期162-164,共3页朱智勇 
形式化方法技术和面向对象程序设计技术相结合,可以消除因软件开发初期的需求规格说明因描述的歧义而可能引起的不一致性和不正确性,特别适应于可靠性要求非常高的软件,可以它们发挥各自的优点,更好地开发出高质量的软件产品。
关键词：面向对象 形式规格说明 OBJECT-Z 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部