CONFORMANCE TESTING - ARCHITECTURES AND TEST SEQUENCES

被引：19

作者：

SARIKAYA, B ^{[1
]}

机构：

[1] CONCORDIA UNIV,DEPT ELECT & COMP ENGN,MONTREAL H3G 1M8,QUEBEC,CANADA

来源：

COMPUTER NETWORKS AND ISDN SYSTEMS | 1989年 / 17卷 / 02期

关键词：

D O I：

10.1016/0169-7552(89)90004-4

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：111 / 126

页数：16

共 65 条

[1]

AUSTERMUEHL B, 1987, 6TH P IFIP WORKSH PR

[2]

BARBEAU M, 1988, P INFOCOM 88

[3]

BARBEAU M, 1989, 89 P INF OTT CAN

[4] INTRODUCTION TO THE ISO SPECIFICATION LANGUAGE LOTOS [J].

BOLOGNESI, T ;

BRINKSMA, E .

COMPUTER NETWORKS AND ISDN SYSTEMS, 1987, 14 (01) :25-59

[5]

BRINKSMA E, 1987, 6TH P IFIP WORKSH PR, P349

[6]

CASTANET R, 1987, 6TH P IFIP WORKSH PR, P177

[7]

CERNY E, 1985, P FTCS 15

[8]

CHOW TS, 1978, IEEE T SOFTWARE ENG, V4

[9]

CLARKE LA, 1981, PROGRAM FLOW ANAL

[10]

DAHBURA A, 1986, PROTOCOL TEST GENERA