FORMAL METHODS FOR GENERATING PROTOCOL CONFORMANCE TEST SEQUENCES

被引：57

作者：

DAHBURA, AT

SABNANI, KK

UYAR, MU

机构：

[1] AT&T BELL LABS, DISTRIBUTED SYST RES DEPT, MURRAY HILL, NJ 07974 USA

[2] AT&T BELL LABS, HOLMDEL, NJ 07733 USA

来源：

PROCEEDINGS OF THE IEEE | 1990年 / 78卷 / 08期

关键词：

D O I：

10.1109/5.58319

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

The wide range and high complexity of services expected from a communication protocol have made the process of protocol conformance testing a challenging task. Formal methods are required to thoroughly test these complex protocols. This paper reviews the four major methods of conformance test generation reported in the literature: transition tours, distinguishing sequences, characterizing sequences, and unique input/output sequences. These methods are used to test the control portion of a protocol specification. The conformance testing concepts developed in the standards world are also summarized. Their relationship with the four formal methods is discussed. © 1990 IEEE

引用

页码：1317 / 1326

页数：10

共 44 条

[1]

Aho A. V., 1974, DESIGN ANAL COMPUTER

[2]

AHO AV, 1988, 8TH P INT S PROT SPE, P75

[3]

ANSART JP, 1982, 2ND P INT WORKSH PRO, P523

[4]

BARBEAU M, 1988, P INFOCOM 88, P86

[5]

BREMER J, 1984, 4TH P INT WORKSH PRO, P623

[6]

Bromstrup L., 1989, SDL '89. The Language at Work. Proceedings of the Fourth SDL Forum, P267

[7] TESTING SOFTWARE DESIGN MODELED BY FINITE-STATE MACHINES [J].

CHOW, TS .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1978, 4 (03) :178-187

[8]

COWIN GW, 1983, 3RD P INT WORKSH PRO, P477

[9]

DAHBURA AT, 1988, P IEEE INFOCOM, P71

[10]

Edmonds J., 1973, Mathematical Programming, V5, P88, DOI 10.1007/BF01580113

← 1 2 3 4 5 →