一种面向对象的形式化设计方法──从COOZ需求规格说明到设计

本文介绍了一种基于形式化规格说明语言ＣＯＯＺ的面向对象设计方法并给出实例。该方法用ＣＯＯＺ描述类的设计规格说明，实现了从形式化需求描述到形式化设计的平滑过渡。文中重点讨论了与设计方法有关的一些面向对象概念：对象类型和类的分开、子类型和继承的分开、灵活的消息传递和参数转换机制、主动对象和被动对象、根类的定义等。     

关于面向对象的类的形式化研究

在面向对象技术中,面向对象程序设计语言可以完全抛弃传统程序设计语言中的类型概念,即使它的最基本数据也可用类来描述。类及其继承性是面向对象程序设计语言区别传统程序设计语言的本质特性。本文将讨论类及其继承性的形式化描述及其数学属性。     

基于COOZ对UML的类结构的形式化

为面向对象的模型建立坚实的形式化基础是近年形式化研究的热点。一旦提供了对面向对象模型概念的精确描述后,就可以对OO模型的行为和结构进行清晰的分析。统一模型语言（UML）是为建立统一的面向对象开发方法的有益偿试,它是在已有的三大OO方法学的基础上抽象出来的模型语言。文章结合作者正在进行的对Z语言的OO扩展COOZ,对UML的类层次结构进行精确的形式化描述。     

面向对象系统耦合性度量方法的形式化描述

对面向对象系统的耦合性进行了分析，对现有的度量方法进行了评述和比较，给出了面向对象系统的有关术语的形式化描述方法，提出了基于形式化描述的综合耦合性度量框架。     

面向对象软件体系结构的形式化模型

软件体系结构设计中的形式化方法，一直是软件工程领域中的研究热点。而在面向对象环境中如何对体系结构进行形式化，以精确描述其静态结构与动态交互行为，则一直未有好的解决办法。本文使用符号逻辑方法描述面向对象系统中的基本组成单元，并使用有限自动机建立面向对象体系结构的形式化模型。     

分布式拒绝服务攻击的形式化描述

分布式拒绝服务攻击是一类难以防范且危害巨大的入侵方式,通过对攻击原理与特征的研究,提出一种面向对象的形式化描述。该方法采用三层框架结构,准确地描述了分布式拒绝服务攻击的攻击方式、攻击特性,同时每种具体攻击方式之间的关系和各种攻击方式的具体特性也都得到了完整地体现。采用面向对象定义的形式化描述,有利于对此类型攻击方式的分析、检测与判断？这种形式化描述法已应用到入侵检测系统中,并取得良好的效果。     

OO代数——一个面向对象的数据库的基本查询模型

本文提出了一个面向对象的数据库系统的基本查询模型－ＯＯ代数，它具有关系代数相似的形式，具有封闭性和远比关系代数强得多的表达能力。文中首先给出了面向对象的数据库系统的数据结构的一种形式化描述－ＯＳＧ，然后ＯＯ代数的五种基本运算：并、差、类间连接、类内选择及广义投影被一一定义，并说明了用关系代数实现这五种运算的方法。     

基于UML图和不同粒度切片的回归测试研究

针对面向对象软件回归测试的新特点,本文引入了基于UML图的不同粒度切片。首先,对描述类间关系的UML类图和描述状态变迁关系的UML状态图形式化定义。接着,对定义的图进行切片分析,其中类间测试提出一种基于UML类图的粗粒度切片工具;类内测试提出一种基于UML状态图细粒度切片的方法。最后,将其应用于销售订单系统,结果表明以上两种分析方法可以有效地提高回归测试效率。     

Z的面向对象扩充COOZ的设计

为了使Z规格说明与面向对象开发方法相结合，本文在Z中扩充了对象类型和模块描述机制，使之成为面向对象的形式化规格说明语言COOZ（completeobject－orientedZ）．内容包括COOZ的设计思想、语法定义及说明、形式化语义、实例以及与相关研究工作的比较．     

UML2．0类图的一种形式化描述方法

