您的位置: 专家智库 > >

上海市教育委员会创新基金(0922135)

作品数:9 被引量:6H指数:1
相关作者:高建华刘慧崔霞辛敏杰俞金松更多>>
相关机构:上海师范大学更多>>
发文基金:上海市科学技术委员会资助项目上海市教育委员会创新基金国家自然科学基金更多>>
相关领域:自动化与计算机技术自然科学总论更多>>

文献类型

  • 9篇期刊文章
  • 1篇会议论文

领域

  • 9篇自动化与计算...
  • 1篇自然科学总论

主题

  • 3篇用户
  • 2篇用户会话
  • 2篇软件测试
  • 2篇自动生成
  • 2篇自动生成方法
  • 2篇线程
  • 2篇会话
  • 2篇活动图
  • 2篇UML活动图
  • 2篇WEB测试
  • 2篇测试集
  • 2篇测试用例
  • 1篇蚁群
  • 1篇用户界面
  • 1篇双优
  • 1篇搜索
  • 1篇搜索效率
  • 1篇图形用户
  • 1篇图形用户界面
  • 1篇排序

机构

  • 10篇上海师范大学

作者

  • 10篇高建华
  • 2篇陈欣
  • 2篇刘慧
  • 2篇崔霞
  • 1篇辛敏杰
  • 1篇俞金松
  • 1篇黄龙
  • 1篇刘文婷

传媒

  • 5篇计算机工程
  • 2篇小型微型计算...
  • 1篇计算机工程与...
  • 1篇计算机应用与...
  • 1篇第六届中国测...

年份

  • 2篇2012
  • 7篇2011
  • 1篇2010
9 条 记 录,以下是 1-10
排序方式:
分叉汇合对结构的测试场景自动生成方法被引量:1
2011年
基于UML活动图的测试场景生成方法在处理分叉汇合对的多重嵌套结构时存在一定局限性。为此,提出一种新的测试场景自动生成方法,规范分叉汇合的命名规则,增加蚂蚁记忆体及系统信息体等数据结构,利用递归处理分叉汇合多重嵌套结构,通过上海轨道交通六号线测试项目中的具体实例,验证该方法的有效性。
崔霞高建华
关键词:UML活动图
基于捕获/重现技术的微分单元测试研究被引量:1
2012年
针对单元测试和系统测试各自具有的局限性,提出一种基于捕获/重现技术的微分单元测试方法。在系统测试时,捕获相关的状态序列,并在单元测试中重现该序列对于目标单元表现行为的影响,通过比较输出结果进行错误识别。仿真实验结果表明,该方法的测试成本较低,故障检测的覆盖率较高。
俞金松高建华
关键词:故障检测
Mod-dejavoo算法中有害边问题的研究
2011年
针对Mod-dejavoo算法中有害边的相关问题进行研究。通过比较程序变更前后的控制流图,分析Java语言的特点,指出有害边出现的位置和规律及其不唯一性。在原有Mod-dejavoo算法的基础上提出一种确定有害边位置和数量的方法,从而生成回归测试集。该研究能为测试集筛选提供一种新方法。
黄龙高建华
N因素S水平的配对测试集生成算法研究被引量:1
2011年
在分析配对测试及其有效性的基础上,给出了一种新的关于n因素s(s≥2)水平的配对测试集生成算法。实验表明该算法与以往一些算法相比具有一定的优越性,最后将该算法运用于一个具体实例,并较详细地介绍了该实例的测试集生成过程。
高建华刘慧
关键词:软件测试测试集生成
测试用例集的双优排序研究
Web测试集排序技术是在满足一定的测试覆盖标准下,对测试用例进行择优排序,从而快速获取最优符合测试目的的测试用例,大大提高测试检错效率.本文提出了一种双优排序策略,对基于用户会话的Web测试集进行排序,并提出了相应的评估...
陈欣高建华
关键词:用户会话WEB测试
文献传递
循环嵌套结构的测试场景反蚁群自动生成方法
2012年
人工测试方法的缺点是成本高、可靠性低和效率低.基于模型的软件测试方法能够提高测试自动化水平,避免人工测试的缺点.然而,自动化方法的缺点是处理模型中各种图形元素的能力有限,适用范围小.针对现有智能算法不能生成UML活动图循环嵌套结构的测试场景,设计系统循环体数据结构和循环嵌套结构的场景生成算法.该算法提高了解析活动图的能力,扩大了算法的适用范围.论文最后给出了上海轨道交通六号线的测试项目中的一个活动图实例,生成其XML文档,利用改进的反蚁群算法解析XML文档,生成该活动图的细-线程树,验证了该算法的有效性.
崔霞高建华
关键词:UML活动图
一种提高状态空间搜索效率的执行方法
2011年
在面向对象程序设计中,软件测试的关键是设计程序运行状态及其使用方法。然而,状态图中的路径往往是部分重叠的。为此,研究一种改进的状态空间搜索的执行方法,该方法具有共享相同路径的特点。采用路径覆盖程序测试器模型测试提升执行方法的效率。实验结果显示,该执行方法可有效降低状态空间搜索的执行时间,提高搜索效率。
刘文婷高建华
关键词:面向对象程序设计软件测试
基于用户会话的Web测试集约简
2011年
采用概念分析法对基于用户会话的Web应用测试集进行约简提出一种K层节点测试约简技术,设计测试用例的增量更新算法。该算法通过比较新增节点与概念分析中原来存在节点的内涵元素,对原概念格图进行节点更新或补充。通过设计的小型Web注册系统,证明了该方法的有效性。
陈欣高建华
关键词:用户会话WEB应用
配对组合测试中参数约束问题研究被引量:1
2011年
给出了配对组合测试参数约束分类方法及相关定义。重点对有2值型约束的情况进行了研究,得出有2值型约束存在时虽然所需覆盖的配对数减少,但测试集不一定减小的结论;给出有2值型约束时测试集的最小下限,并证明之。最后介绍了能够有效解决配对组合测试参数约束问题的HPC_IPO约束控制算法。
高建华刘慧
关键词:测试集
影响GUI测试性能的两个因素:测试用例及测试预测被引量:2
2011年
GUI测试在软件开发和测试中具有重要的地位.GUI自动化测试的实际应用强调了测试的成本和效率.在GUI测试中,测试用例和测试预测是两个与图形用户界面测试性能相关的主要因素.根据GUI的事件流图,事件关联图等特性,通过分析GUI事件的代码复杂度,将事件分配到各个长度不同的测试用例中,并定义测试预测的级别.通过实例,研究测试用例和测试预测对于图形用户界面测试性能的影响,从而为进一步完善GUI测试框架提供了依据.
高建华辛敏杰
关键词:图形用户界面测试用例
共1页<1>
聚类工具0