.png){kind=icon}
返回
Passive testing and application to the GSM-MAP protocol
.png){kind=icon}
PRE
AI
DOI：10.1016/S0950-5849(99)00039-7.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Passive testing is the process of collecting traces of messages exchanged between an operating implementation and its environment, in order to verify that these traces actually belong to the language accepted by the provided finite state machine specification. In this paper, we present an extension of the existing algorithms to consider an extended finite state machine as the specification. An algorithm is also introduced to take into account the number of transitions covered. These techniques are illustrated by the application to a real protocol, the GSM (global system for mobile communication)-MAP (mobile application part). (C) 1999 Elsevier Science B.V. All rights reserved.
Keyword:
passive testing
active testing
GSM-MAP protocol
conformance testing
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.3
论文数:
3.8K
被引数:
7.7K
机构
暂无机构信息
引用论文
THE HARP SEAL, Pagophilus groenlandicus (ERXLEBEN, 1777) XII. STAPHYLOCOCCAL GRANULOMAS (BOTRYOMYCOSIS) IN HARP SEALS格陵兰海豹，Pagophilus groenlandicus (ERXLEBEN, 1777) XII. 海豹葡萄球菌肉芽肿（束状菌病）
.png){kind=icon}
PREAI
分享收藏
