Abstract
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researchers have focused on the definition of model composition approaches (operators) and the tools supporting them (model composition engines). Testing model composition engines is hard. It requires the synthesis and analysis of complex data structures (models). In this context, synthesis means to assembly complex structures in a coherent way with respect to semantic constraints. In this paper we propose to automatically synthesize input data for model composition engines using a model decomposition operator. Through this operator we synthesize models in a coherent way, satisfying semantic constraints and taking into account the complex mechanics involved in the model composition. Furthermore, such operator enables a straightforward analysis of the composition result.
This work was partially supported by the European project DiVA (EU FP7 STREP).
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
France, R., Rumpe, B.: Model-driven Development of Complex Software: A Research Roadmap. In: FOSE 2007: 2007 Future of Software Engineering, Washington, DC, USA, pp. 37–54 (2007)
Lahire, P., Morin, B., Vanwormhoudt, G., Gaignard, A., Barais, O., Jézéquel, J.-M.: Introducing Variability into Aspect-Oriented Modeling Approaches. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 498–513. Springer, Heidelberg (2007)
France, R., Fleurey, F., Reddy, R., Baudry, B., Ghosh, S.: Providing Support for Model Composition in Metamodels. In: edoc, pp. 253–265. IEEE Computer Society Press, Los Alamitos (2007)
Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S., Zave, P.: Matching and Merging of Statecharts Specifications. In: ICSE 2007: Proceedings of the 29th international conference on Software Engineering, Washington, DC, USA, pp. 54–64 (2007)
Fabro, M.D.D., Valduriez, P.: Semi-automatic model integration using matching transformations and weaving models. In: SAC 2007: Proceedings of the 2007 ACM symposium on Applied computing, pp. 963–970 (2007)
Fleurey, F., France, R., Baudry, B., Ghosh, S.: Kompose: A generic model composition tool (2008)
Clarke, S.a., Baniassad, E.: Aspect-Oriented Analysis and Design. Addison-Wesley Professional, Reading (2005)
Reddy, Y.R., Ghosh, S., France, R.B., Straw, G., Bieman, J.M., McEachen, N., Song, E., Georg, G.: Directives for composing aspect-oriented design class models. In: Rashid, A., Aksit, M. (eds.) Transactions on Aspect-Oriented Software Development I. LNCS, vol. 3880, pp. 75–105. Springer, Heidelberg (2006)
Whittle, J., Moreira, A., Araújo, J., Jayaraman, P., Elkhodary, A.M., Rabbi, R.: An Expressive Aspect Composition Language for UML State Diagrams. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 514–528. Springer, Heidelberg (2007)
Muller, P.-A., Fleurey, F., Jézéquel, J.-M.: Weaving executability into object-oriented meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 264–278. Springer, Heidelberg (2005)
Herrmann, C., Krahn, H., Rumpe, B., Schindler, M., Völkel, S.: An Algebraic View on the Semantics of Model Composition. In: Model Driven Architecture- Foundations and Applications, pp. 99–113 (2007)
Ehrig, K., Küster, J., Taentzer, G.: Generating instance models from meta models. In: Software and Systems Modeling
Brottier, E., Fleurey, F., Steel, J., Baudry, B., Traon, Y.L.: Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool. In: ISSRE 2006: Proceedings of the 17th International Symposium on Software Reliability Engineering, Washington, DC, USA, pp. 85–94 (2006)
Sen, S., Baudry, B., Mottu, J.-M.: On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing. In: ICST, pp. 328–337 (2008)
Daniel, J.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. 11, 256–290 (2002)
Phillip, A.B., Alon, Y.H., Rachel, A.P.: A vision for management of complex models. SIGMOD Rec. 29, 55–63 (2000)
Fleurey, F., Baudry, B., Muller, P.A., Traon, Y.: Qualifying input test data for model transformations. In: Software and Systems Modeling (2008)
Offutt, A.J.: A practical system for mutation testing: help for the common programmer. In: Proceedings of International Test Conference, 1994, pp. 824–830 (1994)
Sabetzadeh, M., Easterbrook, S.: An Algebraic Framework for Merging Incomplete and Inconsistent Views. In: RE 2005: Proceedings of the 13th IEEE International Conference on Requirements Engineering, Washington, DC, USA, pp. 306–318 (2005)
Sabetzadeh, M., Easterbrook, S.: Analysis of inconsistency in graph-based viewpoints: a category-theoretical approach. In: Proceedings of 18th IEEE International Conference on Automated Software Engineering, 2003, pp. 12–21 (2003)
Sabetzadeh, M., Easterbrook, S.: View merging in the presence of incompleteness and inconsistency. Requir. Eng. 11, 174–193 (2006)
Barais, O., Klein, J., Baudry, B., Jackson, A., Clarke, S.: Composing Multi-view Aspect Models. In: ICCBSS 2008. Seventh International Conference on Composition-Based Software Systems, 2008, pp. 43–52 (2008)
Küster, J.M.: Definition and Validation of Model Transformations. Software and Systems Modeling 5, 233–259 (2006)
Lamari, M.: Towards an Automated Test Generation for the Verification of Model Transformations. In: Symposium on Applied Computing SAC 2007, Seoul, Korea (2007)
Duddy, K., Gerber, A., Lawley, M., Raymond, K., Steel, J.: Model Transformation: A declarative, reusable patterns approach. In: EDOC 2003 (Entreprise Distributed Object Computing Conference), Brisbane, Australia, pp. 174–185 (2003)
Lin, Y., Zhang, J., Gray, J.: A Testing Framework for Model Transformations. In: Model-driven Software Development - Research and Practice in Software Engineering. Springer, Heidelberg (2005)
Mottu, J.-M., Baudry, B., Le Traon, Y.: Model transformation testing: oracle issue. In: MoDeVVa workshop colocated with ICST 2008, Lillehammer, Norway (2008)
Lopes, D., Hammoudi, S., De Souza, J., Bontempo, A.: Metamodel Matching: Experiments and Comparison. In: International Conference on Software Engineering Advances (ICSEA 2006), Los Alamitos, USA (2006)
Kolovos, D.S., Paige, R.F., Polack, F.a.C.: Model Comparison: A Foundation for Model Composition and Model Transformation Testing. In: Workshop GaMMa 2006, Shangaï, China (2006)
Lin, Y., Zhang, J., Gray, J.: Model Comparison: A Key Challenge for Transformation Testing and Version Control in Model Driven Software Development. In: OOPSLA 2004 (2004)
Xing, Z., Stroulia, E.: UMLDiff: an algorithm for object-oriented design differencing. In: ASE 2005: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, New York, NY, USA, pp. 54–65 (2005)
Andrews, A., France, R., Ghosh, S., Craig, G.: Test adequacy criteria for UML design models. In: Software Testing, Verification and Reliability, vol. 13, pp. 95–127 (2003)
Dinh-Trong, T.T., Ghosh, S., France, R.B.: A Systematic Approach to Generate Inputs to Test UML Design Models. In: ISSRE 2006: Proceedings of the 17th International Symposium on Software Reliability Engineering, Washington, DC, USA, pp. 95–104 (2006)
Dinh-Trong, T.T., Ghosh, S., France, R.B., Andrews, A.A.: A Systematic Approach to Testing UML Design Models. In: 4th International Workshop on Critical Systems Development Using Modeling Languages (CSDUML), Fredrikstad, Norway (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Munoz, F., Baudry, B. (2009). A Framework for Testing Model Composition Engines. In: Bergel, A., Fabry, J. (eds) Software Composition. SC 2009. Lecture Notes in Computer Science, vol 5634. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02655-3_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-02655-3_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02654-6
Online ISBN: 978-3-642-02655-3
eBook Packages: Computer ScienceComputer Science (R0)