Z规格说明相关论文
该文提出了一种基于Z规格说明的软件测试用例自动生成方法,通过对软件Z规格说明的分析,找出描述软件输入,输出约束的线性谓词,经过......
形式规格说明语言Z在软件工业界和学术界得到了广泛的应用.在该文中,我们提出了规格说明确认的概念,也就是将Z规格说明和用户非璩 ......
为了克服自然语言和程序设计语言描述规格说明产生的缺陷，人们提出了一种新的软件开发范型，其基本思想是对系统建立一个数学模型，研究......
软件开发的形式化方法被当今计算机界誉为克服“软件危机”，提高软件可靠性和生产效率的革命性途径。形式化开发方法中，人们利用软件......
采用自然语言描述的非形式的规格说明通常具有模糊性和歧义性,这往往不利于软件质量和生产率的提高。为了克服自然语言描述规格说......
采用定理证明和逆向工程的方法,对Web应用中的数据库交互行为进行验证.使用Z规格说明描述需求模型,根据数据库交互的源代码和转换......
万维网的普及和发展给软件工程师提供了交流和共享知识的场所．Ｚ是一种基于一阶谓词逻辑和集合论的形式规格说明语言．Ｚ语言用大量的数学......
提出了一种基于Z规格说明的软件测试用例自动生成方法,通过对软件Z规格说明的分析,找出描述软件输入、输出约束的线性谓词,经过线......
<正>形式规格说明使用数学的表示,以一种精确的方法描述了系统要做什么,而不考虑它是如何做的。规格说明本身提供了一个无歧义的、......
<正>软件求精是自动推理和形式化开发方法相结合而形成的一门新技术,它研究从抽象的形式格说明推演出具体的面向计算机的程序代码......
为软件工程概要设计阶段提供新方法，将软件工程语言应用于软件开发实践，进而达到降低软件开发成本和减少软件后期维护的目的.将函数......
Ｚ语言是牛津大学程序设计研究组设计的形式规格说明语言，作为Ｚ语言处理前端的Ｚ规格说明检查器用于Ｚ规格说明的语法检查和类型检查，它通过......
OWL-S是重要的Semantic Web Service描述框架,但缺乏有效的形式化验证工具.Z语言是基于集合论和一阶谓词逻辑的形式化规格说明语言......
提出了一种基于Ｚ规格说明的软件测试用例自动生成方法，通过对软件Ｚ规格说明的分析，找出描述软件输入、输出约束的线性谓词，经过经性谓词......
Ｚ规格说明中的初始化定量的证明是对基于状态的规格说明的一个标准的检查，本文给出了一个证明初始化定理的过程，该过程可自动地构成证......
基于组件的软件开发(CBD)是一种较为理想的软件开发方法,它根据组件标准,将独立开发的软件组件组合成应用.组件对象模型(COM)是目......
用形式方法开发软件可提高软件系统的正确性和可靠性 ,并可提高软件开发的效率。Z是一种基于状态的形式规格说明语言。但是一直以......
测试用例的复用对于提高测试工作的效率极为重要。提出一种测试用例复用机制,减少测试用例对环境的依赖,提高复用的程度。用Z规格......
万维网的普及和发展给软件工程师提供了交流和共享知识的场所。Ｚ是一种基于一阶谓词逻辑和集合论的形式规格说明语言，Ｚ语言用大量的数......
Z规格说明具有非形式规约不可比拟的严谨性、清晰性。这种描述对于系统内对象的状态描述、行为描述是非常有用的原始参照物。但是,......
Ｚ语言是一被广泛使用的形式化规格说明语言，该文在其上扩充了时间描述机制Ｔｉｍｅ模式，使之适应于对通信协形式化描述，并以流行的ＹＭＯＤＥＭ通信协议为例......
Z是以一阶谓词和集合论为基础的一种形式化规格说明语言,目前主要应用在软件需求阶段及测试阶段。基于C++STL技术实现Z模式向C++语......
采用定理证明和逆向工程的方法,对Web应用中的数据库交互行为进行验证。使用Z规格说明描述需求模型,根据数据库交互的源代码和转换......
介绍了Z规格说明的数据类型和它们的分类,从定义出发,阐述了这些数据类型派生的派生与继承关系.以Z规格说明向可执行代码的自动转......
可复用的、统一的描述规范是测试用例复用的前提条件,能够为测试用例的共享提供良好的复用机制。为此,遵循测试用例最小粒度划分的......
实时软件系统在现代工业和社会生活中扮演着越来越重要的角色，随着需求的逐步增加，实时系统的软件开发方法学渐渐成为研究的热点问题......
证明和测试是验证规格说明是否正确的2种方法，两者互为补充。针对软件规格说明难以证明的问题，提出对状态空间进行完备性测试的理论......
