|国家科技期刊平台
| 注册
首页|期刊导航|计算机与数字工程|模型检测在软件测试中的应用

模型检测在软件测试中的应用

张宁宁 刘孟仁

计算机与数字工程2006，Vol.34Issue(2)：93-96,4.
✕
计算机与数字工程2006，Vol.34Issue(2)：93-96,4.

模型检测在软件测试中的应用

Application of Model Checking in Software Testing

张宁宁 1刘孟仁1

作者信息

  • 1. 海军工程大学计算机系,武汉,430033
  • 折叠

摘要

关键词

模型检测/软件测试/强制性逻辑关系/状态爆炸

分类

信息技术与安全科学

引用本文复制引用

张宁宁,刘孟仁..模型检测在软件测试中的应用[J].计算机与数字工程,2006,34(2):93-96,4.

计算机与数字工程

1672-9722

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