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
关键词
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 条