First experience of conformance testing an application interface specification implementation

被引:0
|
作者
Tam, F [1 ]
Ahvanainen, K [1 ]
机构
[1] Nokia Res Ctr, FIN-00045 Helsinki, Finland
来源
SERVICE AVAILABILITY | 2005年 / 3335卷
关键词
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
This paper describes our first attempt of conformance testing an implementation of the Service Availability Forum Application Interface Specification on a carrier-grade service platform for mobile communications applications. The requirements and guidelines of the IEEE Standards for measuring conformance to POSIX® have been adapted for the Application Interface Specification. The Test Method Specification structure is explained and assertions of the component registration function is shown as an example. A description of the Implementation Under Test is included, together with an explanation of the Test Method Implementation. Our experience suggests that this approach is indeed feasible and repeatable. The thorough level of testing appears to have the right balance of confidence and manageability for test cases. The intermediate test results also unexpectedly provide the developers with some useful insight into future implementations.
引用
收藏
页码:190 / 199
页数:10
相关论文
共 50 条
  • [42] Implementation of TCP/IP-IEEE488.1 interface specification
    Zhang, J
    Ma, HJ
    Wu, GT
    PROCEEDINGS OF THE THIRD INTERNATIONAL SYMPOSIUM ON INSTRUMENTATION SCIENCE AND TECHNOLOGY, VOL 3, 2004, : 1184 - 1188
  • [43] Conformance Testing of the STP-ISS Protocol Implementation by Means of Temporal Logic
    Chumakova, Nadezhda
    Olenev, Valentin
    Lavrovskaya, Irina
    PROCEEDINGS OF THE 2017 21ST CONFERENCE OF OPEN INNOVATIONS ASSOCIATION (FRUCT), 2017, : 71 - 78
  • [44] First Class Futures: Specification and Implementation of Update Strategies
    Henrio, Ludovic
    Khan, Muhammad Uzair
    Ranaldo, Nadia
    Zimeo, Eugenio
    EURO-PAR 2010 PARALLEL PROCESSING WORKSHOPS, 2011, 6586 : 295 - 303
  • [45] The Study and Application of Protocol Conformance Testing Based on TTCN-3
    Xu, Meijia
    Li, Honghui
    Zheng, Jiwei
    PROCEEDINGS OF INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (CSAIT 2013), 2014, 255 : 791 - 798
  • [46] Process Mining Techniques in Conformance Testing of Inventory Processes: An Industrial Application
    Paszkiewicz, Zbigniew
    BUSINESS INFORMATION SYSTEMS WORKSHOPS, BIS 2013, 2013, 160 : 302 - 313
  • [47] Protocol conformance testing a SIP registrar: an industrial application of formal methods
    Aichernig, Bernhard K.
    Peischl, Bernhard
    Weiglhofer, Martin
    Wotawa, Franz
    SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 215 - +
  • [48] Specification, testing and implementation relations for symbolic-probabilistic systerns
    López, N
    Núñez, M
    Rodríguez, I
    THEORETICAL COMPUTER SCIENCE, 2006, 353 (1-3) : 228 - 248
  • [49] FORMAL SPECIFICATION, VALIDATION AND IMPLEMENTATION OF AN APPLICATION PROTOCOL WITH ESTELLE
    NGUYEN, CT
    HUNEL, P
    VIALATTE, MC
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 2 : 361 - 376
  • [50] SPECIFICATION AND IMPLEMENTATION OF GKS APPLICATION SOFTWARE IN ADA (R).
    Mac an Airchinnigh, M.
    Computer Graphics Forum, 1984, 3 (02) : 153 - 167