Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: scenariusz testowy

Sortuj według:

Ogranicz wyniki do:

An application of UML models for semi-automated generation of test scenarios for validation of object oriented systems against specification requirements

Sapiecha K., Strug J.

Czasopismo Techniczne. Informatyka

2011

R. 108, z. 1-I

69-85

Systematic and rigorous validation carried out during entire process of development of a software intensive system can significantly reduce total costs and time to market and improve the quality of the system. In context of developing object-oriented systems (OOSs) information relevant to validation can be derived from early UML models. The paper presents next results of the work on a novel approach to generation of test scenarios from UML models for validation of OOSs against specification requirements.

Systematyczna walidacja, prowadzona w trakcie projektowania systemu informatycznego, może w znaczący sposób zredukować czas oczekiwania na produkt i poprawić jego jakość. W kontekście projektowania systemów obiektowych, informacje istotne dla walidacji mogą być uzyskane na postawie modeli UML. W tym artykule zaprezentowano kontynuację prac nad nową metodą generacji scenariuszy testowych do walidacji systemów obiektowych na podstawie modeli UML.

Wyznaczanie scenariuszy testowych dla pewnej klasy procesów definiowanych za pomocą języka BPEL

Sapiecha K., Grela D.

Czasopismo Techniczne. Informatyka

2008

R. 105, z. 1-I

53-71

Celem niniejszego artykułu jest adaptacja metody ścieżki krytycznej do procesów definiowanych w języku BPEL. W artykule pokazano, że po spełnieniu kilku założeń proces BPELa może być postrzegany jako system zamknięty, w którym komunikacja pomiędzy zadaniami odbywa się za pomocą i przy udziale koordynatora (aranżera) działającego zgodnie z grafem zadań systemu, a zadania odpowiadają funkcjom koordynatora.

The main purpose of this research is an adaptation of critical paths method to processes defined in BPEL. In the paper it is showed that under some assumptions BPEL process may be considered as an embedded system, in which communication between tasks is like coordination of the services according to task graph of the system and tasks are like coordinator's functions. An example is given where a set of test scenarios is presented.

Kreator scenariuszy testowych do walidacji reaktywnych systemów zamkniętych

Sapiecha K., Strug J., Maksym P.

Czasopismo Techniczne. Informatyka

2007

R. 104, z. 1-I

45-61

Podstawową techniką walidacji w przypadku reaktywnych systemów zamkniętych jest symulacja. Wyznaczenie odpowiedniego zbioru scenariuszy testowych, pozwalających na sprawdzenie poprawności funkcjonalnej i czasowej projektowanego systemu, jest zadaniem trudnym i bardzo pracochłonnym. Zatem duże znaczenie praktyczne ma automatyzacja tego procesu. W niniejszym artykule przedstawiono prototypowe narzędzie implementujące oryginalną metodę generacji scenariuszy testowych dla reaktywnych systemów zamkniętych oraz wyniki eksperymentów przeprowadzonych z jego zastosowaniem.

Simulation is the key validation technique for reactive embedded systems. Generation of a suitable set of test scenarios for checking functional and temporal correctness of a system is a difficult task. Computer-aided test scenarios generation has thus a practical meaning. This paper presents a tool implementing a method of test scenarios generation for reactive embedded systems and the results of experiments carried out with the help of this tool.