Mutation Operators for UML Class Diagrams

被引:10
|
作者
Fernanda Granda, Maria [1 ,3 ]
Condori-Fernandez, Nelly [2 ]
Vos, Tanja E. J. [3 ]
Pastor, Oscar [3 ]
机构
[1] Univ Cuenca, Dept Comp Sci, Cuenca, Ecuador
[2] Vrije Univ Amsterdam, Amsterdam, Netherlands
[3] Univ Politecn Valencia, PROS Res Ctr, Valencia, Spain
关键词
Mutation testing; Mutation operators; Test cases quality; Conceptual schemas; Class diagram mutation;
D O I
10.1007/978-3-319-39696-5_20
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Mutation Testing is a well-established technique for assessing the quality of test cases by checking how well they detect faults injected into a software artefact (mutant). Using this technique, the most critical activity is the adequate design of mutation operators so that they reflect typical defects of the artefact under test. This paper presents the design of a set of mutation operators for Conceptual Schemas (CS) based on UML Class Diagrams (CD). In this paper, the operators are defined in accordance with an existing defects classification for UML CS and relevant elements identified from the UML-CD meta-model. The operators are subsequently used to generate first order mutants for a CS under test. Finally, in order to analyse the usefulness of the mutation operators, we measure some basic characteristics of mutation operators with three different CSs under test.
引用
收藏
页码:325 / 341
页数:17
相关论文
共 50 条
  • [1] Optimizing UML Class Diagrams
    Sergievskiy, Maxim
    Kirpichnikova, Ksenia
    7TH SEMINAR ON INDUSTRIAL CONTROL SYSTEMS: ANALYSIS, MODELING AND COMPUTING (ICS 2018), 2018, 18
  • [2] Querying UML Class Diagrams
    Cali, Andrea
    Gottlob, Georg
    Orsi, Giorgio
    Pieris, Andreas
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, 2012, 7213 : 1 - 25
  • [3] Reasoning on UML class diagrams
    Berardi, D
    Calvanese, D
    De Giacomo, G
    ARTIFICIAL INTELLIGENCE, 2005, 168 (1-2) : 70 - 118
  • [4] Reduction of UML class diagrams
    Linde, G
    DATABASES AND INFORMATION SYSTEMS II, 2002, : 199 - 208
  • [5] Reasoning with UML class diagrams
    Evans, AS
    2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 102 - 113
  • [6] Formalization of the UML Class Diagrams
    Osis, Janis
    Donins, Uldis
    EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2010, 69 : 180 - 192
  • [7] Organizing UML class diagrams in layers
    Kumar, V
    Deka, JK
    Enabling Technologies for the New Knowledge Society, 2005, : 39 - 55
  • [8] Full Satisfiability of UML Class Diagrams
    Artale, Alessandro
    Calvanese, Diego
    Ibanez-Garcia, Angelica
    CONCEPTUAL MODELING - ER 2010, 2010, 6412 : 317 - 331
  • [9] Composition inference for UML class diagrams
    Ana Milanova
    Automated Software Engineering, 2007, 14 : 179 - 213
  • [10] DEPENDENCE ANALYSIS FOR UML CLASS DIAGRAMS
    Wu Fangjun~* Yi Tong~* ** ~*(Dept of Computer Science and Eng.
    Journal of Electronics(China), 2004, (03) : 249 - 254