基于构件库管理系统的构件复用度度量模型

构件概念及其理论的发展始终以软件复用为切入点,只有被最大可能地复用,构件才有其存在的意义和经济价值。如何用一种较为精确的、基于实践应用的方法来评价构件的复用度,关系到构件质量的提高和构件库的有效性。该文介绍了构件复用的概念,并结合构件库管理系统,提供了一个对构件复用度的度量模型,分析了度量结果对构件库的反馈作用,能够对构件库管理系统的设计与实现提供参考。     

基于刻面描述的构件检索

随着软件复用实践的深入和软件构件库规模的扩大,对软件构件的表示与检索的研究正受到越来越多的重视.针对基于刻面描述的软件构件,结合模式分析中的树匹配思想,根据构件刻面描述的特点,提出了一种基于树包含(tree inclusion)的构件检索方法,并进行了理论上的分析与实验上的检验.实验结果证明了它的可行性与有效性.     

构件库中构件系统的模型和实现

构件系统是具有某种关联的构件和子构件系统的集合，构件库管理系统支持和实现构件系统具有重要的意义，论文描述了一个构件系统的逻辑结构，物理结构和其面向对象的管理技术，其主要特点是：（1）构件系统的类型机制；（2）丰富的、支持共享的构件和构件系统信息；（3）构件、构件系统间关系的表达和存储，因此，利用该构件系统能够简单和强有力地表达构件库的体系结构。全面支持软件开发生命周期各个阶段构件和大粒度构件系统的复用和构件库的其它功能，如领域学习功能。     

一个集成式的软件构件描述框架

该文提出了一个可扩展、可裁减的集成式软件构件描述框架。该框架采用了相宜的方法对构件的接口、语义、问题空间等方面进行描述，并且通过XML提供了可扩展的机制。实践证明，在该框架基础上实现的构件库管理系统体现了较好的构件描述与检索能力。     

信封图象处理中若干关键技术的研究

近十年来,数字图象处理的理论与技术不断发展,对图象处理效果的要求也越来越高。在自动控制方面,对大量的图象数据进行实时精确的信息分析与处理已成为迫切的要求。特征锐化与知识推理是两种主要的处理手段,但在实践中其效果往往并不理想。本文提出了一种将特征税化与知识推理有机地结合起来进行图象处理的方式,并在具体实践过程中建立起处理模型与相关的算法,其结果证明了它的有效性与可行性。     

基于扩展有限状态机测试中测试输入数据自动选取的研究

扩展有限状态机(EFSM)模型是有限状态机(FSM)模型的一个扩展，它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件，通过EFSM我们可以更加精确地刻画软件系统的动态行为．基于EFSM的测试可以应用到许多领域，因此具有重要的研究价值和实际意义．许多研究人员已经提出了基于FSM测试的测试输入序列的构造方法，但基于EFSM的测试与FSM相比由于变量和状态迁移的前置条件的引入，增加了构造其测试输入的复杂性．我们认为基于EFSM测试的测试输入应该包含两个部分：即测试输入序列以及该输入序列上包含的输入变量的确定值(测试输入数据)．手工选取这些测试数据的工作十分繁琐，极大地增加了测试的花费，因此自动选取这些测试数据可以大大提高实际测试工作的效率．该文提出一种基于EFSM测试的测试数据自动选取方法，该方法利用两个关键的步骤：①区间削减和②分段梯度最优下降算法来自动选取测试数据．实验表明利用该方法可以自动选取大部分的测试数据，并且收敛速度较快；在某些无法得到确定解的情况下，区间削减也可以为测试人员提供一个较小的输入变量取值区间，方便了测试人员从中手工选择测试数据．     

刻面分类构件的匹配模型

随着软件复用实践的深入和软件构件库规模的扩大,对软件构件的表示与检索的研究正得到越来越多的重视.针对基于刻面描述的软件构件,结合模式分析中的树匹配思想,并根据构件刻面描述的特点,提出了一个包含3个层次,5种匹配类型的刻面匹配模型.给出了该匹配模型的泛型算法并对具化情况下的算法实现与时间复杂度进行了讨论.同时,通过理论和实践的结果证明了该匹配模型在构件检索上的可行性与有效性.     

基于XML的软件构件查询匹配算法研究

在研究无序树包含匹配的基础上,提出一种新的基于XML的软件构件查询匹配算法.该算法可以在保持较高构件查准率的前提下,显著地提高构件的查全率,并提供对布尔查询的支持.此外,通过合理地设定约束条件以及利用动态规划的方法,将计算查询匹配代价的算法时间复杂度限定为多项式级,确保构件查询具有足够的查询效率.最后,通过在构件库原型系统RCRS上进行的一系列实验,进一步证明了新的查询匹配算法在软件构件查询实际应用中的可行性和有效性.     

基于确定有限状态机的测试输入序列选取

有限状态机可以精确地刻画软件系统或其子系统的行为，其在软件建模中被广泛应用，基于有限状态机的测试问题得到了广泛的研究，其中WP方法由于限制条件较少，并且其可以达到较高的错误覆盖度，因此被广泛使用，但当有限状态机的实现中的状态数目的估计值m较大时，产生的测试输入序列相对较少的测试输入序列数目，可以提高测试效率，同时本文对Wp方法和R-Wp方法产生的测试输入序列数目进行了讨论，并证明了该方法与Wp方法相同的错误覆盖能力。     

对复用构件库体系结构的几点研究

复用构件库是软件复用的重要的技术支撑之一 .但由于目前的构件库体系结构主要是基于静态管理的数据仓储结构或层次结构 ,忽视了构件作为其复用单元本身的变化发展特征 ,所以并不能为软件开发提供真正意义上的面向复用的服务 .本文结合构件的复用性能的有关度量模型 ,提出了一种新型的层次型体系结构 ,从结构机制上提高了构件库的复用性能 ,有利于软件复用的实践与发展