您的位置： 专家智库 > >

国防科技技术预先研究基金(4131592)

作品数：5 被引量：32H指数：4
相关作者：卢炎生毛澄映易国洪雷波谢晓东更多>>
相关机构：华中科技大学更多>>
发文基金：国防科技技术预先研究基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 5篇中文期刊文章

领域

  • 5篇自动化与计算...

主题

  • 2篇面向对象
  • 2篇簇级测试
  • 1篇导航
  • 1篇导航图
  • 1篇等价
  • 1篇等价类
  • 1篇对象类
  • 1篇有限状态机
  • 1篇软件测试
  • 1篇数据流
  • 1篇数据流测试
  • 1篇状态机
  • 1篇状态图
  • 1篇状态转换图
  • 1篇流图
  • 1篇面向对象类
  • 1篇控制流
  • 1篇控制流图
  • 1篇扩展有限状态...
  • 1篇换行

机构

  • 5篇华中科技大学

作者

  • 5篇卢炎生
  • 4篇毛澄映
  • 1篇谢晓东
  • 1篇易国洪
  • 1篇雷波

传媒

  • 2篇计算机工程与...
  • 2篇计算机科学
  • 1篇小型微型计算...

年份

  • 1篇2007
  • 1篇2006
  • 3篇2005
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
基于扩展有限状态机的定义-清除路径的生成方法被引量：3
2006年
本文提出了一种面向对象测试中定义-清除路径(DC路径)生成方法,以扩展有限状态机EFSM作为测试模型,结合数据流分析方法,用图论中的结点间最短路径求解思想生成DC路径。这样产生的路径考虑了对象状态迁移,能够发现类中方法与变量之间交互作用时发生的错误,并精简了定义-使用路径(DU路径)组成的测试用例集。
卢炎生雷波谢晓东毛澄映
关键词：扩展有限状态机测试用例
面向对象类簇级测试中控制依赖分析方法研究被引量：6
2005年
类簇控制依赖信息是进行类间数据流测试的基础。本文通过克服已有类控制流分析的不足之处,提出了CCFG算法,依照类间测试序,通过分析继承、聚集和关联等类间关系特征进而增量式地构造类间控制流图(ICCFG算法),并初步探讨了动态控制依赖分析方法。实验表明,上述控制流分析方法可方便地用于类间数据流测试,并能有效地探测定义-使用错误。
毛澄映卢炎生
关键词：数据流测试
面向对象簇级测试中类间测试序确定方法研究被引量：7
2005年
通过对传统的对象关系图进行扩展,提出了EORD图和WORD图的概念.在确定类间测试序时,把需要生成的存根数目作为优化目标,还定义了联系强度、成环权重、边向因子等启发式规则,并将此作为剪去关联边破除环路的重要准则.分析目前已有算法的优缺点,提出了我们的确定类间测试序的AICTO算法.该算法首先着重处理环偶对中的关联边,较大地提高了算法效率,还具有创建存根时涉及到的类的数目少、能保留关联强度大的边和稳定性好等优点,并在原型系统CppTest中进行了实现.
卢炎生毛澄映
基于EFSM模型的等价类测试被引量：10
2007年
等价类测试是有效减少测试用例而又较小地影响测试效果的一种高效的测试方法,但是对于测试者来说,寻找一种等价类测试的划分方法十分重要,本文提出了一种基于EFSM(Extended Finite State Machine)模型的等价类测试划分的方法,通过对EFSM模型数据依赖和控制依赖分析,给出了等价类测试划分的具体方法和算法,并给出了等价类划分方法的完备性和无冗余性证明。
易国洪卢炎生
关键词：EFSM等价类软件测试
基于状态转换的Web程序测试方法研究被引量：6
2005年
基于状态转换的测试方法是探测Web程序动态行为异常的有效途径。Web程序状态的变迁由链接序列和提交数据共同构成的导航场景决定。本文用活动页面导航图(APND)来描述页面间的链接转换行为,用状态变量的组合对象状态图(COSD)来刻画由提交数据导致的系统状态变量改变,再将两者统一成一个较为全面的动态行为模型Web程序状态转换图(WSTD)。最后,采用线索k叉树并加以改进来自动生成测试用例。
毛澄映卢炎生
关键词：状态转换图导航图状态图K叉树换行
全选 清除 导出
共1页<1>
聚类工具0