您的位置： 专家智库 > >

陈颖

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

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇测试用例
  • 1篇测试用例生成

机构

  • 1篇上海大学

作者

  • 1篇邓永杰
  • 1篇陈颖

传媒

  • 1篇计算机技术与...

年份

  • 1篇2013
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
构件组合的集成测试
2013年
模型检验是一种自动化验证技术,其应用主要的困难在于状态空间爆炸问题。针对构件组合形成的状态空间爆炸问题,结合构件抽象组合原理及反例引导的抽象精化框架,提出了一种测试用例自动生成的方法。根据某个待集成构件抽象已集成的其他构件,并通过组合各个抽象构件生成抽象组合模型。利用模型检验工具对组合模型进行集成测试,生成抽象测试用例,再通过精化得到原模型对应的具体测试用例。实验结果表明该方法减小了状态空间,在一定程度上减缓了状态空间爆炸的问题。
邓永杰陈颖
关键词：测试用例生成
全选 清除 导出
共1页<1>
聚类工具0