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

共 50 条

[31] Autolink - A tool for automatic test generation from SDL specifications
Koch, B
Grabowski, J
Hogrefe, D
Schmitt, M
2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 114 - 125
[32] χSuds-SDL: A Tool for Testing Software Architecture Specifications
J. Jenny Li
J. Robert Horgan
Software Quality Journal, 1999, 8 : 241 - 253
[33] Applying techniques and tools for the performance engineering of SDL systems
Hintelmann, J
Hofmann, R
Lemmen, F
Mitschele-Thiel, A
Müller-Clostermann, B
COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, 2001, 35 (06): : 647 - 665
[34] Towards testing SDL specifications:: Models and fault coverage for concurrent timers
Fecko, MA
Uyar, MÜ
Duale, AY
FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2003, 2003, 2767 : 273 - 288
[35] Mutation operators for specifications
Black, PE
Okun, V
Yesha, Y
FIFTEENTH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2000, : 81 - 88
[36] Automated generation of micro protocol descriptions from SDL design specifications
Fliege, Ingmar
Gotzhein, Reinhard
SDL 2007: DESIGN FOR DEPENDABLE SYSTEMS, PROCEEDINGS, 2007, 4745 : 150 - 165
[37] Hardware software system codesign based on SDL/C specifications.
Moreau, JP
di Crescenzo, P
Pople, L
MICROELECTRONIC ENGINEERING, 2000, 54 (1-2) : 181 - 191
[38] Automated verification of SDL specifications using numerical petri-nets
Kim, Hwan C.
Choi, W.
Yim, Chu H.
Hong, Jin P.
Proceedings of the SDL Forum, 1991,
[39] Validation of SDL specifications using EFSM-based test generation
Wong, W. Eric
Restrepo, Andy
Choi, Byoungju
INFORMATION AND SOFTWARE TECHNOLOGY, 2009, 51 (11) : 1505 - 1519
[40] EXPERIENCES IN AUTOMATIC TRANSLATIONS FROM SDL SPECIFICATIONS INTO CHILL IMPLEMENTATIONS.
Barra, S.
Ghisio, O.
Modesti, M.
CSELT Technical Reports, 1986, 14 (03): : 175 - 179

← 1 2 3 4 5 →