oalib

Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99

Submit

Any time

2019 ( 1 )

2018 ( 46 )

2017 ( 56 )

2016 ( 54 )

Custom range...

Search Results: 1 - 10 of 3546 matches for " 缪淮扣 "
All listed articles are free for downloading (OA Articles)
Page 1 /3546
Display every page Item
z规格说明的前置条件的简化

软件学报 , 1997,
Abstract: 在软件方法学中,形式方法越来越受到人们的重视,并已被应用于软件开发.z是一种基于数学表示的软件规格说明方法.前置条件的简化是z规格说明方法中一种标准的检查,本文讨论了z规格说明中关于操作的前置条件及其计算.提出了简化过程的终止条件,给出了一个用于简化前置条件的算法,该算法可自动产生简化过程的证据.
Comparison and Analysis of OCL and Object-Z as UML Constraint Language
OCL与Object-Z作为UML约束语言的分析比较

陈怡海,
计算机科学 , 2004,
Abstract: UML是目前广泛使用的标准的面向对象建模语言。为了提高建模的精确性,UML模型可以用对象约束语言OCL或者是用Object-Z规格说明语言加以补充说明。本文从多个方面分析比较了这两种语言的特点,并提出建模人员应充分利用这两种语言的特点,对系统进行精确的建模。
对逻辑覆盖软件测试准则的公理化评估
刘玲?,
软件学报 , 2004,
Abstract: 由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软件功能的验证提供了基础.在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则,如何选择和使用其中的每个测试准则是应用这组测试准则时面临的主要问题.因此分析和比较这组测试准则中每个测试准则的性质将为测试工程师选择测试准则提供指导和帮助.对测试充分性准则的公理化评估是一种比较测试准则的方式,这种方式将对理想的测试准则的直觉需求定义为一组公理,然后通过检查测试准则是否满足该组公理来分析和比较相应的测试准则.描述了一组理想的逻辑覆盖测试准则应该具有的性质和用来确定一个测试充分性准则是否完全的生成算法.这组性质被形式化地定义为一组公理.利用这种形式化的定义,用定理的形式精确地给出了这些性质之间的关系.最后通过这组公理系统来评估现有的逻辑覆盖测试准则.评估的结果为测试人员在实际过程中选择逻辑覆盖测试准则提供了指导.
构件组合的抽象精化验证
曾红卫?,
软件学报 , 2008,
Abstract: 针对构件组合的状态爆炸问题,改进了反例引导的抽象精化框架,提出了组合式的抽象精化方法,使构件组合的模型检验转化为各成分构件的局部抽象精化,降低了分析的复杂度.提出了在构件组合情况下基于等价关系和存在商的构件抽象方法,用构件抽象的组合建立构件组合的抽象;提出了组合确认定理并给出证明,使反例确认分解为在各构件上对反例投影的确认;通过对单个构件的等价关系的精化实现构件组合的抽象模型的精化.在模型检验构件组合的过程中,不需要为构件组合建立全局的具体状态空间.
ocl与object-z作为uml约束语言的分析比较
陈怡海
计算机科学 , 2004,
Abstract: uml是目前广泛使用的标准的面向对象建模语言。为了提高建模的精确性,uml模型可以用对象约束语言ocl或者是用object-z规格说明语言加以补充说明。本文从多个方面分析比较了这两种语言的特点,并提出建模人员应充分利用这两种语言的特点,对系统进行精确的建模。
带ocl约束条件的类图到object—z规格说明的转换
陈怡海?
计算机科学 , 2007,
Abstract: 如何提高软件的可靠性是目前软件研究领域的一个热点。将形式化方法和主流的软件开发方法相结合是一个可行的方法。本文研究uml语言和object-z语言相结合的方法,为主流的软件开发人员所使用的图形化规格说明技术与形式方法提供的精确的分析和验证技术架起了一座桥梁。本文定义如何将带0cl约束条件的类图转换到object-z规格说明的方法。这样不仅可以通过支持object-z语言的工具采对uml语言描述的系统性质进行验证和确认,而且能够帮助规格说明人员方便地构造object-z规格说明。
object—z规格说明的sql动画模拟
周静
计算机科学 , 2007,
Abstract: 软件规格说明的确认在软件开发阶段占有举足轻重的地位。形式规格说明的动画模拟技术是一种规格说明的确认方法。本文研究了obiect-z规格说明的sql动画模拟方法,设计了从object-z到sql的转换规则,并提出了模块封装的思想,即用存储过程表示类、对象和模式等模块,用户通过调用执行存储过程确认规格说明是否满足其需求。
表格语言的分析比较
陈怡海?,
计算机科学 , 2014,
Abstract: 表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求。在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中。准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义。对3种不同的表格语言进行了详细的综述和讨论,从不同角度分析比较了其异同点,并提出了进一步的研究方向。
关于Z规格说明语言中模式的剖析
高晓雷,
计算机科学 , 1998,
Abstract: 1.引言形式规格说明语言一般是提供一套称为语法域的记号系统和一个称为语义域的对象集合,以及一组精确地定义哪些对象满足哪个规格说明的规则。规格说明是语法域中的句子。它用数学表示法精确地描述了软件系统必须具备的性质。 Z是目前比较流行的一种形式规格说明语言,它以一阶谓词逻
Z规格说明中的定理证明方法
,朱关铭
计算机科学 , 1998,
Abstract: 形式规格说明使用数学的表示,以一种精确的方法描述了系统要做什么,而不考虑它是如何做的。规格说明本身提供了一个无歧义的、能与用户和同事一起讨论的书面文件,又可作为已完成程序的文档,帮助人们将来进行程序的维护和修改。对形式规
Page 1 /3546
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.