功能块形式化建模与测试序列生成方法研究

摘要：

对现场设备中的功能块进行测试，是现场总线互操作测试中的一项重要内容.为保证所开发测试案例的完备性，本文基于形式化建模工具，给出了功能块模态转换有限状态机模型，并在此基础上研究了功能块测试序列的生成方法。

关键词： 现场总线 功能块测试 互操作测试 形式化建模 测试案例 有限状态机模型

作者: 王忠锋 于海斌 王宏 张连领

作者单位: 中国科学院沈阳自动化研究所,沈阳,110016

会议类型: 国内会议

会议名称: 第五届全国信息获取与处理学术会议

会议地点: 秦皇岛·北戴河

会议语种:中文

页码: 755-757

在线出版日期: 2007-08-06（万方平台首次上网日期，不代表论文的发表时间）