基于规约说明语言的面向对象软件测试

提出了一种测试面向对象程序的框架模型．用Object-Z语言描述面向对象程序的形式化规约．从形式化规约说明中可以推导出的面向对象程序的状态转换图，状态图可以表示面向对象程序的动态行为，并且可以用来描述一个由面向对象程序的方法调用序列组成的测试数据集．最后给出了验证一个方法调用序列正确性的方法．测试结果显示这一框架模型对于测试面向对象程序是可行的．     

重写技术在面向对象程序维护中的应用

在面向对象程序的系统中,如何有效地实现程序的测试和维护是软件工程研究所关注的和比较难以解决的问题．结合面向对象程序设计的思想和重写技术的应用,提出了程序重写技术的基本思想及其框架结构,该模型在借鉴了抽象的重写系统和重写逻辑的基础上,构造了面向对象程序的重写理论,并定义了重写系统的模型．在该模型中,通过研究并定义对象行为的三种状态（即初态,中态,终态）变换,结合实际可能使用的重写规则,可将对程序行为的描述重写成所包含对象状态变换的描述,进而实现用对象运行状态的范式形式来描述程序行为的目的．在严格地定义了相关概念后,给出了该模型的语义解释及其在程序测试和维护中的应用．     

一种基于UML和CP-net集成描述的面向对象软件的交互测试方法

面向对象技术在软件工程中的推广使用，使得传统的测试技术和方法受到了极大的冲击．对面向对象技术所引入的消息传递、数据抽象、封装、继承、多态等新特点，传统的测试技术已经无法有效的进行测试．对面向对象软件的测试，测试策略或方法都需要出现相应的变革或更新．本文给出一种基于UML和CP-net集成描述的面向对象软件的类集成测试方法，重点在于测试不同的类方法之间的交互行为．这种方法首先用UML和CP-net集成描述用户需求，然后基于这个描述模型，按照基本路径覆盖的标准自动产生测试例．     

一个多线程面向对象的程序设计模型

基于并发对象提出了一种新的多线程面向对象处理模型ＭＣＯＯＭ。该模型改进了传统面向对象的进程思想和多线程模型中对象体所导致的瓶颈现象,提出了将控制分散于各方法体中的机制,从而提高系统性能,另外还对并发控制作了详细讨论。     

面向对象数据库中并发控制机制的研究与设计

给出了面向对象数据库系统的一种并发控制机制－ＯＯ－Ｌｏｃｋｉｎｇ，分析了面向对象数据库系统中事务模型的两个方面：操作和对象，并利用事务的操作和操作对象对语义来提高并发度，讨论了复杂对象和多继承类层次上的封锁技术，提出了三种锁：类锁、对象锁和条件锁，较好地描述了操作之间的冲突性和可交换性。部分技术已用于ＣＩＭＳ环境下面向对象数据库系统ＦＯＯＤＢ２．０的实现的。     

面向对象方法在FMS调度仿真系统中的应用

采用面向对象的程序设计方法,构造了一个基于专家系统和仿真技术集成的动态调度系统模型,并进行了仿真分析。     

面向对象的优化数学模型的建模方法

文章将面向对象技术应用于优化方法程序设计中．提出了面向对象的优化设计数学模型的建模方法．给出了优化设计数学模型类定义。该数学模型具有较强的问题的描述能力和柔性，解决了面向对象的优化方法程序中的一大难题。     

一种基于面向对象的企业建模技术

将一种面向对象的思想应用于企业建模中，和面向对象的技术实现功能模型和核算模型的集成。对象的独立性和封装性增强了系统的鲁棒性，能适应企业功能和结构的动态重组。提出了对象状态图、对象状态矩阵和对象属性矩阵，容易贯彻“自顶向下”的系统分析策略，使系统的外部视图（用户视图）与内部视图（计算机视图）统一，达到清晰的、完整的描述系统的目的。     

柔性制造控制系统的并行设计方法

通过分析控制系统并行设计的支持环境，建立了控制系统并行设计支持环境的框架模型．从面向对象以及并行工程观点出发，提出了控制系统并行设计的策略，构造了以过程为中心，控制系统体系结构、数据、过程建模、用户界面／接口并重的面向对象的控制系统并行设计的工作流集成模型．在此基础上，描述了控制系统并行设计的实施内容和步骤．建立在上述设计方法基础上的柔性制造控制系统具有可重用性、可靠性、鲁棒性和开放性等特点．     

基于OOPN的面向对象的集成测试方法

面向对象的程序与传统的结构化程序相比,具有许多特点,如消息传递、同步、动态绑定、对象实例、继承、多态等．面向对象软件的测试比结构化软件的测试更困难,因此提出一种基于OOPN模型的面向对象的集成测试方法．首先用面向对象petri网（OOPN）模拟系统中的对象及其交互过程,然后在此模型的基础上提出生成测试例的算法．此方法的创新之处在于将数据流与控制流相结合的方法用于面向对象的测试之中．     

