From protocol models to their implementation: a versatile testing methodology

The design and test of communication protocols relies extensively on formal description languages. In this protocol design and verification scheme, high-level models serve in generating simulation sequences for low-level models, and all simulation is based on directed testing. The methodology is ver...

Full description

Saved in:
Bibliographic Details
Published inIEEE design & test of computers Vol. 21; no. 5; pp. 416 - 428
Main Authors Varsamou, M., Antonakopoulos, T., Papandreou, N.
Format Journal Article
LanguageEnglish
Published IEEE Computer Society 01.09.2004
Subjects
Appropriate technology
Automata
Computational modeling
Computer simulation
Design methodology
DSL
Mathematical model
Mathematical models
Methodology
Object oriented modeling
Process design
Protocols
System testing
Online AccessGet full text

Cover

More Information
Summary:The design and test of communication protocols relies extensively on formal description languages. In this protocol design and verification scheme, high-level models serve in generating simulation sequences for low-level models, and all simulation is based on directed testing. The methodology is versatile and flexible, and difficult to set up the first time.
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0740-7475
1558-1918
DOI:10.1109/MDT.2004.61