UML类图是根据系统中的类，以及各个类之间的关系来描述系统的静态视图。基于UML缺乏精确语义描述的不足，我们提出了基于时序逻辑语言XYZ／E来表示类图形式化语义的方法。通过对UML2．0类图元素及其特点的分析，找出类图元素的形式化描述规则，利用转换法实现了对UML2．0类图的XYZ／E形式化描述。     

Object-oriented programming with class dictionaries

A class dictionary defines all data structures that appear in a program as well as a language for describing data specified by the data structures. We demonstrate that class dictionaries are ideal for simplifying object-oriented programming. Our class dictionary-based approach to object-oriented programming is independent of any particular programming language, so it is applicable to a large variety of object-oriented systems. The experience in designing and using over one hundred class dictionaries has resulted in a set of useful design techniques. This novel approach to object-oriented programming makes interesting links between language design, data structure design, and data-base design.     

面向对象软件测试技术的研究与应用

面向对象软件测试是面向对象软件开发的重要一环,是保证软件质量提高软件可靠性的关键。结合传统软件测试的方法和技术,并针对面向对象软件所具有的特征,将面向对象软件测试层次划分为3层:类测试、类簇测试和系统测试,讨论了面向对象软件测试的测试方法和解决方案,并以销售系统为例,给出了相应层次的具体测试策略。     

基于服务的类测试技术研究

面向对象软件测试是面向对象软件开发的重要一环，是保证软件质量、提高软件可靠性的关键。类测试是面向对象软件测试的关键，类的服务的测试是面向对象软件测试中的重要内容。本文介绍了一种基于服务的类测试模型，即服务的块分支图。     

面向对象软件类测试研究新进展

软件测试是软件开发过程中不可缺少的一环,是保证软件质量和提高软件可靠性的关键.近年来,随着面向对象软件开发方法应用的更加广泛和研究的不断深入,面向对象软件测试已成为软件工程领域的一个重要研究课题.类是面向对象软件的基本构成单元,类测试是面向对象软件测试的关键.从基于状态、基于规范、基于UML、基于方法序列、基于数据流等6方面论述了类测试的目前研究成果,分析了研究现状,探讨了进一步工作的方向.     

面向对象的软件测试方法研究

面向对象软件的独有特性,如抽象、继承、封装、多态等,使得传统的软件测试技术不能直接应用于面向对象的软件测试。文章探讨了面向对象的测试方法,分析了面向对象的各种特征对软件测试造成的影响,以及面向对象软件测试的层次划分与测试内容。并以一个简单的计算器类为例,使用开源测试工具JUNIT进行了验证。     

对象式软件需求模型及其机器支撑

为了研究需求级软件自动化技术,研制对象式软件需求分析支撑系统的需要,文章提出了一个层次化对象式软件需求模型NDHORM(Nanjing daxue hierarchical object-oriented requirements modelling),它主要包括对象关系模型、类关系模型和类字典3个组成部分.文章基于对对象式需求模型的简要讨论,详细介绍了NDHORM模型的组成、层次结构及对象精化,给出了NDHORM的构模过程,最后简要介绍了NDHORM模型的机器支撑系统.     

类测试技术研究

类是面向对象软件的基本构成单元,类测试是面向对象软件测试的关键。文章从基于服务的、基于对象动态测试模型的、基于流图的以及基于规约的四个方面论述了类测试的思想和方法。     

面向对象产品装配模型的研究

对产品装配表达要求、产品设计过程要求进行了深入的探讨，基于产品装配对象的分析，提出了一个面向对象的产品装配模型。设计和实现了装配模型类及类层次结构，对该模型在产品信息的表达和管理，面向对象特性，支持Top-Down设计等方面进行了讨论和分析。该装配模型在软件系统设计中得到了很好的应用。     

A tool for measuring inheritance coupling in object-oriented systems

Analyzing object-oriented systems in order to evaluate their quality gains its importance as the paradigm continues to increase in popularity. Consequently, several object-oriented metrics have been proposed to evaluate different aspects of these systems such as class coupling. In object-oriented design, three types of coupling may exist between classes: inheritance coupling, interaction coupling, and component coupling. This paper presents a tool for measuring inheritance coupling in object-oriented systems.