analyzing interoperability of protocols using model checking
文献类型：期刊论文
| 作者 | Wu P |
| 刊名 | CHINESE JOURNAL OF ELECTRONICS
 |
| 出版日期 | 2005 |
| 卷号 | 14期号:3页码:453-457 |
| 关键词 | interoperability analysis and testing model checking conformance testing protocol |
| ISSN号 | 1022-4653 |
| 学科主题 | Engineering, Electrical & Electronic |
| 收录类别 | SCI |
| 语种 | 英语 |
| WOS记录号 | WOS:000230509500018 |
| 公开日期 | 2011-07-28 |
| 附注 | In practical terms, protocol interoperability testing is still laborious and error-prone with little effect, even for those products that have passed conformance testing. Deadlock and unsymmetrical data communication are familiar in interoperability testing, and it is always very hard to trace their causes. The previous work has not provided a coherent way to analyze why the interoperability was broken among protocol implementations under test. In this paper, an alternative approach is presented to analyzing these problems from a viewpoint of implementation structures. Sequential and concurrent structures are both representative implementation structures, especially in event-driven development model. Our research mainly discusses the influence of sequential and concurrent structures on interoperability, with two instructive conclusions: (a) a sequential structure may lead to deadlock; (b) a concurrent structure may lead to unsymmetrical data communication. Therefore, implementation structures carry weight on interoperability, which may not gain much attention before. To some extent, they are decisive on the result of interoperability testing. Moreover, a concurrent structure with a sound task-scheduling strategy may contribute to the interoperability of a protocol implementation. Herein model checking technique is introduced into interoperability analysis for the first time. As the paper shows, it is an effective way to validate developers selections on implementation structures or strategies. |
| 源URL | [http://124.16.136.157/handle/311060/12514]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | Wu P. analyzing interoperability of protocols using model checking[J]. CHINESE JOURNAL OF ELECTRONICS,2005,14(3):453-457. |
| APA | Wu P.(2005).analyzing interoperability of protocols using model checking.CHINESE JOURNAL OF ELECTRONICS,14(3),453-457. |
| MLA | Wu P."analyzing interoperability of protocols using model checking".CHINESE JOURNAL OF ELECTRONICS 14.3(2005):453-457. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。