ABSTRACT
In this paper, we present a model-driven approach for the derivation of inter-component-interaction specifications from runtime tests. In particular, we use test-execution traces to record interactions between architectural components based on testing object-oriented systems. The resulting models are specified via UML diagrams. In order to transform test executions to corresponding component and interaction models, we define conceptual mappings (transformation rules) between a test-execution metamodel and the UML2 metamodel. As a proof of concept, we integrated the approach into our tool KaleidoScope.
- S. Allier, S. Sadou, H. Sahraoui, and R. Fleurquin. From object-oriented applications to component-oriented applications via component-oriented architecture. In Proc. WICSA'11, pages 214--223. IEEE, 2011. Google ScholarDigital Library
- T. B. C. Arias, P. America, and P. Avgeriou. Defining execution viewpoints for a large and complex software-intensive system. In Proc. WICSA/ECSA'09, pages 1--10. IEEE, 2009.Google Scholar
- A. Beugnard, J.-M. Jézéquel, N. Plouzeau, and D. Watkins. Making components contract aware. Computer, 32(7):38--45, 1999. Google ScholarDigital Library
- D. Bojic and D. Velasevic. A use-case driven method of architecture recovery for program understanding and reuse reengineering. In Proc. CSMR'00, pages 23--23. IEEE CS, 2000. Google ScholarDigital Library
- P. Clements, D. Garlan, L. Bass, J. Stafford, R. Nord, J. Ivers, and R. Little. Documenting software architectures: views and beyond. Pearson Education, 2002. Google ScholarDigital Library
- E. Guerra, J. Lara, D. S. Kolovos, R. F. Paige, and O. M. Santos. Engineering model transformations with transML. Softw. Syst. Model., 12(3):555--577, 2013. Google ScholarDigital Library
- T. Haendler. KaleidoScope. Institute for Information Systems and New Media. WU Vienna. http://nm.wu.ac.at/nm/haendler, 2015. Last accessed: 7 December 2015.Google Scholar
- T. Haendler, S. Sobernig, and M. Strembeck. An approach for the semi-automated derivation of UML interaction models from scenario-based runtime tests. In Proc. IC-SOFT-EA'15, pages 229--240. SciTePress, 2015.Google ScholarCross Ref
- P. B. Kruchten. The 4+ 1 view model of architecture. Software, IEEE, 12(6):42--50, 1995. Google ScholarDigital Library
- S. Mancoridis, B. S. Mitchell, C. Rorres, Y.-F. Chen, and E. R. Gansner. Using automatic clustering to produce high-level system organizations of source code. In IWPC'98, pages 45--52, 1998. Google ScholarDigital Library
- B. Meyer. Applying 'Design by Contract'. Computer, 25(10):40--51, 1992. Google ScholarDigital Library
- C. Nebut, F. Fleurey, Y. Le Traon, and J. Jezequel. Automatic test generation: A use case driven approach. IEEE Trans. Softw. Eng., 32(3):140--155, 2006. Google ScholarDigital Library
- T. Ravichandran and M. A. Rothenberger. Software reuse strategies and component markets. Commun. ACM, 46(8):109--114, 2003. Google ScholarDigital Library
- A. Seriai, S. Sadou, H. Sahraoui, and S. Hamza. Deriving component interfaces after a restructuring of a legacy system. In Proc. WICSA'14, pages 31--40. IEEE, 2014. Google ScholarDigital Library
- M. Shaw and D. Garlan. Software architecture: perspectives on an emerging discipline, volume 1. Prentice Hall Englewood Cliffs, 1996. Google ScholarDigital Library
- M. Strembeck. Testing policy-based systems with scenarios. In Proc. IASTED'11, pages 64--71. ACTA Press, 2011.Google ScholarCross Ref
Index Terms
- Deriving UML-based specifications of inter-component interactions from runtime tests
Recommendations
A New Approach for Generating LOTOS Specifications from UML Dynamic Models
C3S2E '15: Proceedings of the Eighth International C* Conference on Computer Science & Software EngineeringThe use of UML Statechart and Communication diagrams for modeling dynamic behaviors of systems is very widespread. UML diagrams support developers by means of visual conceptual illustrations. However, the lacks of firm semantics for these diagrams make ...
Translating alloy specifications to UML class diagrams annotated with OCL
SEFM'11: Proceedings of the 9th international conference on Software engineering and formal methodsModel-Driven Engineering (MDE) is a Software Engineering approach based on model transformations at different abstraction levels. It prescribes the development of software by successively transforming models from abstract (specifications) to more ...
Translating between Alloy specifications and UML class diagrams annotated with OCL
Model-driven engineering (MDE) is a software engineering approach based on model transformations at different abstraction levels. It prescribes the development of software by successively transforming the models from abstract (specifications) to more ...
Comments