An interoperability testing approach to Wireless Application Protocols

被引：0
|
作者：
Koné, O [1 ]
机构：
[1] Univ Toulouse 3, IRIT, F-31000 Toulouse, France
来源：
JOURNAL OF UNIVERSAL COMPUTER SCIENCE | 2003年 / 9卷 / 10期
关键词：
formal testing; compliance; interoperability; WAP protocol;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Internet services can now be used from mobile terminals. The main standard supporting this technology, WAP, will enable new services since it is compatible with network technologies like IP and UMTS. In parallel, powerful methods must be proposed to validate the underlying protocols in order to guaratee reliability and interoperability of new products. Our work, based on formal methods, contributes to WAP testing efforts by proposing an approach to the development of interoperability tests. We illustrate this approach with the design of tests suites for the WSP-protocol operating over a WAP transaction service.
引用
收藏
页码：1220 / 1243
页数：24
相关论文
共 50 条
  • [1] A Proactive Approach for Strip Interoperability in Wireless Ad hoc Routing Protocols
    To, M. A.
    Rodas, O.
    Biba, P.
    Maag, S.
    [J]. IEEE LATIN AMERICA TRANSACTIONS, 2016, 14 (06) : 2543 - 2549
  • [2] A Proactive Approach for Strip Interoperability in Wireless Ad hoc Routing Protocols
    To, Marco Antonio
    Rodas, Oscar
    Biba, Preng
    Maag, Stephane
    [J]. 2015 7TH IEEE LATIN-AMERICAN CONFERENCE ON COMMUNICATIONS (LATINCOM), 2015,
  • [3] A Passive Testing Approach for Protocols in Wireless Sensor Networks
    Che, Xiaoping
    Maag, Stephane
    Tan, Hwee-Xian
    Tan, Hwee-Pink
    Zhou, Zhangbing
    [J]. SENSORS, 2015, 15 (11) : 29250 - 29272
  • [4] A Node Self Similarity Approach for Interoperability Testing of Ad Hoc routing protocols
    Maag, Stephane
    Grepet, Cyril
    [J]. 2008 22ND INTERNATIONAL WORKSHOPS ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOLS 1-3, 2008, : 983 - +
  • [5] Strip Interoperability for Wireless Ad hoc Routing Protocols
    To, Marco Antonio
    Morales, Gerardo
    Maag, Stephane
    [J]. 2014 IEEE 13TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA 2014), 2014, : 32 - 36
  • [6] Interoperability of multicast routing protocols in wireless ad hoc networks
    Viswanath, K
    Obraczka, K
    [J]. WIRELESS COMMUNICATIONS & MOBILE COMPUTING, 2006, 6 (02): : 225 - 234
  • [7] A Formal Approach to Protocol Interoperability Testing
    郝瑞兵
    吴建平
    [J]. Journal of Computer Science & Technology, 1998, (01) : 79 - 90
  • [8] A formal approach to protocol interoperability testing
    Ruibing Hao
    Jianping Wu
    [J]. Journal of Computer Science and Technology, 1998, 13 (1) : 79 - 90
  • [9] A formal approach to protocol interoperability testing
    Hao, RB
    Wu, JP
    [J]. NETWORKS: THE NEXT MILLENNINUM - THE IEEE SINGAPORE INTERNATIONAL CONFERENCE ON NETWORKS 1997, IEEE SICON'97, 1997, : 231 - 245
  • [10] TIOSA: Testing VM Interoperability at an OS and Application Level A hypervisor testing method and interoperability survey
    Lenk, Alexander
    Katsaros, Gregory
    Menzel, Michael
    Rake-Revelant, Jannis
    Skipp, Ryan
    Castro-Leon, Enrique
    Gopan, V. P.
    [J]. 2014 IEEE INTERNATIONAL CONFERENCE ON CLOUD ENGINEERING (IC2E), 2014, : 245 - 252
12345