Fixing defects in integrity constraints via constraint mutation

被引：8
作者：
Clariso, Robert [1 ]
Cabot, Jordi [2 ]
机构：
[1] Univ Oberta Catalunya, Barcelona, Spain
[2] ICREA, Barcelona, Spain
来源：
2018 11TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC) | 2018年
基金：
欧盟地平线“2020”;
关键词：
D O I：
10.1109/QUATIC.2018.00020
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
Defining appropriate integrity constraints (ICs) for the domain model of a software system is a complex and error-prone task. Both over-constraining and under-constraining the information base are undesirable. In this paper, we consider a systematic approach to explore the most suitable ICs for a software system. The inputs of this approach are an initial tentative set of ICs described in OCL (Object Constraint Language) plus a sample information base which is incorrectly forbidden (allowed) by them. Then, this method generates candidate weaker (stronger) versions of the ICs by mutating them in an structured way. Modelers can then replace the original defective set with the alternative versions to improve the quality of the domain model.
引用
收藏
页码：74 / 82
页数：9
相关论文
共 31 条
[1]  
Aichernig BK, 2005, QSIC 2005: FIFTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, P64
[2]  
Albrecht M., 1998, SEMANTICS DATABASES
[3]  
Bak Kacper, 2013, 2013 35th International Conference on Software Engineering (ICSE), P1273, DOI 10.1109/ICSE.2013.6606696
[4]  
Bertossi L, 2006, SIGMOD REC, V35, P68, DOI 10.1145/1147376.1147391
[5]  
Borgida A., 1986, KNOWLEDGE BASE MANAG, P259, DOI 10.1007/978-1-4612-4980-1_23
[6]   On the verification of UML/OCL class diagrams using constraint programming [J].
Cabot, J. ;
Clariso, R. ;
Riera, D. .
JOURNAL OF SYSTEMS AND SOFTWARE, 2014, 93 :1-23
[7]   An analysis of metamodeling practices for MOF and OCL [J].
Cadavid, Juan Jose ;
Combemale, Benoit ;
Baudry, Benoit .
COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2015, 41 :42-65
[8]  
Chiang F, 2011, PROC INT CONF DATA, P446, DOI 10.1109/ICDE.2011.5767833
[9]  
Clariso R., TECHNICAL REPORT
[10]  
Dang D.-H., 2015, P 6 INT C KNOWL SYST, P219
1234