Generating synchronizable test sequences based on finite state machine with distributed ports

IFIP Transactions C: Communication Systems

Volumn , Issue C-19, 1994, Pages 139-153

  Luo, Gang ^a   Dssouli, Rachida ^a   Bochmann, Gregor v ^a   Venkataram, Pallapa ^a   Ghedamsi, Abderrazak ^a  

^a UNIVERSITÉ DE MONTRÉAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER NETWORKS; DATA COMMUNICATION SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; ERROR DETECTION; FINITE AUTOMATA; INTERFACES (COMPUTER); MATHEMATICAL MODELS; SOFTWARE ENGINEERING; STATISTICAL TESTS; TELECOMMUNICATION NETWORKS;

BASIC REFERENCE MODEL (BRM); FINITE STATE MACHINES; OPEN DISTRIBUTING PROCESSING (ODP); SYNCHRONIZABLE TEST SEQUENCES; TEST ARCHITECTURE; TEST GENERATION;

NETWORK PROTOCOLS;

EID: 0028060855     PISSN: 0926549X     EISSN: None     Source Type: Book    
DOI: None     Document Type: Book

References (21)