王渊峰
- 作品数：11 被引量：377H指数：8
- 供职机构：复旦大学信息科学与工程学院计算机科学系更多>>
- 发文基金：上海市教育委员会重点学科基金“九五”国家科技攻关计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于构件的软件开发方法研究
- 钱乐秋赵文耘夏宽理杨俊朱崇湘王春森王渊峰朱承任洪敏杨娟张海飞唐振云袁磊
- 该项目主要研究构件的描述、构架（Architecture）的描述以及构件的组装技术，其目标是以通用财务软件为样板，开发一个构件/构架描述和构件组装的原型系统。该项目采用刻面分类方法，提供一个描述构件刻面的元语言，通过该元...
- 关键词：
- 关键词：软件开发方法
- 构件库中构件系统的模型和实现被引量：17
- 2002年
- 构件系统是具有某种关联的构件和子构件系统的集合 .构件库管理系统支持和实现构件系统具有重要的意义 .论文描述了一个构件系统的逻辑结构、物理结构和其面向对象的管理技术 .其主要特点是 :(1)构件系统的类型机制 ;(2 )丰富的、支持共享的构件和构件系统信息 ;(3)构件、构件系统间关系的表达和存储 .因此 ,利用该构件系统能够简单和强有力地表达构件库的体系结构 ,全面支持软件开发生命周期各个阶段构件和大粒度构件系统的复用和构件库的其它功能 。
- 任洪敏王渊峰钱乐秋
- 关键词：构件库软件复用面向对象软件工程
- 基于扩展有限状态机测试中测试输入数据自动选取的研究被引量：43
- 2003年
- 扩展有限状态机 (EFSM )模型是有限状态机 (FSM )模型的一个扩展 ,它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件 ,通过EFSM我们可以更加精确地刻画软件系统的动态行为 .基于EFSM的测试可以应用到许多领域 ,因此具有重要的研究价值和实际意义 .许多研究人员已经提出了基于FSM测试的测试输入序列的构造方法 ,但基于EFSM的测试与FSM相比由于变量和状态迁移的前置条件的引入 ,增加了构造其测试输入的复杂性 .我们认为基于EFSM测试的测试输入应该包含两个部分 :即测试输入序列以及该输入序列上包含的输入变量的确定值 (测试输入数据 ) .手工选取这些测试数据的工作十分繁琐 ,极大地增加了测试的花费 ,因此自动选取这些测试数据可以大大提高实际测试工作的效率 .该文提出一种基于EFSM测试的测试数据自动选取方法 ,该方法利用两个关键的步骤 :①区间削减和②分段梯度最优下降算法来自动选取测试数据 .实验表明利用该方法可以自动选取大部分的测试数据 ,并且收敛速度较快 ;在某些无法得到确定解的情况下 ,区间削减也可以为测试人员提供一个较小的输入变量取值区间 ,方便了测试人员从中手工选择测试数据 .
- 张涌钱乐秋王渊峰
- 关键词：扩展有限状态机有限状态机面向对象软件设计
- 基于构件库管理系统的构件复用度度量模型被引量：7
- 2002年
- 构件概念及其理论的发展始终以软件复用为切入点,只有被最大可能地复用,构件才有其存在的意义和经济价值。如何用一种较为精确的、基于实践应用的方法来评价构件的复用度,关系到构件质量的提高和构件库的有效性。该文介绍了构件复用的概念,并结合构件库管理系统,提供了一个对构件复用度的度量模型,分析了度量结果对构件库的反馈作用,能够对构件库管理系统的设计与实现提供参考。
- 薛云皎王渊峰余枝强钱乐秋
- 关键词：构件库管理系统软件复用软件工程
- 基于刻面描述的构件检索被引量：119
- 2002年
- 随着软件复用实践的深入和软件构件库规模的扩大,对软件构件的表示与检索的研究正受到越来越多的重视.针对基于刻面描述的软件构件,结合模式分析中的树匹配思想,根据构件刻面描述的特点,提出了一种基于树包含(tree inclusion)的构件检索方法,并进行了理论上的分析与实验上的检验.实验结果证明了它的可行性与有效性.
- 王渊峰张涌任洪敏朱三元钱乐秋
- 关键词：刻面描述软件工程树匹配软件复用
- 刻面分类构件的匹配模型被引量：83
- 2003年
- 随着软件复用实践的深入和软件构件库规模的扩大,对软件构件的表示与检索的研究正得到越来越多的重视.针对基于刻面描述的软件构件,结合模式分析中的树匹配思想,并根据构件刻面描述的特点,提出了一个包含3个层次,5种匹配类型的刻面匹配模型.给出了该匹配模型的泛型算法并对具化情况下的算法实现与时间复杂度进行了讨论.同时,通过理论和实践的结果证明了该匹配模型在构件检索上的可行性与有效性.
- 王渊峰薛云皎张涌朱三元钱乐秋
- 关键词：软件复用软件构件库软件工程
- 基于刻面描述的构件检索算法研究
- 该文在对构件的刻面表示方法进行深入研究的基础上,结合模式分析中的树匹配思想,并根据构件刻面描述的特点,提出了一种基于树匹配的针对刻面表示构件的新的检索方法.这种新的检索方法可以有效的解决原有检索方法的以上不足.该文首先借...
- 王渊峰
- 关键词：软件复用刻面分类树匹配
- 文献传递
- 基于确定有限状态机的测试输入序列选取被引量：26
- 2002年
- 有限状态机可以精确地刻画软件系统或其子系统的行为 ,其在软件建模中被广泛应用 .基于有限状态机的测试问题得到了广泛的研究 ,其中 Wp方法由于限制条件较少 ,并且其可以达到较高的错误覆盖度 ,因此被广泛使用 .但当有限状态机的实现中的状态数目的估计值 m较大时 ,产生的测试输入序列数目过多 ,影响了其使用效率 .提出一种 Wp方法的改进方法 R- Wp方法 ,使用该方法在 m值较大时可以产生相对较少的测试输入序列数目 ,可以提高测试效率 ;同时本文对 Wp方法和 R- Wp方法产生的测试输入序列数目进行了讨论 ,并证明了该方法与Wp方法相同的错误覆盖能力 .
- 张涌钱乐秋王渊峰
- 关键词：软件测试有限状态机软件系统软件开发
- 对复用构件库体系结构的几点研究被引量：26
- 2002年
- 复用构件库是软件复用的重要的技术支撑之一 .但由于目前的构件库体系结构主要是基于静态管理的数据仓储结构或层次结构 ,忽视了构件作为其复用单元本身的变化发展特征 ,所以并不能为软件开发提供真正意义上的面向复用的服务 .本文结合构件的复用性能的有关度量模型 ,提出了一种新型的层次型体系结构 ,从结构机制上提高了构件库的复用性能 。
- 王渊峰朱三元钱乐秋
- 关键词：软件复用体系结构软件开发
- 基于XML的软件构件查询匹配算法研究被引量：90
- 2003年
- 在研究无序树包含匹配的基础上,提出一种新的基于XML的软件构件查询匹配算法.该算法可以在保持较高构件查准率的前提下,显著地提高构件的查全率,并提供对布尔查询的支持.此外,通过合理地设定约束条件以及利用动态规划的方法,将计算查询匹配代价的算法时间复杂度限定为多项式级,确保构件查询具有足够的查询效率.最后,通过在构件库原型系统RCRS上进行的一系列实验,进一步证明了新的查询匹配算法在软件构件查询实际应用中的可行性和有效性.
- 徐如志钱乐秋程建平王渊峰朱三元
- 关键词：XML构件查询树匹配
