A Systematic Approach to Generate Diverse Instantiations for Conceptual Schemas

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.

[1]  Antoni Olivé,et al.  Conceptual modeling of information systems , 2007 .

[2]  Yves Le Traon,et al.  Qualifying input test data for model transformations , 2009, Software & Systems Modeling.

[3]  Oszkár Semeráth,et al.  Iterative Generation of Diverse Models for Testing Specifications of DSL Tools , 2018, FASE.

[4]  Martin Gogolla,et al.  Testing models and model transformations using classifying terms , 2016, Software & Systems Modeling.

[5]  Achim D. Brucker,et al.  A Specification-Based Test Case Generation Method for UML/OCL , 2010, MoDELS.

[6]  Emina Torlak,et al.  Kodkod: A Relational Model Finder , 2007, TACAS.

[7]  Koushik Sen,et al.  Efficient Sampling of SAT Solutions for Testing , 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).

[8]  Janos Sztipanovits,et al.  Diversely enumerating system-level architectures , 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT).

[9]  Bart Selman,et al.  Uniform Solution Sampling Using a Constraint Solver As an Oracle , 2012, UAI.

[10]  Martin Gogolla,et al.  USE: A UML-based specification environment for validating UML and OCL , 2007, Sci. Comput. Program..

[11]  Lionel C. Briand,et al.  Generating Test Data from OCL Constraints with Search Techniques , 2013, IEEE Transactions on Software Engineering.

[12]  Sanjit A. Seshia,et al.  On Parallel Scalable Uniform SAT Witness Generation , 2015, TACAS.

[13]  Bernhard K. Aichernig,et al.  Test case generation by OCL mutation and constraint solving , 2005, Fifth International Conference on Quality Software (QSIC'05).

[14]  Adel Ferdjoukh,et al.  Measurement and Generation of Diversity and Meaningfulness in Model Driven Engineering , 2018 .

[15]  Jordi Cabot,et al.  Formal verification of static software models in MDE: A systematic review , 2014, Inf. Softw. Technol..

[16]  Jordi Cabot,et al.  Fixing Defects in Integrity Constraints via Constraint Mutation , 2018, 2018 11th International Conference on the Quality of Information and Communications Technology (QUATIC).