您的位置： 专家智库 > >

黄龙

作品数：1 被引量：3H指数：1
供职机构：上海大学计算机工程与科学学院更多>>
发文基金：上海市教育委员会重点学科基金上海市自然科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇有限状态机
  • 1篇顺序图
  • 1篇状态机
  • 1篇状态图
  • 1篇自动化
  • 1篇自动化测试
  • 1篇WEB应用

机构

  • 1篇上海大学

作者

  • 1篇缪淮扣
  • 1篇王皙
  • 1篇郭亮
  • 1篇黄龙

传媒

  • 1篇上海大学学报...

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于场景的形式化测试模型生成方法被引量：3
2011年
在复杂的Web应用软件中,如何有效地实现自动化测试是当前软件测试研究中的热点与难点.使用统一建模语言(unified modeling language,UML)状态图对Web应用软件的行为建模,利用已有的方法将已建好的模型形式化成有限状态机(finite state machine,FSM);然后使用UML顺序图表示场景,通过使用场景规约系统行为,最终得到约简后的形式化测试模型用以实现自动测试.
黄龙缪淮扣王皙郭亮
关键词：WEB应用自动化测试状态图有限状态机顺序图
全选 清除 导出
共1页<1>
聚类工具0