一种基于规则的系统的软件体系结构的实现分析

1.引言基于规则的系统或者称为专家系统、产生式系统是一种重要的应用系统,它广泛的应用于医疗诊断、航空航天、实时监控和辅助决策系统等关键领域中。国外在这方面的研究工作开展得较早,并且开发了一些产生式开发工具,如MYCIN,OPS5/OPS83,SOAR,CLIPS等,其中MYCIN是由美国斯坦福大学开发的一个帮助内科医生诊治感染性疾病的专家系统,于1978年最终完成。OPS5是由卡内基·梅隆大学的J.McDermontt和A.Newell等研发的一种基于规则的通用型工具,自1975年问世以来己有多个版本,如OPS5,     

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

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

软件发展与社会进步

软件是赋能技术，渗透到人类社会活动的各个方面，软件的发展与社会的进步息息相关．文中对软件发展与社会进步的关系做一简要论述以后，着重讨论软件与经济发展以及软件与科学技术进步之间的关系，并扼要地阐述软件技术自身的发展概况及其特征．     

基于对象标识的对象持久性语义

本文在 Khoshafian 的对象标识模型基础上引伸出一种分析和处理对象持久性语义的工具——引用可达图,讨论了在持久对象的处理过程中引用可达图的变化情况,并讨论了引用可达图应用于持久存贮空间管理的方法。     

数论变换

本文介绍数论变换的引出,并对其基本定理给出了证明。为了实施数论变换,进而讨论了参数 M、N、α的选择,以及合适代码的寻求。     

面向对象的软件开发

面向对象软件开发技术的发展正在加速，应用不断扩大。本文讨论四个方面的内容：首先阐述ＯＯＳＤ的特点和优点；然后对ＯＯＳＤ的两个主要方面：面向对象分析和面向对象设计所采用的方法，以“数据驱动”和“责任驱动”为基础，结合自己的研究心得和工作体会作了论述；最后探讨有关ＯＯＳＤ的生命周期，标准，和计量方法等问题。     

XDOODB：一种支持关系模型和数据库方法的OODBMS

本文所述的研究工作，是在ＯＯＤＢＭＳ中同时支持面向对象数据模型和关系数据模型，实现包括对象操作（即数据库方法）在内的同一体化对象管理，并研制了一个相应的原型系统ＸＤＯＯＤＢ。在ＸＤＯＯＤＢ中，我们设计和实现了一种基于ＳＱＬ的数据库语言ＯＳＱＬ，提出了虚拟方法的概念，实现了一种Ｃ＋＋预编译器，使之可自动产生虚拟方法体，所提供的方法服务器以对用户透明的方式可进行数据库方法的存储、动态加载和运行，并采用     

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

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