您的位置: 专家智库 > >

张盛

作品数:2 被引量:3H指数:1
供职机构:同济大学电子与信息工程学院更多>>
发文基金:铁道部科技研究开发计划国家自然科学基金更多>>
相关领域:电子电信自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 1篇电子电信
  • 1篇自动化与计算...

主题

  • 1篇有限状态机
  • 1篇软件测试
  • 1篇状态机
  • 1篇列控中心
  • 1篇黑盒
  • 1篇黑盒测试
  • 1篇测试用例
  • 1篇测试用例生成
  • 1篇测试用例生成...

机构

  • 2篇同济大学
  • 1篇上海大学

作者

  • 2篇徐中伟
  • 2篇喻钢
  • 2篇杨世玉
  • 2篇张盛

传媒

  • 1篇计算机工程
  • 1篇计算机工程与...

年份

  • 1篇2011
  • 1篇2010
2 条 记 录,以下是 1-2
排序方式:
铁路信号安全协议一致性测试序列生成研究被引量:2
2010年
铁路信号安全协议(RSSP-I)是实现高速铁路安全运行的保障,协议一致性测试的核心是生成完备有效的测试序列。针对铁路信号安全协议的实时性要求,提出了带时间约束的FSM(Finite State Machine)模型,并在此模型基础上生成状态的UIO(Unique Input/Output sequences)序列,最后采用基于收敛边的算法生成了较其他算法更短的一致性测试序列,从而提高了测试效率。
杨世玉徐中伟喻钢张盛
关键词:有限状态机
基于接口参数的列控中心测试用例生成算法被引量:1
2011年
在接口参数两两组合全面覆盖理论的基础上,提出一种基于树型结构的改进测试用例生成算法。该算法综合考虑外部接口参数和取值组合所产生的系统影响,具有一定的通用性及稳定性,并且在时间复杂度及空间复杂度上较以往的算法都有所改进。算法在CTCS2级列控中心的接口测试中取得了很好的效果,测试质量和测试效率均得到提高。
张盛徐中伟喻钢杨世玉
关键词:软件测试黑盒测试列控中心测试用例
共1页<1>
聚类工具0