- Tytuł:
- Wykorzystanie modeli danych do weryfikacji implementacji wzorców projektowych
- Autorzy:
-
Wojszczyk, R.
Khadzhynov, W. - Powiązania:
- https://bibliotekanauki.pl/articles/118470.pdf
- Data publikacji:
- 2016
- Wydawca:
- Politechnika Koszalińska. Wydawnictwo Uczelniane
- Tematy:
-
wzorce projektowe
model danych
ERD
weryfikacja oprogramowania
design patterns
data model
verifying implementation - Opis:
-
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.
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. - Źródło:
-
Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej; 2016, 10; 193-209
1897-7421 - Pojawia się w:
- Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej
- Dostawca treści:
- Biblioteka Nauki
Artykuł