|国家科技期刊平台
| 注册
首页|期刊导航|软件导刊|基于SPIN的功能测试用例生成方法研究

基于SPIN的功能测试用例生成方法研究

李建 杨晋吉

软件导刊2016，Vol.15Issue(7)：1-3,4,4.
✕
软件导刊2016，Vol.15Issue(7)：1-3,4,4.DOI:10.11907/rjdk.161463

基于SPIN的功能测试用例生成方法研究

李建 1杨晋吉1

作者信息

  • 1. 华南师范大学计算机学院，广东广州510631
  • 折叠

摘要

关键词

功能测试用例/SPIN/模型检测/Promela建模

分类

计算机与自动化

引用本文复制引用

李建,杨晋吉..基于SPIN的功能测试用例生成方法研究[J].软件导刊,2016,15(7):1-3,4,4.

基金项目

国家自然科学基金项目 （）

软件导刊

1672-7800

访问量0
|
下载量0
段落导航相关论文