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 条
  • [21] Caesar automatic layout of UML class diagrams
    Gutwenger, C
    Jünger, M
    Klein, K
    Kupke, J
    Leipert, S
    Mutzel, P
    GRAPH DRAWING, 2002, 2265 : 461 - 462
  • [22] On the use of association redefinition in UML class diagrams
    Costal, Dolors
    Gomez, Cristina
    CONCEPTUAL MODELING - ER 2006, PROCEEDINGS, 2006, 4215 : 513 - +
  • [23] Refactoring OCL annotated UML class diagrams
    Markovic, Slavisa
    Baar, Thomas
    SOFTWARE AND SYSTEMS MODELING, 2008, 7 (01): : 25 - 47
  • [24] Refactoring OCL annotated UML class diagrams
    Markovic, SA
    Baar, T
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3713 : 280 - 294
  • [25] A Formal Specification of UML Class and State Diagrams
    Hu, Gongzhu
    SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING, 2008, 149 : 247 - 257
  • [26] Guidelines on the aesthetic quality of UML class diagrams
    Eichelberger, Holger
    Schmid, Klaus
    INFORMATION AND SOFTWARE TECHNOLOGY, 2009, 51 (12) : 1686 - 1698
  • [27] Expressing UML class diagrams properties with OCL
    Gogolla, M
    Richters, M
    OBJECT MODELING WITH THE OCL: THE RATIONALE BEHIND THE OBJECT CONSTRAINT LANGUAGE, 2002, 2263 : 85 - 114
  • [28] A formal framework for reasoning on UML class diagrams
    Calì, A
    Calvanese, D
    De Giacomo, G
    Lenzerini, M
    FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS, 2002, 2366 : 503 - 513
  • [29] Reasoning on UML class diagrams with OCL constraints
    Queralt, Anna
    Teniente, Ernest
    CONCEPTUAL MODELING - ER 2006, PROCEEDINGS, 2006, 4215 : 497 - +
  • [30] Structural complexity metrics for UML class diagrams
    Kong, Qing-Yan
    Lun, Li-Jun
    Wang, Yi-He
    Ding, Xue-Mei
    Journal of Harbin Institute of Technology (New Series), 2008, 15 (02) : 211 - 214