Singularity of software reliability models LVLM and LVQM

According to the principle, “The failure data is the basis of software reliabilityanalysis”, we built a software reliability expert system (SRES) by adopting the artificialtechnology. By reasoning out the conclusion from the fitting results of failure data of asoftware project, the SRES can recommend users “the most suitable model” as a softwarereliability measurement model. We believe that the SRES can overcome the inconsistency inapplications of software reliability models well. We report investigation results of singularity and parameter estimation methods of models, LVLM and LVQM. Foundation item: Supported by the National Natural Science Foundation of China Biography: Biography: XU Ren-zuo (1946-), male, Professor, Research interests include software engineering, software reliability engineering, software quality guarantee technology, reliability theory, software safety and security.     

软件可靠性及其模型

描述了软件可靠性的总况 ,并对具有代表性的Halstead模型、Jelinski Moranda模型、Littlewood Verrall模型、Cai模糊增长模型、Geol OkumotoNHPP模型以及超几何模型作了总体性论述 最后给出了软件可靠性面临的主要问题     

基于UML的软件结构规范与精化

提出利用UML表示软件体系结构不同的视,表明了UML可以用于建模软件结构。UML的图形语义用通信顺序进程CSP的符号表示,进一步,基于CSP的语义可以链接不同的软件结构模型。还讨论了软件结构规范的精化问题,该精化过程可以保留系统需要的属性。     

单齿圈复合运动破岩系统动力特性分析

牙轮钻头牙齿与岩石相互作用过程中的实际运动是很复杂的,它是变角度、斜向冲击压入加滚动和刮切等多种运动的复合。单齿圈复合运动破岩系统能够真实模拟全尺寸钻头上牙齿的运动、受力和破岩的状况,可获得较真实和完整的在一定钻头结构、钻压和转速下无重复破碎的井底破碎坑,从而为评价现有钻头性能和开发设计新型钻头提供重要的依据。研究单齿圈破岩理论,建立单齿圈复合破岩系统几何模型和动力学模型,对于分析不同类型钻头的破岩效率和建立钻头破岩的计算机仿真系统都具有非常重要的意义。通过ABAQUS有限元分析软件建立单齿圈复合运动破岩系统有限元分析模型,采用线性D-P模型模拟岩石材料,进行了单齿圈复合运动破岩系统的仿真。     

软件产品线方法在网络管理软件开发中的研究与应用

给出了软件产品线的开发过程, 把软件产品线的思想应用在网络管理领域, 建立了网络管理软件产品线的特征模型, 定义了一种网络管理软件产品线动态体系结构, 提出一种可变特征集成框架方法. 该产品线已经实现, 并在吉林大学校园网试运行, 结果表明, 使用该产品线, 可以大力度地重用已有的软件资源, 迅速响应用户需求的变化, 开发出满足用户需求的产品.     

一组实用的Z规格说明度量准则

众所周知,软件开发越到后期,为纠正或弥补错误所付出的代价会呈几何级数增长,因此规格说明的质量成为影响软件开发的难点和关键因素之一.为此,文中给出了一组针对形式规格说明语言Z模式的度量准则.该组准则考虑了模式修饰、模式包含、模式类型和模式出现在其他模式的变量说明和谓词约束部分的可能.根据这些度量准则,可以发现一些问题并把问题杜绝在软件开发的早期阶段,减少由于错误或不合理分析导致的浪费,并可对系统进行有效的评估.     

水文信息通用化管理模式研究

通过讨论传统水文信息管理系统中存在的不足,分析水文信息的特点,采取面向对象的思想,通过站网及测站对象的动态管理、数据库的动态连接器的设置,实现了水文信息通用化管理.     

agent—oriented软件开发方法

agent-oriented是一种较新的开发软件的方法,针对agent-oriented方法用于解决现实社会中复杂系统的问题进行讨论,并且介绍了基于agent-oriented方法处理复杂系统的技术步骤。最后,给出了一个基于agent-oriented方法开发的软件实例。     

计算机专业开放实验室系统维护技术的探讨

探讨如何用新的计算机软件技术来提高计算机系统软件维护水平 ,提出了几种有效的维护软件技术的运用方式     

文档开发过程研究

在软件开发过程中,文档起着十分重要的作用,介绍了ISO建议的文档开发过程,深入探讨了文档开发过程的求精步骤——建模、裁剪和例化、运作、反馈与改进,以期通过实施恰当的文档开发过程,达到提高文档开发质量的目的。