FORMAL METHODS IN CONFORMANCE TESTING - STATUS AND EXPECTATIONS

被引：0
|
作者：
FAVREAU, JP
HOGREFE, D
KROON, J
机构：
[1] UNIV BERN,INST INFORMAT,CH-3012 BERN,SWITZERLAND
[2] PTT RES,2260 AK LEIDSCHENDAM,NETHERLANDS
来源：
IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS | 1992年 / 8卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents the current status of the joint ISO/CCITT work on formal methods in conformance testing. After a general introduction to the topic and an overview of the ongoing work, the test case generation methods studied are presented. Additionally, some ongoing research is highlighted. Only work that is going on in the immediate environment of the authors is presented here.
引用
收藏
页码：299 / 316
页数：18
相关论文
共 50 条
  • [1] FORMAL METHODS IN CONFORMANCE TESTING - RESULTS AND PERSPECTIVES
    CAVALLI, AR
    FAVREAU, JP
    PHALIPPOU, M
    [J]. PROTOCOL TEST SYSTEMS, VI, 1994, 19 : 3 - 17
  • [2] Standardization of formal methods in conformance testing of communication protocols
    Cavalli, AR
    Favreau, JP
    Phalippou, M
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1996, 29 (01): : 3 - 14
  • [3] A FORMAL APPROACH TO CONFORMANCE TESTING
    TRETMANS, J
    [J]. PROTOCOL TEST SYSTEMS, VI, 1994, 19 : 257 - 276
  • [4] Formal grammars for conformance testing
    Rotter, Csaba V.
    [J]. ADVANCES IN INFORMATION SYSTEMS DEVELOPMENT, VOL 2: NEW METHODS AND PRACTICE FOR THE NETWORKED SOCIETY, 2007, : 505 - 514
  • [5] Protocol conformance testing a SIP registrar: an industrial application of formal methods
    Aichernig, Bernhard K.
    Peischl, Bernhard
    Weiglhofer, Martin
    Wotawa, Franz
    [J]. SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 215 - +
  • [6] Conformance Checking using Formal Methods
    Santone, Antonella
    Vaglini, Gigliola
    [J]. ICSOFT-EA: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 1, 2016, : 258 - 263
  • [7] A Formal Monitoring Technique for SIP Conformance Testing
    Che, Xiaoping
    Lalanne, Felipe
    Maag, Stephane
    [J]. EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, ENASE 2012, 2013, 410 : 79 - 94
  • [8] FINITE STATE MACHINE BASED FORMAL METHODS IN PROTOCOL CONFORMANCE TESTING - FROM THEORY TO IMPLEMENTATION
    BOSIK, BS
    UYAR, MU
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1991, 22 (01): : 7 - 33
  • [9] Integrating formal verification and conformance testing for reactive systems
    Constant, Camille
    Jeron, Thierry
    Marchand, Herve
    Rusu, Vlad
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2007, 33 (08) : 558 - 574
  • [10] ON THE DEVELOPMENT OF A STANDARD FOR CONFORMANCE TESTING BASED ON FORMAL SPECIFICATIONS
    HOGREFE, D
    [J]. COMPUTER STANDARDS & INTERFACES, 1992, 14 (03) : 185 - 190
12345