面向对象软件的类测试技术

主要介绍了面向对象软件的类测试技术，从基于服务的，基于状态的，基于流图的以及基于规约的四个方面论述了类测试的思想和方法。     

面向对象技术与重用机制

介绍了软件重用机制,以及指出面向对象技术是一种基于重用的软件开发技术,并讨论了面向对象技术中可重用部件库的开发 。     

面向对象软件中类的服务测试技术研究

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

FREE模型在面向对象测试中的应用研究

在面向对象分析设计中，对象的进行为通常与其状态紧密相关。因此，基于状态的测试成为面向对象软件中一个有效的测试方法。对FREE模型进行了研究，分析了该模型的优缺点及适用范围，并将其应用于面向对象软件测试中，为基于状态的测试提供一个类行为的可测模型，有利于提高面向对象的测试质量。     

面向对象度量综述

软件是信息技术的核心,因而管理人员对软件质量控制越来越重视。这种重视引起了两种效果:(1)要求新的、更好的软件开发方法和技术;(2)在软件开发过程中,进行软件度量。软件度量可以帮助管理人员控制、安排软件开发并利用反馈信息对软件进行改善,从而提高软件质量。软件度量的必要性和重要性已为软件界所认同。作为90年代的领先技术,面向对象的技术已经在软件产业中得到了广泛的运用,面向对象产品也得到了迅猛的发展。面向对象度量是对象技术不可分割的一部分,其在面向对象软件开发中的应用具有以下的功用:     

面向对象软件系统开发中的软件重用

软件重用是指使用已有的软件成分构造新的软件系统的过程。而面向技术中的数据抽象、封装、继承和独立等特性，为软件重用提供了多种机制及可能。本文概要分析了基于类库的重用，直接重用，进化型重用。面向对象技术给软件重用注入了新的活力，同传统的程序开发相比，面向对象技术为软件重用提供了强有力的支持。     

面向对象类测试方法分析

面向对象软件测试是面向对象软件开发的重要阶段，面向对象测试的关键是类测试，当前，类测试常用的方法是基于状态的测试和数据流测试，文章对这两种方法进行了分析和比较，提出了将来基于这两种方法的研究重点。     

面向对象技术对提高软件质量及软件生产率的影响

传统的面向数据、过程软件设计方法，把数据和过程作为相互独立的实体，忽略了数据和程序之间的内在联系．要想进一步提高软件质量及软件生产率比较困难．本文首先简要介绍一下00方法的一些特点，然后，主要讨论面向对象方法对软件质量及软件生产率的影响．     

面向对象软件系统的测试

介绍向对象软件系统的测试过程，涉及类的测试、集成测试、测试实例的继承性和测试计划的安排。     

面向对象的控制系统类库设计

本介绍了采用面向对象的设计方法进行控制系统类库开发的设计思想和类结构定义，该类库可以实现软件的重用和代码共享地，可以大大提高大型控制系统仿真软件的开发效率和质量。     

贯通面向对象分析、设计及实现方法的研究

本文探讨了面向对象分析与设计方法在实际软件开发中的优越性及存在的不足,文章主要就建立面向对象分析、设计、实现一致性平滑过渡的方法进行了具体的探讨,面向对象分析、设计、实现纵向一致性贯通问题的解决,将有助于面向对象方法由理论向实际应用的转换。     

PN-OO建模

面向对象技术和Petri网理论已日益成为复杂系统设计和分析中的两种必不可缺的工具。本文介绍了一种用Petri网改进后的面向对象的（PN－OO）模型，面向对象的模型方法PN－OO（PetriNet-Object Oriented)不仅具备传统面向对象方法系统具有的风格，而且Petri网能直观地模拟系统动态行为的优点。     

面向对象的思想方法在决策支持系统中建立模型库的应用

本文介绍了面向对象程序设计的基本概念，思想和方法；     

一种基于面向对象思想和结构化技术的软件开发方法

本文在概述了传统的结构化方法和面向对象软件设计方法的优缺点，提出将两者的优点相结合，根据设计系统的原则给出了一种设计方法，并用实例验证。     

基于关系数据库系统的面向对象数据模型实现

本文对基于关系数据库系统的面向对象数据模型的实现问题进行了分析,并提出解决问题的具体方法,本文提出的解决方法综合了面向对象方法与关系数据库系统的优势,可进一步促进面向对象方法在实际软件开发中的广泛应用。     

面向对象的应用程序生成器

本文介绍了面向对象的管理信息系统应用程序生成器，遵循第四代语言和计算机辅助软件工程的规范，结合软件开发的能重用技术，设计并实现了开发管理信息系统应用系统的集成环境和工具，它具有良好的封装性、继承性和多态性，达到了快捷、高效地从事应用程序的开发工作。     

一个Pascal的面向对象扩充的设计与实现

本文阐述了ＮＤＯＯＰ的设计和实现的主要思想．ＮＤＯＯＰ是一个Ｐａｓｃａｌ的面向对象扩充，是Ｐａｓｃａｌ的超集，既充分支持面向对象程序设计，又保持了Ｐａｓｃａｌ的原有风格．     

基于JML的面向对象设计指导测试方法的研究与实现

面向对象的软件测试应该也只能被设计所指导.提出了一种方案:在使用UML进行面向对象的设计阶段为类和方法加入OCL约束,然后由一种转换工具将带有OCL约束的UML类图转换为带有JML(Java建模语言,Java Modeling Language)注解的Java类代码框架,就可以利用JML丰富的支撑工具进行调试和自动测试,从而实现了设计指导测试的思想.研究了OCL到JML的转换机制,并给出了基于Rational Rose的转换工具JML-AddIn的实现框架.     

面向对象的管理信息系统分析与设计

本文对面向对象方法（ＯＯ）应用于ＭＩＳ系统开发中的诸多问题进行了较详尽的讨论，提出了ＯＯ对象在管理应用领域存在管理生命周期（ＭＬＣ）的新思想，并将该思想应用到面向对象的ＭＩＳ系统分析与设计中，取得了较好的效果。     

基于对象的逻辑设计实现复杂性

ＬＣＰＰ是作者研制的逻辑与对象结合的多范式语言,由于采用以对象为基础、扩充对象的逻辑特征而实现结合,逻辑程序设计就继承了面向对象的继承性、多态性和动态约束的特性,加这对象集合中搜索的进行,大大提高了逻辑搜索实现的复杂性。本文提出并讨论了这一复杂性的表现与解决的方法。