A Systematic Approach to Generate Diverse Instantiations for Conceptual Schemas

  • Loli BurgueñoEmail author
  • Jordi Cabot
  • Robert Clarisó
  • Martin Gogolla
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11788)


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.


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


  1. 1.
    Aichernig, B.K., Salas, P.A.P.: Test case generation by OCL mutation and constraint solving. In: QSIC 2005, pp. 64–71 (2005)Google Scholar
  2. 2.
    Ali, S., Zohaib Iqbal, M., Arcuri, A., Briand, L.C.: Generating test data from OCL constraints with search techniques. IEEE TSE 39(10), 1376–1402 (2013)Google Scholar
  3. 3.
    Brucker, A.D., Krieger, M.P., Longuet, D., Wolff, B.: A specification-based test case generation method for UML/OCL. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol. 6627, pp. 334–348. Springer, Heidelberg (2011). Scholar
  4. 4.
    Burgueño, L., Clarisó, R., Cabot, J., Gogolla, M.: Constraint mutation source code and examples (2019).
  5. 5.
    Chakraborty, S., Fremont, D.J., Meel, K.S., Seshia, S.A., Vardi, M.Y.: On parallel scalable uniform SAT witness generation. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 304–319. Springer, Heidelberg (2015). Scholar
  6. 6.
    Clarisó, R., Cabot, J.: Fixing defects in integrity constraints via constraint mutation. In: QUATIC 2018, pp. 74–82 (2018)Google Scholar
  7. 7.
    Dutra, R., Laeufer, K., Bachrach, J., Sen, K.: Efficient sampling of SAT solutions for testing. In: ICSE 2018, pp. 549–559 (2018)Google Scholar
  8. 8.
    Ermon, S., Gomes, C., Selman, B.: Uniform solution sampling using a constraint solver as an oracle. In: UAI 2012, pp. 255–264 (2012)Google Scholar
  9. 9.
    Ferdjoukh, A., Galinier, F., Bourreau, E., Chateau, A., Nebut, C.: Measurement and generation of diversity and meaningfulness in model driven engineering. Int. J. Adv. Softw. 11(1/2), 131–146 (2018)Google Scholar
  10. 10.
    Fleurey, F., Baudry, B., Muller, P.A., Le Traon, Y.: Qualifying input test data for model transformations. SoSyM 8(2), 185–203 (2007)Google Scholar
  11. 11.
    Gogolla, M., Büttner, F., Richters, M.: USE: a UML-based specification environment for validating UML and OCL. Sci. Comput. Program. 69(1–3), 27–34 (2007)MathSciNetCrossRefGoogle Scholar
  12. 12.
    González, C.A., Cabot, J.: Formal verification of static software models in MDE: a systematic review. Inf. Softw. Technol. 56(8), 821–838 (2014)CrossRefGoogle Scholar
  13. 13.
    Object Management Group: Object Constraint Language specification (version 2.4).
  14. 14.
    Hilken, F., Gogolla, M., Burgueño, L., Vallecillo, A.: Testing models and model transformations using classifying terms. SoSyM 17(3), 885–912 (2018)Google Scholar
  15. 15.
    Jackson, E.K., Simko, G., Sztipanovits, J.: Diversely enumerating system-level architectures. In: EMSOFT 2013, pp. 1–10, September 2013Google Scholar
  16. 16.
    Olivé, A.: Conceptual Modeling of Information Systems. Springer, Heidelberg (2007). Scholar
  17. 17.
    Semeráth, O., Varró, D.: Iterative generation of diverse models for testing specifications of DSL tools. In: FASE 2018, pp. 227–245, April 2018Google Scholar
  18. 18.
    Torlak, E., Jackson, D.: Kodkod: a relational model finder. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 632–647. Springer, Heidelberg (2007). Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Loli Burgueño
    • 1
    • 2
    Email author
  • Jordi Cabot
    • 3
  • Robert Clarisó
    • 1
  • Martin Gogolla
    • 4
  1. 1.Universitat Oberta de CatalunyaBarcelonaSpain
  2. 2.Institut List, CEAUniversité Paris-SaclayParisFrance
  3. 3.ICREABarcelonaSpain
  4. 4.University of BremenBremenGermany

Personalised recommendations