A Systematic Approach to Generate Diverse Instantiations for Conceptual Schemas

被引：6

作者：

Burgueno, Loli ^{[1
,2
]}

Cabot, Jordi ^{[3
]}

Clariso, Robert ^{[1
]}

Gogolla, Martin ^{[4
]}

机构：

[1] Univ Oberta Catalunya, Barcelona, Spain

[2] Univ Paris Saclay, CEA, Inst List, Paris, France

[3] ICREA, Barcelona, Spain

[4] Univ Bremen, Bremen, Germany

来源：

CONCEPTUAL MODELING, ER 2019 | 2019年 / 11788卷

基金：

欧盟地平线“2020”;

关键词：

Methodologies and tools for conceptual design; Quality of conceptual models; Integrity constraints;

D O I：

10.1007/978-3-030-33223-5_42

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

Generating valid instantiations for a conceptual schema is instrumental in ensuring its quality by means of verification, validation or testing. This problem becomes even more challenging when we also require that the computed instantiations exhibit significant differences among them, i.e., they are diverse. In this work, we propose an automatic method that guarantees synthesizing a diverse set of instantiations from a conceptual schema by combining model finders, classifying terms and constraint strengthening techniques. This technique has been implemented in the USE tool for UML/OCL.

引用

页码：513 / 521

页数：9

共 18 条

[1]

Aichernig BK, 2005, QSIC 2005: FIFTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, P64

[2] Generating Test Data from OCL Constraints with Search Techniques [J].

Ali, Shaukat ;

Iqbal, Muhammad Zohaib ;

Arcuri, Andrea ;

Briand, Lionel C. .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2013, 39 (10) :1376-1402

[3]

[Anonymous], OBJ CONSTR LANG SPEC

[4]

Brucker AD., 2011, International conference models in software engineering, P334

[5]

Burgueno L, 2019, CONSTRAINT MUTATION

[6]

Chakraborty Supratik, 2015, Tools and Algorithms for the Construction and Analysis of Systems. 21st International Conference, TACAS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. Proceedings: LNCS 9035, P304, DOI 10.1007/978-3-662-46681-0_25

[7] Fixing defects in integrity constraints via constraint mutation [J].

Clariso, Robert ;

Cabot, Jordi .

2018 11TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), 2018, :74-82

[8] Efficient Sampling of SAT Solutions for Testing [J].

Dutra, Rafael ;

Laeufer, Kevin ;

Bachrach, Jonathan ;

Sen, Koushik .

PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2018, :549-559

[9]

Ermon S., 2012, P 28 C UNC ART INT, P255

[10]

Ferdjoukh A., 2018, Int. J. Adv. Softw., V11, P131

← 1 2 →