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 条

[41] Performance analysis of SDL systems from SDL descriptions
Wohlin, Claes
Proceedings of the SDL Forum, 1991,
[42] AUTOMATIC PROTOCOL IMPLEMENTATION - GENERATING C(++) CODE FROM SDL/PR SPECIFICATIONS
ADAMIS, G
MICROPROCESSING AND MICROPROGRAMMING, 1994, 40 (10-12): : 719 - 722
[43] Optimal String Edit Distance Based Test Suite Reduction for SDL Specifications
Kovacs, Gabor
Nemeth, Gabor Arpad
Subramaniam, Mahadevan
Pap, Zoltan
SDL 2009: DESIGN FOR MOTES AND MOBILES, PROCEEDINGS, 2009, 5719 : 82 - +
[44] Test generation based on control and data dependencies within system specifications in SDL
Ural, H
Saleh, K
Williams, A
COMPUTER COMMUNICATIONS, 2000, 23 (07) : 609 - 627
[45] Model-based generation of SDL specifications for the early prototyping of reactive systems
Metzger, A
Queins, S
TELECOMMUNICATIONS AND BEYOND: THE BROADER APPLICABILITY OF SDL AND MSC, 2003, 2599 : 158 - 169
[46] An evaluation of code generation strategies targeting hardware for the rapid prototyping of SDL specifications
Muth, A
Kolloch, T
Maier-Komor, T
Färber, G
11TH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS, 2000, : 134 - 139
[47] Applying eODL and SDL-patterns for developing TMN managed systems
de Cabo, M
Rodríguez, M
SYSTEM ANALYSIS AND MODELING, 2005, 3319 : 33 - 49
[48] Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications
Ek, A
Grabowski, J
Hogrefe, D
Jerome, R
Koch, B
Schmitt, M
SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS, 1997, : 245 - 259
[49] Consolidating and applying the SDL-pattern approach: a detailed case study
Gotzhein, R
INFORMATION AND SOFTWARE TECHNOLOGY, 2003, 45 (11) : 727 - 741
[50] Performance Analysis of SDL Systems
Brumbulli, Mihal
Gaudin, Emmanuel
COMPLEX SYSTEMS DESIGN & MANAGEMENT (CSD&M 2016), 2017, : 233 - 233

← 1 2 3 4 5 →