Applying mutation analysis to SDL specifications

被引：0

作者：

Kovács, G ^{[1
]}

Pap, Z ^{[1
]}

Le Viet, D ^{[1
]}

Wu-Hen-Chang, A ^{[1
]}

Csopaki, G ^{[1
]}

机构：

[1] Budapest Univ Technol & Econ, Dept Telecommun & Telemat, H-1117 Budapest, Hungary

来源：

SDL 2003: SYSTEM DESIGN, PROCEEDINGS | 2003年 / 2708卷

关键词：

conformance testing; MSC; mutation analysis; SDL; test generation; test selection;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Mutation analysis is a fault based testing method used initially for code based software testing, and lately for specification based testing and validation as well. In this paper, the method is applied to SDL (Specification and Description Language) specifications. It is used to automate the process of conformance test generation and selection for telecommunications protocols. We present two algorithms for automatic test generation and selection. These provide the basis of the Test Selector tool developed at the Budapest University of Technology and Economics. We present the results of an empirical study using the tool.

引用

页码：269 / 284

页数：16

共 20 条

[1] Ammann P. E., 1999, Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering, P239, DOI 10.1109/HASE.1999.809499
[2] Using model checking to generate tests from specifications
Ammann, PE
Black, PE
Majurski, W
[J]. SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1998, : 46 - 54
[3] [Anonymous], 1994, P 1994 IEEE INT S SO
[4] Belinfante A, 1999, INT FED INFO PROC, V21, P179
[5] Mutation operators for specifications
Black, PE
Okun, V
Yesha, Y
[J]. FIFTEENTH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2000, : 81 - 88
[6] CSVNDES T, 1997, EUROMICRO 9M, P8
[7] HINTS ON TEST DATA SELECTION - HELP FOR PRACTICING PROGRAMMER
DEMILLO, RA
LIPTON, RJ
[J]. COMPUTER, 1978, 11 (04) : 34 - 41
[8] ELLSBERGER J, 1997, SDL FORMAL OBJECT OR
[9] Fabbri S. C. P. F., 1999, Proceedings 10th International Symposium on Software Reliability Engineering (Cat. No.PR00443), P210, DOI 10.1109/ISSRE.1999.809326
[10] FABBRI SCP, 1995, FORTE 95 8 INT IFIP

← 1 2 →