Testing and Traceability Aspects in the Context of the Model Driven Architecture (MDA)
With the growth of complexity of the software systems it becomes more complicated to ensure and evaluate quality of the software being built. This paper discusses quality of the software in the context of the Model Driven Architecture. Paper analyses factors that affect quality of the software in the software development projects that are developed using MDA. As one of the important factor that affects quality of the software, is traceability. This paper provides description of the traceability property and importance of it within development of the software. Within context of this paper traceability is considered as a property of a system description technique that allows changes in one of the system descriptions to be traced to the corresponding portions of the other descriptions. This paper is focused on such aspects of the software development as testing and traceability in the context of MDA. Paper contains in review of traceability, MDA and traceability within MDA. Also paper contains description of the method for formal definition of the problem domain - called Topological functioning modeling for model driven architecture (TFMfMDA). This paper introduces method of the application of the TFM as the traceability tool. TFM as the traceability tool can be used to analyze impact of the changes and select most important tests.
If the inline PDF is not rendering correctly, you can download the PDF file here.
J. Osis "Formal computation independent model within the MDA life cycle" International Transactions on Systems Science and Applications vol. 1 no. 2. Glasgow UK: Xiaglow Institute Ltd 2006 pp. 159-166.
E. Asnina "Formalization aspects of problem domain modeling within model driven architecture" in Databases and Information Systems 7th International Baltic Conference on Databases and Information Systems Communications Vilnius Lithuania Materials of Doctoral Consortium. Vilnius: Technika 2006 pp. 93-104.
J. Osis "Software development with topological model in the framework of MDA" in Proceedings of the 9th CaiSE/IFIP8.1/EUNO International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design (EMMSAD'2004) in connection with the CaiSE'2004 Riga Latvia Vol. 1. Riga: RTU 2004 pp. 211-220.
J. Osis E. Asnina and A. Grave "Formal computation independent model of the problem domain within the MDA" in Proceedings of the 10th International Conference on Information System Implementation and Modeling Hradec nad Moravicí Czech Republic April 23-25 2007 pp. 47-54.
IEEE Std 610.12-1990. IEEE Standard Glossary of Software Engineering Terminology. New York: IEEE September 1990.
O. C. Z. Gotel and A. C. W. Finkelstein "An analysis of the requirements traceability problem" in Proceedings of the First International Conference on Requirements Engineering Utrecht The Netherlands 1994 pp. 94-101.
N. N. Aizenbud-Reshef B. T. Nolan J. Rubin and Y. Shaham-Gafni "Model traceability" IBM Systems Journal vol. 45 no. 3 2006.
"MDA guide version 1.0.1" Object Management Group. [Online]. Available: http://www.omg.org/cgi-bin/doc?omg/03-06-01.pdf
"Revised submission for MOF 2.0 Query/View/Transformations RFP (ad/2002-04-10)" QVT-Merge Group Version 2.1 OMG Document ad/05-07-01 Object Management Group Inc. August 2005.
"MOF model to text transformation language RFP" OMG Document ad/2004-04-07 Object Management Group Inc. revised on May 27 2004.
J. Bézivin B. Rumpe A. Schürr and L. Tratt "Model transformations in practice" in ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems Montego Bay Jamaica October 2005. [Online]. Available: http://sosym.dcs.kcl.ac.uk/events/mtip05/long_cfp.pdf. http://sosym.dcs.kcl.ac.uk/events/mtip05/long_cfp.pdf
K. Czarnecki and S. Helsen "Feature-based survey of model transformation approaches" IBM Systems Journal vol. 45 no. 3 2006 pp. 621-646
R. Paige and Y. Shaham-Gafni "Model composition: development of consistency rules" Modelware Report D1.5 September 2005. [Online]. Available: http://www.modelware-ist.org
J. Grundy J. Hosking and W. B. Mugridge "Inconsistency management for multiple-view software development environments" IEEE Transactions on Software Engineering vol. 24 no. 11 pp. 960-981 November 1998.
P. Desfray "MDA - when a major software industry trend meets our toolset implemented since 1994" White paper Softeam 2001. [Online]. Available: http://www.omg.org/mda/mda_files/MDA-Softeam-WhitePaper.pdf
J. Huang-Cleland C. K. Chang and M. Christensen "Event-based traceability for managing evolutionary change" IEEE Transactions in Software Engineering vol. 29 no. 9 September 2003 pp. 796-810.
T. Olsson and J. Grundy "Supporting traceability and inconsistency management between software artifacts" in Proceedings of the IASTED International Conference on Software Engineering and Applications Boston MA November 2002.
N. Aizenbud-Reshef R. F. Paige J. Rubin Y. Shaham-Gafni and D. S. Kolovos "Operational semantics for traceability" in ECMDA Traceability Workshop Nuremberg Germany November 2005 pp. 7-14.
F. Jouault "Loosely coupled traceability for ATL" in Proceedings of the European Conference on Model Driven Architecture Workshop on Traceability Nuremberg Germany November 2005. [Online]. Available: http://www.sciences.univ-nantes.fr/lina/atl/www/papers/ECMDATraceability05.pdf. http://www.sciences.univ-nantes.fr/lina/atl/www/papers/ECMDATraceability05.pdf
E. Asnina "Formalization of problem domain modeling within model driven architecture" PhD thesis. Riga Latvia: RTU Publishing House 2006.