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 条
  • [1] Mutation testing applied to validate SDL specifications
    Sugeta, T
    Maldonado, JC
    Wong, WE
    TESTING OF COMMUNICATING SYSTEMS, 2004, 2978 : 193 - 208
  • [2] On the testability of SDL specifications
    Hierons, RM
    Kim, TH
    Ural, H
    COMPUTER NETWORKS, 2004, 44 (05) : 681 - 700
  • [3] DESIGN AND ANALYSIS OF FORMAL SPECIFICATIONS WITH THE SDL-MACHINE
    AHRENS, K
    FISCHER, J
    HOLZ, E
    SCHIEFERDECKER, I
    SYSTEMS ANALYSIS MODELLING SIMULATION, 1991, 8 (4-5): : 327 - 342
  • [4] MIXING LOTOS AND SDL SPECIFICATIONS
    SARIA, H
    NIRSCHL, H
    BINDING, C
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 2 : 425 - 439
  • [5] Techniques for abstracting SDL specifications
    Boroday, S
    Groz, R
    Petrenko, A
    Quemener, YM
    TELECOMMUNICATIONS AND BEYOND: THE BROADER APPLICABILITY OF SDL AND MSC, 2003, 2599 : 141 - 157
  • [6] Applying SDL to formal analysis of security systems
    López, J
    Ortega, JJ
    Troya, JM
    SDL 2003: SYSTEM DESIGN, PROCEEDINGS, 2003, 2708 : 300 - 316
  • [7] Formal Automated Transformation of SDL Specifications to Lotos Specifications
    El-Gendy, Hazem
    El Kadhi, Nabil
    Debnath, Narayan
    2008 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1-3, 2008, : 1117 - +
  • [8] Formal automated transformation of lotos specifications to SDL specifications
    El-Gendy, H
    8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIII, PROCEEDINGS: INDUSTRIAL SYSTEMS, 2004, : 237 - 241
  • [9] Transformation of SDL specifications for system-level timing analysis
    Jersak, M
    Richter, K
    Henia, R
    Ernst, R
    Slomka, F
    CODES 2002: PROCEEDINGS OF THE TENTH INTERNATIONAL SYMPOSIUM ON HARDWARE/SOFTWARE CODESIGN, 2002, : 121 - 126
  • [10] A COMMON COMPILER FOR LOTOS AND SDL SPECIFICATIONS
    BINDING, C
    BOUMA, W
    DAUPHIN, M
    KARJOTH, G
    YANG, Y
    IBM SYSTEMS JOURNAL, 1992, 31 (04) : 668 - 690
12345