Standardization of formal methods in conformance testing of communication protocols

被引：6
|
作者：
Cavalli, AR
Favreau, JP
Phalippou, M
机构：
[1] NIST, COMP SYST LAB, GAITHERSBURG, MD 20899 USA
[2] FRANCE TELECOM, CNET, LAA, EIA, EVP, F-22301 LANNION, FRANCE
来源：
COMPUTER NETWORKS AND ISDN SYSTEMS | 1996年 / 29卷 / 01期
关键词：
conformance testing; formal description techniques; testing theory; standardization;
D O I：
10.1016/S0169-7552(96)00015-3
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents the work developed by the joint ISO/ITU-T working group on ''Formal Methods in Conformance Testing'' (FMCT) in order to obtain a future standard. It concerns several areas of conformance testing: terminology, testing concepts, test architecture, specification languages for tests and test generation methods, The influence of FMCT on testing methodology is also analysed and future trends in the area are addressed.
引用
收藏
页码：3 / 14
页数：12
相关论文
共 50 条
  • [1] A formal approach to conformance testing of distributed routing protocols
    Bi, J
    Wu, JP
    [J]. FORMAL METHODS FOR PROTOCOL ENGINEERING AND DISTRIBUTED SYSTEMS, 1999, 28 : 151 - 163
  • [2] The conformance testing METhodology for mobile communication protocols
    Luo, H
    [J]. ICCC2004: Proceedings of the 16th International Conference on Computer Communication Vol 1and 2, 2004, : 1458 - 1463
  • [3] FORMAL METHODS IN CONFORMANCE TESTING - RESULTS AND PERSPECTIVES
    CAVALLI, AR
    FAVREAU, JP
    PHALIPPOU, M
    [J]. PROTOCOL TEST SYSTEMS, VI, 1994, 19 : 3 - 17
  • [4] FORMAL METHODS IN CONFORMANCE TESTING - STATUS AND EXPECTATIONS
    FAVREAU, JP
    HOGREFE, D
    KROON, J
    [J]. IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 8 : 299 - 316
  • [5] A new model with time constraints for conformance testing of communication protocols
    Teratani, D
    Kakuda, Y
    Kikuno, T
    [J]. PROCEEDINGS OF THE FIFTH ASIAN TEST SYMPOSIUM (ATS '96), 1996, : 269 - 274
  • [6] Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols
    N. V. Pakulin
    A. V. Khoroshilov
    [J]. Programming and Computer Software, 2007, 33 : 316 - 335
  • [7] Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols
    Pakulin, N. V.
    Khoroshilov, A. V.
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 2007, 33 (06) : 316 - 335
  • [8] Conformance testing of DECT protocols
    Tarnay, K
    Rotter, CV
    [J]. EUROMICRO SUMMER SCHOOL ON MOBILE COMPUTING'98, 1998, 183 : 133 - 143
  • [9] CONFORMANCE TESTING FOR OSI PROTOCOLS
    LINN, RJ
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1990, 18 (03): : 203 - 219
  • [10] A FORMAL APPROACH TO CONFORMANCE TESTING
    TRETMANS, J
    [J]. PROTOCOL TEST SYSTEMS, VI, 1994, 19 : 257 - 276
12345