TEST DESIGN METHODOLOGY FOR PROTOCOL TESTING.

被引：0
|
作者：
Sarikaya, Behcet [1 ]
Bochmann, Gregor V. [1 ]
Cerny, Eduard [1 ]
机构：
[1] Concordia Univ, Montreal, Que, Can, Concordia Univ, Montreal, Que, Can
来源：
IEEE Transactions on Software Engineering | 1987年 / SE-13卷 / 05期
关键词：
AUTOMATA THEORY - Finite Automata - COMPUTER SOFTWARE - Software Engineering;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
An approach to testing protocol implementations was introduced, based on a formal specification of the protocol. Control and data flow graphs for the protocol are obtained from the simplified form of the specification and the graphs are decomposed to obtain various functions of the protocol. These functions are tested by parameter variations and by stimulating all the control paths that exist in the specification. A simple protocol was chosen as an example to illustrate the methodology. Detailed test design for one of the functions of the protocol was given.
引用
收藏
页码：518 / 531
相关论文
共 50 条
  • [41] Allergy testing.
    Taylor, SL
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2002, 224 : U86 - U86
  • [42] Disinfectant testing.
    Rideal, S
    BRITISH MEDICAL JOURNAL, 1919, 1919 : 359 - 360
  • [43] On material testing.
    Grun, W
    ZEITSCHRIFT DES VEREINES DEUTSCHER INGENIEURE, 1926, 70 : 9 - 12
  • [44] CLIMATIC TESTING.
    Bach, Hans Werner
    Telcom Report (English Edition), 1980, 3 (04): : 214 - 218
  • [45] TESTING INDIVIDUAL CAPABILITY TO LIFT MATERIAL: REPEATABILITY OF A DYNAMIC TEST COMPARED WITH STATIC TESTING.
    Kroemer, Karl H.E.
    1600, (16):
  • [46] Design-for-Test Methodology for Non-Scan At-Speed Testing
    Banga, Mainak
    Rahagude, Nikhil
    Hsiao, Michael S.
    2011 DESIGN, AUTOMATION & TEST IN EUROPE (DATE), 2011, : 191 - 196
  • [47] Project and Design of a 500 kN Load Testing Apparatus for Materials and Components Testing.
    Dal Re, Vincenzo
    Quaderno di Ricerca (Milan), 1981, (30): : 1 - 16
  • [48] Measuring and testing. Test methods compared - 2. Suitable combinations of test methods
    Messen & testen. Prüfmethoden im vergleich. Teil 2: Geeignete kombinationen von testverfahren
    Berger, M., 2005, Carl Hanser Verlag (113):
  • [49] Design strategies for longitudinal spirometry studies: Duration and frequency of testing.
    Wang, ML
    Gunel, E
    Petsonk, EI
    AMERICAN JOURNAL OF RESPIRATORY AND CRITICAL CARE MEDICINE, 1999, 159 (03) : A319 - A319
  • [50] Large area thin aluminum filter design, handling and testing.
    Cheimets, P
    Bookbinder, J
    Deluca, E
    Caldwell, D
    Davis, W
    Golub, L
    EUV, X-RAY, AND GAMMA-RAY INSTRUMENTATION FOR ASTRONOMY IX, 1998, 3445 : 96 - 106
12345