张涌
- 作品数：12 被引量：302H指数：6
- 供职机构：复旦大学更多>>
- 发文基金：上海市教育委员会重点学科基金上海市科学技术发展基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理电子电信更多>>
- 一种基于UML的类复杂性度量方法被引量：2
- 2002年
- 一、简介
自从面向对象的分析与设计方法问世以来,由于其拥有众多的优点,已经得到了广泛的应用.面向对象的分析与设计方法与传统的软件开发方法有许多不同之处,在软件开发过程、分析与设计技术、度量以及测试和维护方面都存在很大的差异.软件产品的度量一直是软件工程研究人员研究的一个热点问题.对软件产品进行度量可以让我们对项目开发的进度,开发成本等方面有一个定量的认识.软件产品复杂性的度量是软件度量的一个重要方面,它直接关系到软件开发费用的多少,开发周期的长短和软件内部潜伏错误的多少,同时它还间接度量了软件产品的可理解性.
- 张涌陶隽钱乐秋
- 关键词：面向对象软件开发UML软件产品
- 基于确定有限状态机的测试输入序列选取被引量：26
- 2002年
- 有限状态机可以精确地刻画软件系统或其子系统的行为 ,其在软件建模中被广泛应用 .基于有限状态机的测试问题得到了广泛的研究 ,其中 Wp方法由于限制条件较少 ,并且其可以达到较高的错误覆盖度 ,因此被广泛使用 .但当有限状态机的实现中的状态数目的估计值 m较大时 ,产生的测试输入序列数目过多 ,影响了其使用效率 .提出一种 Wp方法的改进方法 R- Wp方法 ,使用该方法在 m值较大时可以产生相对较少的测试输入序列数目 ,可以提高测试效率 ;同时本文对 Wp方法和 R- Wp方法产生的测试输入序列数目进行了讨论 ,并证明了该方法与Wp方法相同的错误覆盖能力 .
- 张涌钱乐秋王渊峰
- 关键词：软件测试有限状态机软件系统软件开发
- 刻面分类构件的匹配模型被引量：83
- 2003年
- 随着软件复用实践的深入和软件构件库规模的扩大,对软件构件的表示与检索的研究正得到越来越多的重视.针对基于刻面描述的软件构件,结合模式分析中的树匹配思想,并根据构件刻面描述的特点,提出了一个包含3个层次,5种匹配类型的刻面匹配模型.给出了该匹配模型的泛型算法并对具化情况下的算法实现与时间复杂度进行了讨论.同时,通过理论和实践的结果证明了该匹配模型在构件检索上的可行性与有效性.
- 王渊峰薛云皎张涌朱三元钱乐秋
- 关键词：软件复用软件构件库软件工程
- 一类弱集合覆盖问题的近似算法被引量：5
- 2005年
- 在近似算法领域,集合覆盖(SetCover)是研究的比较早和比较透彻的问题之一.该文提出了一类与集合覆盖很相似的问题:集合击中和弱集合b覆盖,并且给出了解决它们的近似算法,还证明了它们的不可近似性.
- 张涌朱洪
- 基于扩展有限状态机测试中测试输入数据自动选取的研究被引量：44
- 2003年
- 扩展有限状态机 (EFSM )模型是有限状态机 (FSM )模型的一个扩展 ,它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件 ,通过EFSM我们可以更加精确地刻画软件系统的动态行为 .基于EFSM的测试可以应用到许多领域 ,因此具有重要的研究价值和实际意义 .许多研究人员已经提出了基于FSM测试的测试输入序列的构造方法 ,但基于EFSM的测试与FSM相比由于变量和状态迁移的前置条件的引入 ,增加了构造其测试输入的复杂性 .我们认为基于EFSM测试的测试输入应该包含两个部分 :即测试输入序列以及该输入序列上包含的输入变量的确定值 (测试输入数据 ) .手工选取这些测试数据的工作十分繁琐 ,极大地增加了测试的花费 ,因此自动选取这些测试数据可以大大提高实际测试工作的效率 .该文提出一种基于EFSM测试的测试数据自动选取方法 ,该方法利用两个关键的步骤 :①区间削减和②分段梯度最优下降算法来自动选取测试数据 .实验表明利用该方法可以自动选取大部分的测试数据 ,并且收敛速度较快 ;在某些无法得到确定解的情况下 ,区间削减也可以为测试人员提供一个较小的输入变量取值区间 ,方便了测试人员从中手工选择测试数据 .
- 张涌钱乐秋王渊峰
- 关键词：扩展有限状态机有限状态机面向对象软件设计
- 基于刻面描述的构件检索被引量：119
- 2002年
- 随着软件复用实践的深入和软件构件库规模的扩大,对软件构件的表示与检索的研究正受到越来越多的重视.针对基于刻面描述的软件构件,结合模式分析中的树匹配思想,根据构件刻面描述的特点,提出了一种基于树包含(tree inclusion)的构件检索方法,并进行了理论上的分析与实验上的检验.实验结果证明了它的可行性与有效性.
- 王渊峰张涌任洪敏朱三元钱乐秋
- 关键词：刻面描述软件工程树匹配软件复用
- 类的数据流分析方法研究
- 2002年
- 本文把类的操作划分成三个不同的级别,采用增量算法分别对不同级别的操作进行数据流分析,相应得到三种不同的定义-引用对,根据生成的定义-引用对就可以进行基于数据流的测试。如何对有调用关系的操作之间进行快速有效的数据流分析是对类进行数据流分析的一个难点,本文对该问题进行了深入研究,并提出了相应的解决方法。
- 孙跃勇张涌赵文耘丁文
- 关键词：数据流分析方法面向对象软件开发控制流图
- 面向对象软件测试技术—类级别测试用例生成及回归测试研究
- 该文主要对面向对象软件中类级别的测试用例自动生成方法以及类级别的回归测试用例选取问题进行研究.作者采用基于规约的测试用例生成的思想,通过在面向对象软件开发过程中产生的分析设计规约,特别是类的行为模型,作为测试用例生成的基...
- 张涌
- 关键词：面向对象软件测试有限状态机扩展有限状态机UML状态图
- 软件复用度量综述被引量：9
- 2002年
- 软件复用度量是软件复用技术中不可分割的一部分,在软件复用开发中占据重要地位。软件复用开发与传统的软件开发方式不同,从而影响到软件度量,因此需要新的软件复用度量方法,软件复用度量的研究已经引起学术界的广泛重视。本文是一篇软件复用度量综述,阐述了软件复用对度量的影响以及有关软件复用的度量。
- 钱乐秋张涌
- 关键词：软件复用项目管理软件开发
- 中国国有企业融资体制研究
- 该论文试图在研究、借鉴西方发达国家融资体制选择的经验基础上,进一步探讨中国在经济转轨过程如何更好的处理国有企业融资模式的选择问题.该论文将深入分析日美企业融资模式的不同特征、运作方式及其在公司治理结构中的不同作用,研究中...
- 张涌
- 关键词：国有企业融资模式融资模式
