您的位置： 专家智库 > >

李建

作品数：1 被引量：0H指数：0
供职机构：华南师范大学计算机学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇PROMEL...
  • 1篇SPIN

机构

  • 1篇华南师范大学

作者

  • 1篇杨晋吉
  • 1篇李建

传媒

  • 1篇软件导刊

年份

  • 1篇2016
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于SPIN的功能测试用例生成方法研究
2016年
提出了一种自动生成系统功能测试用例的新方法。该方法使用Promela语言对软件系统的状态和行为进行描述建模,使用LTL公式描述测试覆盖标准,然后将该组LTL公式和描述状态行为的Promela模型输入SPIN模型检测工具,并利用模型检测工具自动生成相应的证据路径,最后结合正例将路径转化成满足相应覆盖标准的系统功能测试用例,并以电梯系统模型对该方法作出了诠释。
李建杨晋吉
关键词：SPIN
全选 清除 导出
共1页<1>
聚类工具0