面向对象的软件测试

本文结合面向对象软件的具体特点和工程实践,给出了面向对象软件测试的内容:类测试、类簇测试和系统测试。最后,给出了面向对象软件的测试策略。     

面向对象的仿真方法综述

面向对象仿真方法是当前仿真技术发展的一个重要方面。它是一种框架化、层次化和模块化的建模方法，有利于提高模型的封装性、灵活性、重用性、可扩展性和可维护性，在各个领域得到了广泛的应用。本文介绍基于ＯＯＤＢ的ＯＯＳ、基于ＤＥＶＳ的ＯＯＳ和基于Ａｃｔｏｒ的ＯＯＳ等三个主要流派的主要思想和建模仿真方法     

一种实用有效的循环查询处理策略

通过分析研究面向对象数据库及其循环查询的特点，本文提出了一种实用有效的循环查询处理策略，并对其进行了正确性证明和性能分析。     

Rational Rose在HLA联邦开发中的应用

作为“建模与仿真”(M&S)的高层体系结构 ,HLA能带给用户的好处将是巨大的。HLA联邦开发与运行过程 (FEDEP)的自动化是促进HLA应用的关键。文中研究了将功能强大的CASE工具RationalRose用于支持FEDEP自动化的可行性 ,指出了应用中应特别注意的问题 ,重点说明了应用中的关键技术 ,并给出一应用实例     

并行面向对象数据库中的查询优化

为了在开发并行性的同时，进一步提高查询处理的效率，本文针对并行面向对象数据库的异步并行查询执行模型的特点，提出了三种并行查询优化策略：（１）数据子集预选策略；（２）信息流延迟策略；（３）信息流消减策略。它们既适用于单查询处理，又适用于多查询处理，测试结果表明它们是实用有效的并行查询优化策略。     

结合逻辑和面向对象范例的一种新模型（SCKE)

逻辑语言和面向对象语言是两种引人注目的知识程序设计语言。如何结合它们各自的优点以支持复杂的知识处理,已成为许多研究者关注的问题。本文首先提出了结合逻辑和面向对象范例的一种新模型SCKE,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征和面向对象语言的结构化、信息隐藏、继承等性质。本文推广了逻辑语言的Herbrand解释,并由此探讨了SCKE模型的形式语义。文中讨论了实现该模型的基于预编译的元级扩充方法,并论述了SCKE模型的主要特点。     

并发面向对象语言的演算语义研究

本文对л演算进行了扩展,使之能支持异步通讯,然后在此基础上给出了一种简单Ａｃｔｏｒ语言的演算语义。该演算语义能较好地刻划异步通讯机制、演员的行为替换机制以及对象、类、封装、实例变量与临时变量等面向对象特征。     

一个面向对象的系统故障诊断模型

本文介绍了一个基于面向对象方法的系统故障诊断模型,讨论了该故障模型的结构及其搜索策略和算法。     

数据库应用系统的面向对象设计方法

通过介绍数据库应用系统的开发过程,引出了传统数据库应用系统开发方法存在的弊端,重点介绍数据库应用系统的面向对象设计方法.     

MBDS的一种实现方法

给出一种基于模型故障诊断的实现方案——MCIES,着重介绍MCTES所采用的建模方法和推理策略,最后介绍该系统各组成模块的功能。