面向对象的软件测试

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

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

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

面向对象计算机系统若干问题的研究

现有面向对象的软件环境大都建立在传统的Von Neumann 型计算机结构上,其执行效率很低。传统系统是无法支持面向对象风格高效实现的。很有必要开发新型的体系结构以支持这种良好的程序设计风格。本文从介绍面向对象程序设计的基本思想入手,建立面向对象思想与计算机系统的联系,阐述有关研究问题并给出初步的解决办法。     

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

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

MBDS的一种实现方法

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

面向对象的仿真方法综述

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

二维数控机床零件加工的自动编程系统

面向部队修理分队的编程人员,提供了一种界面美观、交互性好的自动编程系统,目的是减少数控机床在零件加工过程中人的参与,进一步提高加工自动化程度.该软件以Visual C 作为开发工具,具有良好的用户界面,操作简单、方便,输入的参数尽可能少,降低数控编程对编程人员过高要求,简化数控编辑,因而编程效率大大提高,并可避免许多人为错误,提高了编程质量.     

基于面向对象技术的载人长征二号F应急救生半实物仿真系统

概要介绍了基于面向对象技术的长征二号F火箭应急救生半实物仿真系统的组成和应用.     

一种面向对象类级状态测试的形式化方法研究

面向对象的软件开发给测试带来了新的挑战,传统的测试技术不能直接用于面向对象的软件测试中,必须对其进行扩充和完善.类级测试是面向对象测试过程中的一个重要阶段,而类状态的测试是类级测试的核心.作者将扩充后的黑盒测试技术应用到类状态的测试过程中,可直接使用方法级的测试数据有效测试类中方法间的交互及其类状态的变化.最后,通过一个实例说明对类级状态的测试及其测试用例的生成.     

铁路区间信号系统测试评估平台——信号设备与列车运行仿真研究

铁路区间信号系统测试评估平台是对铁路区间列车运行安全控制和防护系统进行可靠性、安全性测试及评估的平台.区间信号设备与列车运行仿真子系统是平台的一个子系统,它为平台提供了一个虚拟的现场环境.采用面向对象技术和离散事件仿真技术对仿真子系统进行了研究.详细地阐述了信号设备及列车的仿真模型、设计和仿真算法,并给出仿真实例,满足平台对仿真子系统地要求.