基于Z语言的电信服务系统的形式化规格

形式化方法是基于数学的系统开发方法,它可以应用于系统开发的各个阶段,包括系统需求、设计、实现、测试等。首先介绍了形式化规格语言Z,接着用Z开发电信服务系统的形式化规格,并对形式化规格进行验证,以期提高电信服务系统的稳定性,也为探测电信服务系统的功能冲突、预防系统缺陷的产生提供研究的基础和支持。     

从类树形流程图到Z语言的形式化规格

在软件工程中,使用Z语言形式化规格可以大大提高软件开发质量,提高稳定性,降低开发成本,但要开发出高质量的形式化规格并通过验证,却需要损耗较多的时间和精力.为使软件开发人员能够较快地并且高质量地开发出基于Z语言的形式化规格,提出一种简明的类树形流程图,并以电信服务系统中的呼叫转移功能模块为例子,详细描述如何把类树形流程图应用到Z语言的形式化规格开发当中,以期为开发人员带来便利,节省开发时间,提高形式化规格的质量.     

移动Agent系统的Z语言形式化描述

采用非形式化到形式化的过程：先用自然语言描述移动Agent，然后用形式语言Z及组件技术来描述移动Agent，并给出一个形式化的基础及移动Agent系统的一个精确高效的开发方法。     

形式化方法在分布式测控系统协议设计中的应用

提出了将形式化方法引入分布式测控系统的观点,使测控人拥有一套规范的协议设计、验证、实现、测试的方法,使开发者尽可能早地获知协议缺陷,最大限度地检测和纠正包括避免死锁、活锁、不可执行的行为等缺陷,完善协议,而且克服了非形式化验证是基于设计者的人工经验,缺乏数学的严密性和科学性的缺点,同时缩短了协议开发周期,给传统测控技术赋予了新的内容.     

Z应用于通信协议形式化描述的研究

Ｚ语言是一被广泛使用的形式化规格说明语言，该文在其上扩充了时间描述机制Ｔｉｍｅ模式，使之适应于对通信协议的形式化描述，并以流行的ＹＭＯＤＥＭ通信协议为例详细介绍了如何用Ｚ对通信协议进行形式化描述以及在此基础上协议的具体实现方法。     

形式化方法在CSTA系统测试中的应用研究

系统测试中的形式化方法是将客户需求用数学规约表达出来,推导出各项功能的预期输出结果,以完善客户需求,不仅可以较好地消除需求中可能包含的矛盾、二义性、含糊性、不完整陈述以及抽象层次的混杂等,提高发现问题的工作效率和准确度,提高软件测试质量的保障系数,而且可以将行业知识封装起来,为软件测试业务外包提供一个现实可行的依据。     

形式化方法在软件开发中的应用

形式化方法是把概念、判断、推理转化成特定的形式符号后,对形式符号表达系统进行研究的方法。是用具有精确语义的形式语言书写的程序功能描述,它是设计和编制程序的出发点,也是验证程序是否正确的依据。形式化方法就是用符号化的数学变换把需求分析给准确的表述出来,这样可以确保和需求的一致性,并能用于分析和验证应用程序。     

形式化与UML结合的建模方法及其应用

首先阐述了形式化方法与可视化方法的优缺点,并在此基础上提出软件体系结构形式化与可视化UML互补的建模方法,主要探讨UML和Z结合的建模过程,并用一个系统开发实例进行展示。     

基于形式化描述可复用测试用例库的研究与实现

软件测试作为保证软件质量的重要手段,是软件开发过程中的重要环节。软件测试过程中产生的大量测试用例对保证软件的质量起到了关键作用。为了共享和复用测试用例,提出了基于形式化语言描述的可复用测试用例库的构建方法,收集大量测试用例,并进行合理的分类和管理,测试人员可以从库中选择合适的测试用例直接使用或稍作修改来使用,从而大幅度降低了测试人员的工作量,极大地提高了测试工作效率,进而更好地保证软件质量。     

形式化与UML结合的建模方法及其应用

首先阐述了形式化方法与可视化方法的优缺点,并在此基础上提出软件体系结构形式化与可视化UML互补的建模方法,主要探讨UML和Z结合的建模过程,并用一个系统开发实例进行展示。     

Z语言检测出的电信系统的故障类型总结

电信系统的复杂性致使其故障较难检测,形式化规格语言Z对检测电信系统的故障具备较好的优势。在结合之前研究成果的基础上,对Z语言检测出的电信系统的故障类型进行详细的总结,这些故障类型都具备较强的隐蔽性,证明Z语言对提高软件开发的质量能起到很好的效果。对电信系统故障的解决方法提出建议．以期提高电信系统的软件质量和稳定性。     

异构的动态分布式实时系统的面向方面的形式化方法

形式化方法是在严格的数学基础上建立的．具有精确数学含义的科学研究和验证方法。异构的动态分布式系统的开发过程是非常复杂的．不能用一种开发方法进行分析、设计和实现。由于形式化方法具有严谨、可数学分析和证明等特性,可以根据系统开发的不同方面采用不同的形式化语言进行实现．然后再把这些方面编织到系统中去。     

一种适用于软件生命周期系统模型的需求获取方法研究

软件工程形式化是软件工程自动化的前提,软件自动化能在根本上提高软件质量和生产效率。文章提出了一种形式化的需求获取方法,首先在离散系统模型的基础上,提出了一个可以适用于软件生命周期所有阶段的模型-公平离散系统模型,进而给出了其在软件需求获取过程中求精、验证和控制复杂性的方法、需求模型复用的概念。     

采用形式化技术的软件再工程

形式化技术为软件再工程提供了完备的理论基础,该文对基于软件再工程的形式化方法进行了探讨,提出了一个统一的面向软件再工程的形式化方法。     

用于通信网络协议开发的形式化方法

阐述了在开发通信网络协议中遇到的困难,提出用协议工程的方法来开发通信网络协议。介绍了协议工程、形式化方法及核心技术形式描述技术和几个应用较广泛、较常见的形式化方法,即SDL、ESTELLE、Petri网、LOT0s,并给出了对这些形式化方法的分析和评价。     

基于RSL的协议形式化描述与验证方法

讨论使用RAISE规范语言（RSL）描述6种协议元素的方法。在RSL描述的基础上,借助操作符的运算规则、并行扩展规则和同步会合事件隐藏规则,对协议的相关性质进行验证,以一个简化的停止等待协议规范的描述和验证实例证明,与其他形式化方法相比,RSL表现出较强的描述能力。     

类比法和比较法在操作系统教学中的应用探讨

《计算机操作系统》是计算机专业必修的一门专业主干课程,其内容错综复杂、纵横交错,理论性强且抽象,如何让学生在学习时能够更准确更容易地掌握该门课程的内容,达到良好的教学效果,是从事操作系统课程教学的教师所追求的共同目标。探讨类比法和比较法两种教学方法在操作系统教学中的应用,设计一些具体可行的教学案例,从而激发学生的学习兴趣,提高教学质量。     

通信系统软件开发环境技术研究

通信系统的开发变得越来越复杂,各种技术侧重于系统开发的某个局部阶段,阻碍了这些技术的实际应用。该文从通信系统的特点出发,指出了开发这类系统的需求,分析了当前存在的技术对开发通信系统的支持,试图把这些方法统一到一个完整开发环境中。并从结构建模、行为建模、时间模型、系统验证和开发过程等几个方面重点分析了两类通信系统开发工具,指出某些存在的问题。最后进行总结并拟定了今后的研究重点。