构件软件与面向对象技术

阐明了以构件软件为目标的ＯＬＥ技术与面向对象编程的关系,指出ＯＬＥ技术是一种系统级对象技术,它是对面向对象编程的进一步补充．在介绍构件对象模型ＣＯＭ中核心概念的基础上,讨论了ＣＯＭ中的对象机制,着重研究ＣＯＭ是如何解决构件软件必须解决的问题,并指出ＣＯＭ引入的接口概念是对“对象”概念的重要发展,它成功解决了新旧版本的兼容问题,使分布式、构件化的软件系统能平稳地演化     

基于方法序列规范的测试用例生成

1 引言面向对象软件测试技术的研究是最近几年才引起重视的一个新领域。OO程序由于引入了封装、继承、多态等概念和机制,在程序的组织结构和运行机制上与传统的程序有很大差别,因而也对软件测试技术提出了新要求。无论是传统程序还是OO程序,测试活动通常分4个步骤进行:(1)确定测试准则;(2)基于测试准则构造     

超文本中的迷路问题

基于图论算法提出了两种减少迷路问题的方法：层次化方法和语义聚集方法．此外，文中对鱼眼图和路径规划也进行了简单讨论     

耳科手术训练的计算机模拟系统

外科医生经常需要利用人体标本设计手术过程，医科学生也要利用人体标本学习和训练必要的手术技巧．一个能用来模拟人体中耳手术过程的模拟训练系统用逼真的计算机建模、模拟和可视化系统来辅助这类活动，从而降低培训成本，并给予医学和医科学生学习和设计手术过程更大的灵活性．该系统也能作为牙科医生进行牙齿钻孔的训练工具．     

一种检查面向对象程序中数据流异常的方法

数据流异常是指程序中与变量使用有关的不合常规的“可凝”情况。仅靠传统的数据流异常检查技术不能发现面向对象程序中与实例变量有关的数据流异常,将方法序列规范与传统的检查技术结合起来,提出了一种能检查对象的实例变量的数据流异常的方法。     

基于图重写理论的分析／设计模型变换初探

以ＯＯ可视化建模语言的进一步扩充为出发点,提出面向特定领域的分析／设计模型变换概念．进而在深入剖析以Ｓｈｌａｅｒ－Ｍｅｌｏｒ方法为代表的现有研究工作的基础上,进一步提出基于图重写理论的模型变换方法．并以ＣＡＳＥ集成环境为特定域,给出应用这种方法的一个实例．     

基于系统稳定理论的程序自适应模型

系统从任意状态开始最终收敛到某个封闭状态集的能力是系统稳定理论的研究内容．文中在给出了系统稳定理论的基本概念后，提出了程序自适应性的形式定义．该形式模型与具体应用和实现技术无关，对指导具有收敛性的自适应程序的设计有重要价值，并能用于验证程序的自适应性．