Automatic conformance testing of Internet applications

被引：0
|
作者：
van Beek, HMA [1 ]
Mauw, S [1 ]
机构：
[1] Eindhoven Univ Technol, Dept Math & Comp Sci, NL-5600 MB Eindhoven, Netherlands
来源：
FORMAL APPROACHES TO SOFTWARE TESTING | 2004年 / 2931卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of thin client Internet applications. That is, we automatically test whether a running Internet application conforms to its formal specification. The actual implementation of the application is not taken into account, only its externally observable behaviour. In this paper, we show how to formally model this behaviour and how such formal specifications can serve as a basis for the automatic conformance testing of Internet applications.
引用
收藏
页码：205 / 222
页数：18
相关论文
共 50 条
  • [1] Testing Conformance of Real-Time Applications by Automatic Generation of Observers
    Bensalem, Saddek
    Bozga, Marius
    Krichen, Moez
    Tripakis, Stavros
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 113 : 23 - 43
  • [2] Automatic conformance testing of OSPF routers
    Li, ZJ
    Wang, ZL
    Wu, JP
    [J]. 2003 INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY, VOL 1 AND 2, PROCEEDINGS, 2003, : 396 - 399
  • [3] Automatic conformance testing of Web services
    Heckel, R
    Mariani, L
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3442 : 34 - 48
  • [4] Testing Conformance and Interoperability of eHealth Applications
    Namli, T.
    Dogac, A.
    [J]. METHODS OF INFORMATION IN MEDICINE, 2010, 49 (03) : 281 - 289
  • [5] Towards Automatic Performance and Scalability Testing of Rich Internet Applications in the Cloud
    Snellman, Niclas
    Ashraf, Adnan
    Porres, Ivan
    [J]. 2011 37TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2011), 2011, : 161 - 169
  • [6] Conformance testing methodology of Internet protocols - Internet application-layer protocol testing - the hypertext transfer protocol
    Gecse, R
    [J]. TESTING OF COMMUNICATING SYSTEMS, 1998, : 35 - 48
  • [7] Model Checking Based Conformance Testing for Web Applications
    Chen, Shengbo
    [J]. PROCEEDINGS OF THE 2012 THIRD WORLD CONGRESS ON SOFTWARE ENGINEERING (WCSE 2012), 2012, : 51 - 56
  • [8] Test Sequence Reduction of Wireless Protocol Conformance Testing to Internet of Things
    Lin, Weiwei
    Zeng, Hongwei
    Gao, Honghao
    Miao, Huaikou
    Wang, Xiaolin
    [J]. SECURITY AND COMMUNICATION NETWORKS, 2018,
  • [9] Testing the Conformance of Implementations of the EAP Protocol and Its Methods to Internet Specifications
    Nikeshin, A., V
    Shnitman, V. Z.
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 2019, 45 (07) : 417 - 423
  • [10] Testing the Conformance of Implementations of the EAP Protocol and Its Methods to Internet Specifications
    A. V. Nikeshin
    V. Z. Shnitman
    [J]. Programming and Computer Software, 2019, 45 : 417 - 423
12345