基于面向对象方法的CIMS信息集成模型

信息集成是CIMS的关键，是功能集成与其他集成（网络等硬件集成除外）的基础，由于CIMS中涉及的信息种类繁多、结构复杂、来源与用途不一等特点，建立一个通用的信息集成模型成为需要。以ISO（国际标准化组织）提出的企业模型为基础，采用面向对象方法，将信息划分成不同的类，并定义不同的对象，同时描述其属性与结构关系，通过继承、封装的思想，实现集成的目的，从而建立企业信息集成模型，作为各企业CIMS信息集成系统的实施依据，该模型建立在信息共享的基础上，便于功能集成的实现及CIMS整个系统的构造，基于此模型开发的系统可反复重用，开发周期也可明显缩短。     

一种基于层次模型的面向对象类型分析框架

建立了一种用于静态类型面向对象程序的类型分析框架,该框架集成了目前最为实用的４种类型分析方法,即唯一名分析、类层分析、快速类型分析以及指针别名分析。首先在这４种方法的基础上提出了类型分析的层次模型,然后以此模型为核心,结合程序预处理器和信息加工器等建立了一种类型分析框架,该框架适合分析静态类型的面向对象程序,如Ｃ＋＋／Ｊａｖａ程序等。     

面向对象设计及程序设计语言

面向对象设计及程序设计将帮助人们创建和管理日益复杂的软件系统。本文解释了对象模型与传统模型的差别，给出了对象模型的基本概念，并探讨了它对未来系统的影响。     

蓝牙链路管理的系统级SOC设计方法

提出了事务级面向对象的设计流程TLOOF（Transaction Level Object Oriented Framework）,强调高层次的设计和验证,并使用面向对象的Petri网和实时UML相结合的方法,用System C对系统的行为建模．将TLOOF应用于蓝牙芯片的设计中,蓝牙行为模型由链路管理器和链路控制组成,映射为CPU、内存、片上总线、链路控制等体系结构模块．建立了蓝牙链路连接的OOPN模型并描述了事务级模型的类图,完成了系统的仿真．仿真结果表明,该片上系统（SOC）设计方法可以很好地对蓝牙系统建模．     

基于工作流和面向对象的矿山物资管理信息系统

建立工作流模型描述系统框架,在工作流系统框架的基础上,采用面向对象分析方法,提取并建立实体、动态控制和事务3种类型的对象模型,作为系统的组成部件,工作流和面向对象技术的应用能够提高系统的柔性和应变能力。     

图形对象及图形编辑器的设计与实现

在对硬编码模型，基于组伯模型和面向对象模型进行比较的基础上，给出了面向对象的数据可视化系统的形式描述。并结合工程实例，阐述了图形对象及图形编辑器的关键技术和实现方法。     

面向对象的边界元程序设计

按照面向对象的程序设计方法，遵循边界元分析的本质，建立了有关描述边界元模型的类，用链表方式实现结点、配置点、边界单元和内部单元的数据存放、用多态性实现单元的自由链接，方便的实现了单元增减、复连通区域和同一程序解不同问题等功能。采用VC 编制了边界元配置法的数值计算程序，并给出了三维Laplace方程在球体区域上的算例。并将此方法的计算结果与精确解进行了比较，计算结果吻合良好。     

UML在关纱型GIS空间数据库设计中的应用与研究

空间数据库是GIS系统的核心，如何将面向对象的理论和方法诮地空间数据的分析，设计和实现的全过程，实现整个软件生命周期中从问题域到设计域的无缝转换，是相关应用领域中的一个十分重要的问题。UML（Unified Modeling Language)是一种标准的，功能强大的面向对象的建模语言，文章结合实例研究UML应用于GIS空间数据库的的面向对象设计中的理论和技术，解决了系统从对象模型到关系模型的转换和空间矢量数据的关系化的面向对象描述和实现，在此基础上，通过对系统对象的设计来不断完善数据库的结构设计和功能设计，并取得了较好的效果。     

面向对象设计在计算机网络上的应用

作者在分析ＯＳＩ模型及面向对象程序设计特点的基础上，提出了用面向对象的抽象，封装、模块化的思想，实现了ＯＳＩ层接口的设想，并用面向对象的技术划分系统通信的体系结构类。     

基于面向对象的物料采购系统

以一个基于面向对象的企业集成模型为研究背景，针对企业物料管理的实际，运用面向对象的系统设计方法和面向对象的程度设计语言Ｃ＾＋＋和ＲＯＣＫ，在计算机上实现上相应的物料采购系统。