SIA OpenIR  > 工业信息学研究室  > 工业控制系统研究室
功能块形式化建模与测试序列生成方法研究
王忠锋; 于海斌; 王宏; 张连领
Department工业控制系统研究室
Source Publication仪器仪表学报
ISSN0254-3087
2007
Volume28Issue:SPages:755-757
Contribution Rank1
Keyword现场总线 功能块测试 互操作测试 形式化建模 测试案例 有限状态机模型
Abstract对现场设备中的功能块进行测试,是现场总线互操作测试中的一项重要内容.为保证所开发测试案例的完备性,本文基于形式化建模工具,给出了功能块模态转换有限状态机模型,并在此基础上研究了功能块测试序列的生成方法。
Language中文
Document Type期刊论文
Identifierhttp://ir.sia.cn/handle/173321/5032
Collection工业信息学研究室_工业控制系统研究室
Corresponding Author王忠锋
Affiliation中国科学院沈阳自动化研究所
Recommended Citation
GB/T 7714
王忠锋,于海斌,王宏,等. 功能块形式化建模与测试序列生成方法研究[J]. 仪器仪表学报,2007,28(S):755-757.
APA 王忠锋,于海斌,王宏,&张连领.(2007).功能块形式化建模与测试序列生成方法研究.仪器仪表学报,28(S),755-757.
MLA 王忠锋,et al."功能块形式化建模与测试序列生成方法研究".仪器仪表学报 28.S(2007):755-757.
Files in This Item: Download All
File Name/Size DocType Version Access License
ZWQKQW0000238.pdf(109KB) 开放获取--View Download
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[王忠锋]'s Articles
[于海斌]'s Articles
[王宏]'s Articles
Baidu academic
Similar articles in Baidu academic
[王忠锋]'s Articles
[于海斌]'s Articles
[王宏]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[王忠锋]'s Articles
[于海斌]'s Articles
[王宏]'s Articles
Terms of Use
No data!
Social Bookmark/Share
File name: ZWQKQW0000238.pdf
Format: Adobe PDF
This file does not support browsing at this time
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.