功能块形式化建模与测试序列生成方法研究
文献类型：期刊论文
| 作者 | 王宏; 张连领; 于海斌 ; 王忠锋
|
| 刊名 | 仪器仪表学报
 |
| 出版日期 | 2007 |
| 卷号 | 28期号:S页码:755-757 |
| 关键词 | 现场总线 功能块测试 互操作测试 形式化建模 测试案例 有限状态机模型 |
| ISSN号 | 0254-3087 |
| 产权排序 | 1 |
| 英文摘要 | 对现场设备中的功能块进行测试，是现场总线互操作测试中的一项重要内容.为保证所开发测试案例的完备性，本文基于形式化建模工具，给出了功能块模态转换有限状态机模型，并在此基础上研究了功能块测试序列的生成方法。 |
| 语种 | 中文 |
| 公开日期 | 2010-11-29 |
| 源URL | [http://210.72.131.170//handle/173321/5033]  |
| 专题 | 沈阳自动化研究所_工业信息学研究室_工业控制系统研究室 |
| 通讯作者 | 王忠锋 |
| 作者单位 | 中国科学院沈阳自动化研究所 |
| 推荐引用方式 GB/T 7714 | 王宏,张连领,于海斌,等. 功能块形式化建模与测试序列生成方法研究[J]. 仪器仪表学报,2007,28(S):755-757. |
| APA | 王宏,张连领,于海斌,&王忠锋.(2007).功能块形式化建模与测试序列生成方法研究.仪器仪表学报,28(S),755-757. |
| MLA | 王宏,et al."功能块形式化建模与测试序列生成方法研究".仪器仪表学报 28.S(2007):755-757. |
入库方式： OAI收割
来源：沈阳自动化研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。