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

您当前的位置：

首页 >

文章列表页 >

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

更新时间：2025-12-08

- 一种通信有限状态机的被动测试及其错误诊断
- Issue 6, Pages: 640-644(2007)
- 作者机构：
- 作者简介：
- 基金信息：
- DOI：
  CLC： TN915.06
- Published：2007
- 稿件说明：
移动端阅览
一种通信有限状态机的被动测试及其错误诊断[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}

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Research on the Electrohydrodynamic Effects of Ionic Liquid-Modified Fuels

Knowledge Graph Representation Learning Driven by Semantic Discrimination and Subgraph Integration

I/O Performance Modeling and Prediction Method for Large-Scale Parallel Applications Using Machine Learning

Numerical Simulation of Heat-Moisture Barrier Performance of a Horizontal Air Curtain in Cold Storage

Mechanism and Optimal Control Strategy for Hysteresis in Rapid Dehumidification Response of Indirect Thermal Systems in Electric Vehicles

Related Author

No data

Related Institution

No data

⁰