基于BBN的故障定位技术

故障定位的目的是帮助程序员寻找引发失效的原因或故障位置,以加快调试过程.故障和失效间的关系往往非常复杂,难以直接描述故障到失效的转化.分析了采用差异分析的方法,提出基于可疑模式,构建故障推理贝叶斯网络,节点由可疑模式及其方法调用者构成;介绍了贝叶斯网络构建算法,各个相关概率的定义及BBN(Bayesian Belief Network)中各个边的条件概率计算公式.基于推理算法,得到包含故障的模块,并计算得到每个模块包含故障的概率.提出评价方法,并进行了实验验证,取得了平均0.761的定准率和0.737的定全率,定位结果良好有应用价值.     

基于水文剖面的三维地质建模方法

鉴于剖面是水文地质中常见的、有价值的数据形式,提出了基于水文剖面的三维地质建模方法,即"剖面信息提取",并给出了建模步骤.分析了基于剖面建模应该注意的问题和需要的预处理.详细介绍了剖面概化、二维剖面映射到三维空间、建立背景网格以及校正错误剖面信息的方法.设计了一种"顶面—尖灭线—透镜体"的三步建模法构建透镜体模型,该方法使复杂的多值建模问题转化为单值建模问题.描述了单值层面和透镜体的建模算法.最后给出应用实例,证明了基于剖面建模方法的有效性.      

基于对象关系模型的C＋＋程序静态分析器

面向对象程序设计技术给软件的测试和维护来了新困难。针对这些困难，提出了用于描述程序中对象类之间三种依赖的对象关系图模型，并研究了这一模型在软件测试和维护中的两个具体应用及其相应算法，为了从特定的面向对象程度设计语言Ｃ＋＋编写的程序中提取ＯＲＤ较信息，构造了一个逆向工程工具－Ｃ＋＋程序静态分析器，并对其实现上的一些关键技术进行了介绍。     

Java程序度量工具的实现及案例分析

介绍了面向对象度量技术,给出针对Java语言的McCabe,Halstead和WMC复杂度的定义,提出了一种新的面向Java语言的度量工具的实现方法,并且通过实例分析说明利用该工具度量Java程序,某些度量值高的模块逻辑复杂、工作量大、易错且难维护,从而引导测试人员重点测试这些模块,同时也使开发人员关注它们,仔细检查程序逻辑,进行合理优化,使整个程序的复杂度降低.确凿实验数据表明,软件度量对改进软件质量具有很大实用价值.本工具采用以下度量标准度量Java程序:针对继承复杂性的DIT(Depth of Inheritance Tree)和NOC(Number Of Children)复杂度;针对模块复杂性的McCabe度量法、Halstead软件科学度量和WMC(Weighted Methods per Class)复杂度;针对类间耦合性、聚集性的RFC(Response for a Class)度量法.每种复杂度从不同方面、不同层次度量Java程序,从而有效全面的评价软件质量,揭示可能隐藏的错误.     

一种有效的软件结构图的布图算法

信息的可视化表示是帮助理解软件结构的重要手段.结构化软件中的复杂的模块调用为软件结构的分析和理解带来不便,为此提出一种以模块连接度(扇入扇出系数和)为特征的广义张量平衡算法,以图形方式直观地表现出模块之间复杂的调用关系.具体讨论了算法应遵循的原则,给出了算法的可操作规则集.实践证明,该算法布出的图形具有高度的对称性和紧耦合性,且层次分明,线间交叉少,同时符合图形语义要求和协调性原则.     

基于基元关系模型的C++程序静态分析器

分析了面向对象软件测试和度量的特点,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型(ERM),介绍了从基于MFC(Microsoft Foundation Class)的Visual C+ +6.0源程序中构造ERM模型的算法,据此构造了一个基于基元关系模型的VC+ +6.0程序静态分析器.对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍.实践证明,该分析器可以高效正确地提取出模型中描述的各种关系,有助于面向对象软件测试和度量方面的进一步研究.      

遗留系统再工程中交叉构件划分方法

在面向对象遗留系统的构件化再工程中,针对交叉构件提出划分方法.系统开发方分析遗留系统的功能和实现,描述新的构件化系统中每个构件合同.再工程开发人员依据构件合同从遗留系统中提取每个构件,此时会出现交叉构件共享重叠类.从构件复用、构件间松耦合和构件内高内聚等构件特性出发,提出划分规则实现交叉构件中重叠类的划分.此方法已在软件分析与测试系统的构件化过程中得到应用.     

PC-WINDOW窗口系统的设计与实现

本文介绍了窗口系统的基本概念,概述了在IBM-PC机上实现的一个实用窗口系统PC-WINDOW的主要功能,阐述了它的设计思想和实现策略,并给出了应用实例。     

一种基于UML的面向对象需求分析方法

 提出一种实用的基于UML 的需求分析及其建模方法, 以活动图模型来表达业务模型, 以概念层的对象图、状态图及交互图模型表达系统的结构逻辑及行为逻辑, 以用例表达系统需求, 讨论了需求分析及其建模的过程概念, 方法实施的构造算法。该方法已经在空间天文望远镜系统需求分析中得到成功应用。     

多媒体课件写作环境MCAE的设计与实现

ＭＣＡＥ是一个基于多媒体数据库的课件写作环境，它以多媒体数据库为基础并在其上建立一组开发工具形成的一个开放的，集成化的课件开发环境，开发工具主要有写作工具、查询导航工具，数据输入输出工具等。