基于面向对象建模的高校试题库管理信息系统的研制

采用统一建模语言UML对高校试题库管理信息系统进行开发建模，并在阐述系统实现方法的同时，着重论述其关键问题的解决方法。     

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

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

软件复用机会识别策略的研究

根据对面向对象分析、设计与建模及可复用构件理论的研究,结合在软件开发中的实践经验,论述了在项目的需求捕获、分析、设计、实现的各个开发阶段中如何更好地把握软件复用机会的识别策略。     

一种基于覆盖测试的动态切片的计算方法

针对现有动态切片方法的缺陷,提出了一种基于覆盖测试的动态切片的计算方法.该方法的关键是建立一个基于覆盖测试的动态依赖图,它既利用动态执行信息又利用静态信息.文中提供的动态切片方法还克服了以往动态切片方法的缺点,即动态切片不会因切片标准变化而重新计算.     

基于依赖性分析的UML类图粗粒度切片方法

引入程序切片的思想对UML的重要组成部分——类图进行切片分析.通过定义类间的各种依赖关系构造UML类依赖图,在此基础上提出了一种UML类图的静态粗粒度切片方法,最后运用实例讨论了该切片方法的实用性.利用文中提供的方法具有较高的效率.     

RUP软件工程过程在企业仓库物资管理系统中的应用

结合当前的研究热点RUP，通过对其在T－MIS项目中的应用，论述了如何把握RUP动态结构和静态结构中的用例、风险和体系结构（即类图）。同时，对现在OO的热点研究构件和UML都有不同程度的阐述。