A PROTOCOL TEST-GENERATION PROCEDURE

被引：227

作者：

SABNANI, K ^{[1
]}

DAHBURA, A ^{[1
]}

机构：

[1] AT&T BELL LABS,COMP TECHNOL RES LAB,DIGITAL SYST RES DEPT,MURRAY HILL,NJ 07974

来源：

COMPUTER NETWORKS AND ISDN SYSTEMS | 1988年 / 15卷 / 04期

关键词：

D O I：

10.1016/0169-7552(88)90064-5

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：285 / 297

页数：13

共 23 条

[1]

AHO AV, 1976, DESIGN ANAL COMPUTER, P207

[2]

BILLIARD JF, 1983, PROTOCOL SPECIFICATI, V3

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

CHOW, TS .

[4]

Friedman A.D., 1971, FAULT DETECTION DIGI

[5]

GREEN P, 1982, COMPUTER NETWORK ARC, P3

[6]

HENNIE FC, 1964, 5TH P ANN S SWITCH C, P95

[7]

KANUGO B, 1986, PROTOCOL SPECIFICATI, V6

[8]

Kohavi Z., 1978, SWITCHING FINITE AUT

[9]

LINN RJ, 1983, PROTOCOL SPECIFICATI, V3

[10]

NAITO S, 1981, 11TH P IEEE FAULT TO