一种通信有限状态机的被动测试及其错误诊断

您当前的位置：

首页 >

文章列表页 >

一种通信有限状态机的被动测试及其错误诊断

专题研究 | 更新时间：2025-12-08

- 一种通信有限状态机的被动测试及其错误诊断
- 一种通信有限状态机的被动测试及其错误诊断
- 西安交通大学学报 2007年第6期页码：640-644
- 作者机构：
- 作者简介：
- 基金信息：
  
  国家自然科学基金重大研究计划资助项目(90104010);国家自然科学基金资助项目(60241004,60602016);国家重点基础研究发展规划资助项目(2003CB314801);华为基金资助项目(YJCB2006044TS)
- DOI：
  中图分类号： TN915.06
- 纸质出版：2007
- 稿件说明：
移动端阅览
一种通信有限状态机的被动测试及其错误诊断[J]. 西安交通大学学报, 2007,(6):640-644.

一种通信有限状态机的被动测试及其错误诊断[J]. 2007, (6): 640-644.
一种通信有限状态机的被动测试及其错误诊断[J]. 西安交通大学学报, 2007,(6):640-644. DOI：

一种通信有限状态机的被动测试及其错误诊断[J]. 2007, (6): 640-644. DOI：

摘要

针对现有的被动测试方法无法解决嵌入式通信系统的错误检测问题

提出了一种被动测试错误检测方法.该方法在外部通道放置观察者

并使用了全局状态描述系统的当前可能状态

利用了观察到的输入输出信息

同时结合了模型转换推测出系统的状态变迁.基于该检测方法又设计出一种层次化的错误诊断算法

首先记录被动检测过程中系统经历的转换轨迹

用变异分析方法生成候选诊断

然后通过被动观察来降低错误集合的规模

最后使用区分序列和交叉判定进行错误定位.通过一个实际的H.245通信协议的实验表明

所提算法能够在有限观察步骤内检测出被测系统中的错误

并能有效定位检测错误

其回溯算法也可以显著缩短错误症状序列的长度.

Abstract

关键词

Keywords

references

{"db_type":"CJFDREF","db_name":"期刊","reference_articles":[{"unit":"西安交通大学学报","flag":"[J]","issue":"06","year":2006,"author":"赵保华;张炜","index":1,"title":"基于有限状态机的被动测试错误诊断"}],"articles_count":1}

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

隧道内燃料电池汽车氢气泄漏扩散特性及影响因素

语义区分和子图整合驱动的知识图谱表示学习方法

超临界水异常区域热力学特性研究

水蒸气掺混对氨裂解气旋流燃烧与排放特性的影响研究

超临界二氧化碳向心透平轮背间隙内风阻损失及流动特性研究