面向对象软件度量工具体系框架研究

该文首先从系统分析、模型创建、度量计算以及结果表示四个方面讨论了面向对象软件度量工具的体系框架,然后介绍了度量工具信息库的设计,并就若干度量模型实例,对信息的覆盖范围做了统计分析。     

基于规约匹配的构件检索

在基于构件／构架的软件开发模式中，源代码级的构件组装是其中非常重要的一个环节，采用传统的构件检索技术，如刻面检索，关键词检索等来检索满足组装需求的构件存在查全率和查准率低的缺点，基于构件规约的检索是解决这些缺点的有效途径。本文在青鸟构件描述语言（JBCDL）的基础上，详细研究了规约语法匹配的基本原理和匹配策略，提出了构件接口匹配度和冗余度的概念用于评估检索结果，最后给出一种构件接口的规范化表示方法，用于提高规约语法匹配的响应速度，本文的研究结果也同样适用于Ada,COM,CORBA等构件规约。     

青鸟网上构件库系统的访问控制机制

青鸟网上构件库系统通过对可复用构件的管理,支持软件企业进行基于构件的软件开发.系统在提高开放性的同时,往往会带来安全性以及知识产权方面的问题.为了解决这些问题,在青鸟网上构件库系统中采用基于角色的访问控制机制,并将构件描述信息与构件实体区别对待.为构件库系统及其所管理的构件定义了用户、角色、权限和角色继承,满足了安全性、知识产权管理等多种需求,同时也保证了系统的效率和对复用的支持.     

计算机在雷击定位中的应用

介绍了以计算机为核心的时差法雷击定位系统LD型系统的工作原理、系统结构及主要功能。两年多的实际使用表明，LD型系统性能稳定、可靠，定位精度高，超过了国外同类产品的定位精度。     

一种基于功能需求层次凝聚的程序聚类方法

对大型复杂系统进行聚类分析能够改善软件维护的效率和效果,同时也是获取可复用构件的基础.提出一种基于需求层次凝聚的程序聚类方法来解决这个问题.该方法利用存在于需求描述中的语义信息获取问题域的高层逻辑,结合对源代码的动态分析,最终获取对源代码的分解划分.使用该方法获取的划分结果具有到问题域的映射;并且由于采用了动态的分析策略,该方法具有灵活的划分粒度.     

面向对象系统中基于度量的可复用构件获取机制

从遗产系统代码中获取复用价值高、质量好的构件是成功复用的关键并且亟待解决．本文以系统理解和软件度量为基础，提出了一种从面向对象遗产系统中挖掘可复用构件的有效方法．设计了基于类之间关系分析的构件标识算法-RBCI；构造了构件可复用性模型KVCQ，它可用于辅助用户筛选识别出来的候选构件，该层次型模型的底层度量可以通过计算机自动获取；最后，基于RBCI和RMCQ设计并实现了工具JBCET，以辅助开发者从C 系统中获取高质量的可复用构件。     

Interactive Fault Localization Using Test Information

Debugging is a time-consuming task in software development. Although various automated approaches have been proposed, they are not effective enough. On the other hand, in manual debugging, developers have difficulty in choosing breakpoints. To address these problems and help developers locate faults effectively, we propose an interactive fault-localization framework, combining the benefits of automated approaches and manual debugging. Before the fault is found, this framework continuously recommends checking points based on statements' suspicions, which are calculated according to the execution information of test cases and the feedback information from the developer at earlier checking points. Then we propose a naive approach, which is an initial implementation of this framework. However, with this naive approach or manual debugging, developers' wrong estimation of whether the faulty statement is executed before the checking point (breakpoint) may make the debugging process fail. So we propose another robust approach based on this framework, handling cases where developers make mistakes during the fault-localization process. We performed two experimental studies and the results show that the two interactive approaches are quite effective compared with existing fault-localization approaches. Moreover, the robust approach can help developers find faults when they make wrong estimation at some checking points.     

面向对象软件回归测试技术研究

回归测试的目标之一是在程序修改后,只对进行修改的部分重新测试,从而达到与完全测试相同的测试覆盖.利用数据流或部分数据流技术,对结构化程序进行回归测试的技术已相继提出.随着面向对象方法的逐渐成熟,对面向对象软件测试技术的研究有了迫切的需求.通过分析对象系统的特性,定义了对象之间的依赖关系,通过这个依赖关系,导出测试对象的方法序列,并应用程序切片技术,标识那些受到程序修改影响的测试用例,只有这些测试用例才需要在回归测试中重新执行.最后给出了一完整的对象系统的回归测试解决方案.     

一种新的变异测试数据自动生成方法

变异测试是一种行之有效的软件测试方法,通过使用变异算子产生变异体系统地模拟软件中的各种缺陷,然后构造能够杀死这些变异体的测试数据集.自动生成能够杀死变异体的测试数据将提高变异测试的效率和有效性.当前的研究工作只考虑生成杀死单个变异体的测试数据.文中根据杀死同一位置的多个变异体的条件相近的特点,提出一种对杀死这些变异体的条件进行组合,然后生成同时杀死该位置多个变异体的测试数据的方法;给出相应的支持工具,并且通过实验验证方法的有效性.