.png){kind=icon}
返回
Fault Modeling and detection capabilities for EFSM models
.png){kind=icon}
PRE
AI
DOI：10.1109/TIM.2007.915145.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Inherent timing variables and constraints in communication protocols require new extended finite-state machine (EFSM) models to formally represent their behavior, particularly for test generation purposes. However, infeasible paths due to the conflicts among the timing condition and action variables in the timed EFSM models with the activation and expiration of concurrent timers complicate the test generation process. In a test measurement laboratory, such timers, if not properly taken into account by formal methods at the test generation step, can generate false results by failing correct implementations or, worse, passing faulty implementations. This paper analyzes the fault detection capability of the timed EFSM models introduced in our earlier work in the presence of multiple timing faults. It is proven that, for a class of timing faults, test sequences generated from our models can detect multiple occurrences of pairwise combinations of such faults. A simplified version of the Session Initiation Protocol (SIP) registration process, which is widely used by Voice over IP (VoIP) telephones, has been used as a working example throughout this paper.
Keyword:
Conformance testing
extended finite-state machine (EFSM)
fault modeling
finite-state machine (FSM)
Session Initiation Protocol (SIP)
timed EFSM
timers
Voice over IP (VoIP)
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
5.9
论文数:
2.0W
被引数:
5.8W
机构
引用论文
.png){kind=icon}
分享收藏分享收藏Magnetic properties of CoFe1.9RE0.1O4 nanoparticles (RE=La, Ce, Nd, Sm, Eu, Gd, Tb, Ho) prepared in polyol在多元醇中制备的CoFe1.9RE0.1O4纳米颗粒 (RE = La，Ce，Nd，Sm，Eu，Gd，Tb，Ho) 的磁性能
PREAI
分享收藏
分享收藏
查看更多内容