Wykorzystanie modeli danych do weryfikacji implementacji wzorców projektowych

• Autorzy: Wojszczyk R. , Khadzhynov W.
• Języki publikacji: PL

Abstrakty

PL

Wzorce projektowe to zagadnienie szeroko opisywane w uznanej literaturze i wykorzystywane przez wielu programistów, ale mimo to nie ma nad nimi formalnej kontroli. W artykule poruszony został problem weryfikacji implementacji wzorców projektowych stosowanych w programowaniu obiektowym. W procesie weryfikacji wyróżniono dwa modele danych: formalną reprezentację będącą ekwiwalentem badanego oprogramowania oraz repozytorium implementacji wzorców zawierające informacje opisujące implementację wzorców projektowych. Opracowane rozwiązanie pozwoli wykazać błędy i potencjalne problemy w implementacji.

EN

Although the design patterns constitute the issue that has been widely discussed in the literature and used by many software developers, there is no formal control over them. The article discussed the problem of verifying the implementation of design patterns applied in object-oriented programming. Two following data models were distinguished in the process of verification: a formal representation that is an equivalent of the analysed software, and a repository of implementation of patterns containing information describing the implementation of design patterns. The proposed solution will make it possible to show implementation errors and potential problems.

Słowa kluczowe

PL

wzorce projektowe; model danych; ERD; weryfikacja oprogramowania

EN

design patterns; data model; ERD; verifying implementation

• Wydawca: Wydawnictwo Uczelniane Politechniki Koszalińskiej
• Czasopismo: Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej
• Rocznik: 2016
• Tom: Nr 10
• Strony: 193--209
• Opis fizyczny: Bibliogr. 24 poz., rys., tab.

Twórcy

autor

Wojszczyk R.

• Zakład Podstaw Zarządzania i Informatyki, Wydział Elektroniki i Informatyki, Politechnika Koszalińska

autor

Khadzhynov W.

• Katedra Inżynierii Komputerowej, Wydział Elektroniki i Informatyki, Politechnika Koszalińska

Bibliografia

• 1. Binun A.: High Accuracy Design Pattern Detection. Dysertacja doktorska, Rheinischen Friedrich Wilhelms Universitat Bonn, 2012
• 2. Blewitt A.: HEDGEHOG: Automatic Verification of Design Patterns in Java. Dysertacja doktorska, University of Edinburgh, 2006
• 3. De Lucia A., i inni: Design pattern recovery through visual language parsing and source code analysis, Journal of Systems and Software archive, Vol.: 82, Issue 7, Elsevier Science Inc, New York, 2009
• 4. Dubielewicz I., Hnatkowska B., Huzar Z., Tuzinkiewicz L.: Wykorzystanie analizy wielokryterialnej w ocenie modeli baz danych, w: Bazy Danych: Nowe Technologie, Politechnika Śląska, WKŁ, 2007
• 5. Fowler M.: UML Distilled: A Brief Guide to the Standard Object Modeling Language, Wydanie III, Addison Wesley, 2003
• 6. Fowler M. i inni: Refaktoryzacja. Ulepszanie struktury istniejącego kodu, Helion, Gliwice, 2011
• 7. Gamma E. i inni: Wzorce projektowe. Elementy oprogramowania obiektowego wielokrotnego użytku, Helion, Gliwice, 2010
• 8. Grzanek K.: Realizacja systemu wyszukiwania wystąpień wzorców projektowych w oprogramowaniu przy zastosowaniu metod analizy statycznej kodu źródłowego, Dysertacja doktorska, Politechnika Częstochowska, Łódź, 2008
• 9. Hernandez J. i inni: Selection of Metrics for Predicting the Appropriate Application of design patterns, 2nd Asian Conference on Pattern Languages of Programs, 2011
• 10. Kan S. H.: Metryki i modele w inżynierii jakości oprogramowania, PWN SA, Warszawa, 2006
• 11. Kerievsky J.: Refaktoryzacja do wzorców projektowych, Helion, Gliwice, 2005
• 12. Khaer Md. A. i inni: An Empirical Analysis of Software Systems for Measurement of Design Quality Level Based on Design Patterns, Computer and Information Technology, IEEE, 2007
• 13. Kirasić D., Basch D.: Ontology-Based Design Pattern Recognition, Knowledge-Based Intelligent Information and Engineering Systems, Zagreb, Croatia, 2008
• 14. Kornatka A.: Projekt i konstrukcja systemu generującego elementy bazodanowych aplikacji biznesowych, Studia Informatica Vol.: 33, No. 2B, s. 01-215, Wydawnictwo Politechniki Śląskiej, Gliwice, 2012
• 15. Martin R., Martin M: Agile. Programowanie zwinne: zasady, wzorce i praktyki zwinnego wytwarzania oprogramowania w C#, Helion, Gliwice, 2008
• 16. McConnell S.: Kod Doskonały, Helion, Gliwice, 2010
• 17. Rasool G.: Customizable Feature based Design Pattern Recognition Integrating Multiple Techniques, Dysertacja Doktorska, Technische Universitat Ilmenau, Ilmenau, 2010
• 18. Singh Rao R., Gupta M.: Design Pattern Detection by Greedy Algorithm Using Inexact Graph Matching, International Journal Of Engineering And Computer Science, Vol. 2, Issue 10, s. 3658-3664, 2013
• 19. Troelsen A.: Język C# i platforma .NET 3.5, PWN, Warszawa, 2009
• 20. Tsantalis N. i inni: Design Pattern Detection Using Similarity Scoring. IEEE Transactions on Software Engineering, Volume: 32, Issue: 11, s. 896-908, 2006
• 21. Wojszczyk R.: Koncepcja hybrydowej metody do oceny jakości zaimplementowanych wzorców projektowych, w: Zeszyty Naukowe Wydziału Elektroniki i Informatyki nr 7, s. 17-26, Wydawnictwo Uczelniane Politechniki Koszalińskiej, Koszalin, 2015
• 22. Wojszczyk R.: Porównanie sposobów reprezentacji wzorców projektowych, w: Modele inżynierii teleinformatyki 9, s. 133 - 145, Wydawnictwo Uczelniane Politechniki Koszalińskiej, Koszalin, 2014
• 23. Wojszczyk R.: Pozyskiwanie struktury obiektowej z kodu zarządzanego przy wykorzystaniu metod inżynierii odwrotnej, w: Inżynieria oprogramowania: badania i praktyka, s. 199-213, Zeszyty Rady Naukowej Polskiego Towarzystwa Informatycznego, Warszawa, 2014
• 24. Wojszczyk R.: The model and function of quality assessment of implementation of design patterns. Applied Computer Science, Vol. 11, No. 3, s 45-56, Institute of Technological Systems of Information, Lublin University of Technology, Lublin, 2015