Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: verifying implementation

Sortuj według:

Ogranicz wyniki do:

Wykorzystanie modeli danych do weryfikacji implementacji wzorców projektowych

Wojszczyk R., Khadzhynov W.

Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej

2016

Nr 10

193--209

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.

Data models in the verification of the Singleton pattern

Wojszczyk R., Khadzhynov W.

Journal of Theoretical and Applied Computer Science

2015

Vol. 9, nr 3

35--46

The Singleton pattern is considered as one of the simplest of implementation. The popularity of this pattern causes to it’s overuse, then to mistakes in implementation. Detecting the errors requires verification this implementation. The aim of the article is to describe the data models, which are used in the process of verification of implementation of design patterns.