搜索筛选:
搜索耗时0.0965秒,为你在为你在102,285,761篇论文里面共找到 25 篇相符的论文内容
发布年度:
[学位论文] 作者：毛澄映,,
来源： 年份：2006
在软件生命周期过程中,软件测试是保证软件质量的关键环节之一。面向对象方法学在软件工程中的引入极大地方便了软件的设计、开发和维护,为创建高可靠性的软件系统提供了重要...
[期刊论文] 作者：毛澄映,
来源：力学与实践 年份：2000
通过求解微分方程组导出了追线函数和追击曲线上两个特殊点横坐标的关联方程，依此证明了猎狗能追上兔子的区域是椭圆这一结论，并给出了椭圆方程。...
[期刊论文] 作者：毛澄映, 卢炎生,,
来源：计算机研究与发展 年份：2006
软构件技术提供了一种较面向对象方法更为有效的软件设计模式,构件软件被广泛应用并成为一种主流软件形态·然而,构件的内部信息屏蔽、演变速度快以及构件间的异质、松耦合等...
[期刊论文] 作者：毛澄映, 卢炎生,,
来源：计算机科学 年份：2005
基于状态转换的测试方法是探测Web程序动态行为异常的有效途径.Web程序状态的变迁由链接序列和提交数据共同构成的导航场景决定.本文用活动页面导航图(APND)来描述页面间的链...
[期刊论文] 作者：卢炎生,毛澄映,
来源：小型微型计算机系统 年份：2005
通过对传统的对象关系图进行扩展,提出了EORD图和WORD图的概念.在确定类间测试序时,把需要生成的存根数目作为优化目标,还定义了联系强度、成环权重、边向因子等启发式规则,...
[期刊论文] 作者：毛澄映,卢炎生,
来源：计算机研究与发展 年份：2006
软构件技术虽被广泛应用于软件系统的开发中，但其测试问题并未得到很好地解决．系统构建者对外部提供的构件内部结构及其变更信息缺乏了解，很难选择出与构件变更相关的用例用于下......
[期刊论文] 作者：毛澄映,卢炎生,
来源：计算机研究与发展 年份：2006
结构性测试是对过程式和面向对象程序都非常有效的测试方法，分支覆盖准则被实践证明是其中性价比最高的一种策略．通过深入研究DD图的性质并分析FTPS算法的不足，提出了一种简便、......
[期刊论文] 作者：毛澄映,卢炎生,
来源：计算机工程与科学 年份：2005
类簇控制依赖信息是进行类间数据流测试的基础.本文通过克服已有类控制流分析的不足之处,提出了CCFG算法,依照类间测试序,通过分析继承、聚集和关联等类间关系特征进而增量式...
[期刊论文] 作者：毛澄映,卢炎生,
来源：小型微型计算机系统 年份：2006
异常处理机制是一种运行时错误通知机制，将程序的正常控制代码和错误处理代码分离．然而异常机制的引入使得程序控制信息变得更为复杂；且开发人员一般难以熟练使用它，导致程序中会......
[期刊论文] 作者：黄若艺,毛澄映,
来源：微计算机信息 年份：2005
在面向对象程序功能性测试中,扩展有限状态自动机(ESFM)是一种有效的建模袁示方式.本文主要探讨面向对象程序回归测试中的用例选择技术,对程序对应的EFSM模型进行数据依赖和...
[会议论文] 作者：毛澄映;卢炎生;,
来源：中国科协第2届优秀博士生学术年会 年份：2004
随着面向对象程序的广泛应用,寻求对此高效测试的方法和技术已成为一个亟待解决的课题.本文将测试过程式程序效果显著的统计测试方法应用于类程序的测试.方法级统计结构化测...
[期刊论文] 作者：卢超, 卢炎生, 毛澄映,,
来源：华中科技大学学报(自然科学版) 年份：2008
研究了并发Java程序控制流模型的建模问题．通过深入分析并发Java程序设计语言的语义以及带抑止弧Petri网的建模能力，提出了一种并发Java程序控制流模型——CJCFM，并给出了从并发...
[期刊论文] 作者：毛澄映, 卢炎生, 胡小华,,
来源：计算机科学 年份：2009
随着软件系统的规模和复杂性日益增长,软件开发已经演变成一项复杂的系统工程。软件工程中的对象、活动和过程更加难以控制和管理,因此该领域原有的经验直觉型的处理模式已经...
[期刊论文] 作者：毛澄映,喻新欣,薛云志,,
来源：计算机研究与发展 年份：2014
运用元启发式搜索进行结构性测试数据生成已经被证实是一种有效的方法.在讨论基于搜索的测试数据生成基本框架的基础上,以分支覆盖作为测试覆盖准则,给出了基于粒子群优化(pa...
[期刊论文] 作者：毛澄映,张金隆,卢炎生,
来源：计算机科学 年份：2008
构件软件相较于传统软件系统有更快的演化速度，对其变更进行有效的度量将有利于后期的维护活动。本文分别针对代码可见及不可见两种类型的构件，运用改进的构件依赖图建模，表示构......
[期刊论文] 作者：卢炎生,雷波,谢晓东,毛澄映,
来源：计算机工程与科学 年份：2006
本文提出了一种面向对象测试中定义-清除路径（DC路径）生成方法,以扩展有限状态机EFSM作为测试模型,结合数据流分析方法,用图论中的结点间最短路径求解思想生成DC路径.这样产生...
[期刊论文] 作者：毛澄映,卢炎生,闫伟,江胜,,
来源：计算机应用研究 年份：2007
从异常处理的分析方法和测试技术两个方面概述当前对异常处理的研究现状,分析和比较了一些典型方法;简要介绍了在C++程序中异常测试技术改进和工具实现方面所做的工作;探讨了异常分析和测试的若干研究方向。......
[期刊论文] 作者：毛澄映,卢炎生,张金隆,卢超,
来源：小型微型计算机系统 年份：2008
死锁是并发程序中最为常见的一类错误，直到现在并没有得到很好地解决.本文以Java并发程序为例，重点研究针对资源死锁较为有效的动态检测算法：根据并发程序的动态执行追踪信息，分......
[期刊论文] 作者：卢炎生,王静,谢晓东,毛澄映,
来源：小型微型计算机系统 年份：2007
由于执行的不确定性,并发程序的测试需要验证程序执行的事件序列.定义事件之间的约束是验证事件序列合法性的前提.本文提出了一种事件约束的形式化描述方法,扩充了E-CSPE（exte...
[期刊论文] 作者：卢炎生, 王曦, 谢晓东, 毛澄映,,
来源：计算机工程 年份：2006
将UML状态图、程序切片和软件测试技术三者结合起来，生成基于依赖性分析的UML状态图切片，为软件测试中待测试的程序的理解、发现和修改错误提供了一种方法。最后运用实例讨论了......
相关搜索：
