Test cases selection from SDL specifications

被引：19

作者：

Bourhfir, C

Aboulhamid, E

Khendek, F

Dssouli, R

机构：

[1] Univ Montreal, Dept Informat & Rech Operat, Montreal, PQ H3C 3J7, Canada

[2] Concordia Univ, Dept Elect & Comp Engn, Montreal, PQ H3G 1M8, Canada

来源：

COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING | 2001年 / 35卷 / 06期

关键词：

test selection; SDL; EFSM; data-flow testing; control-flow testing; test criteria;

D O I：

10.1016/S1389-1286(00)00203-6

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Selecting appropriate test cases is a crucial activity in software testing. In this paper, we give an overview and discuss existing methods and tools for test case selection for communication protocols. More precisely, we are interested in techniques for test case generation from specification and description language (SDL) specifications and its underlying behavioral model, extended finite state machines (EFSM) and its variants. (C) 2001 Elsevier Science B.V. All rights reserved.

引用

页码：693 / 708

页数：16

共 23 条

[1]

ALGAYRES B, 1995, CASE P 7 SDL FOR OSL

[2]

BOURHFIR C, 1997, P IWTCS 1997, P75

[3]

BOURHFIR C, 1998, P IWTCS 1998, P279

[4]

BROMSTRUP L, P 4 SDL FOR, P267

[5]

CHANSON S, 1993, P IEEE INFOCOM

[6]

CLATIN M, 1995, P IWPTS 95 EVR 4 6 S

[7] TEST SELECTION BASED ON FINITE STATE MODELS [J].

FUJIWARA, S ;

BOCHMANN, GV ;

KHENDEK, F ;

AMALOU, M ;

GHEDAMSI, A .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (06) :591-603

[8]

Grabowski J., 1994, SDL MSC BASED TEST C

[9]

GRABOWSKI J, 1993, METHOD GENERATION TE

[10]

HUANG CM, 1995, P IWPTS 95 EVR 4 6 S

← 1 2 3 →