Wyniki wyszukiwania - BazTech

1

Odwzorowanie działania protokołu dwufazowego zatwierdzania z wieloma uczestnikami za pomocą kolorowanej sieci Petriego

Iwaniak M., Khadzyhonov W.

Studia Informatica

|

2013

|

Vol. 34, nr 2A

57--69

PL

W artykule przedstawiono wykorzystanie kolorowanej sieci Petriego do przedstawienia modelu i symulacji działania protokołu 2PC z wieloma uczestnikami (ang. Two-phase commit), czyli protokołu dwufazowego zatwierdzania. Wprowadzono podstawowe pojęcia dotyczące kolorowanych sieci Petriego. Opisano działanie protokołu dwufazowego zatwierdzania. Zaprezentowano model odwzorowujący działanie protokołu 2PC dla więcej niż jednego uczestnika. Za pomocą odpowiedniego doboru znakowań początkowych przeprowadzono analizę osiągalnych rozwiązań dla różnych sytuacji, które mogą zaistnieć w trakcie realizacji transakcji rozproszonej z wykorzystaniem protokołu 2PC.

EN

In this work the usage of Colored Petri Net for modeling and simulation of Two Phase Commit protocol with multiple cohorts is presented. Brief overview of Colored Petri Nets is introduced. Two-Phase Commit protocol is briefly described than introduced as Colored Petri Net model. By initial marking adaptation a few scenarios for 2PC protocol are presented with the use of the reachability analysis.

2

Wykorzystanie sieci Petriego do modelowania transakcji rozproszonych

Iwaniak M., Khadzhynov W.

Studia Informatica

|

2012

|

Vol. 33, nr 2A

255-270

PL

W artykule przedstawiono próbę wykorzystania zwyczajnej sieci Petriego do utworzenia i zbadania modelu protokołu 3PC (ang. three-phase commit), czyli protokołu trójfazowego zatwierdzania. Wprowadzone zostały podstawowe pojęcia dotyczące sieci Petriego. Wyjaśniono istotę transakcji w tradycyjnych i rozproszonych bazach danych oraz opisano działanie protokołu trójfazowego zatwierdzania. Przedstawiono sieć Petriego odwzorowującą działanie protokołu 3PC wraz z grafem osiągalnych rozwiązań oraz badaniem właściwości utworzonej sieci.

EN

In this work the attempt of using ordinary Petri Net to model and study Three-Phase Commit protocol (3PC) is presented. Brief overview of Petri Nets is introduced. The nature of typical and distributed transactions are explained. 3PC protocol actions are described. The Petri Net of 3PC protocol followed by reachability analysis and study of net properties is presented.

3

Zastosowanie modułu NUnit w testowaniu jednostkowym aplikacji bazodanowych wytworzonych w technologii .NET

Augustyn D., Stanek I.

Studia Informatica

|

2009

|

Vol. 30, nr 2B

7-21

PL

Artykuł dotyczy metod testowania jednostkowego funkcjonalności bazodanowych z wykorzystaniem silnika testującego NUnit. Testy jednostkowe funkcjonalności bazodanowych, z powodu trwałych modyfikacji bazy, nie są bezstanowe i niezależne, ponadto wymagają przygotowania właściwej zawartości bazy danych przed każdym wywołaniem. Aby umożliwić realizację takich testów, zgodnie z paradygmatem testów jednostkowych, można zastosować podejście polegające na automatycznym przywracaniu bazy do określonego stanu na podstawie danych XML. Innym podejściem jest odtwarzanie stanu danych przez otoczenie testu transakcją COM+. Artykuł przedstawia wykorzystanie mechanizmu rozszerzania NUnit w celu definicji własnych atrybutów, ukrywających szczegóły implementacji odtwarzania danych.

EN

The paper presents unit testing methods of database functionality using NUnit module. Unit tests should be stateless and independent. Database should have expected content before running of unit test. To fulfill these conditions a mechanism of placing database into know state and database content rollbacking should be used. It could be obtained by an approach based on XML data for setting expected database content. Another described approach uses transaction processing supported by COM+ serŹvices for automating rollback of changes made by test. The NUnit extension mechanism used for rollback functionality encapsulation is shown. It simplifying implementation of database functionally unit tests by using specific user defined attributes.