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

• Autorzy: Sapiecha K. , Grela D.

Warianty tytułu

EN

Test scenarios generation for certain class of processes defined with the help of BPEL

• Języki publikacji: PL

Abstrakty

PL

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.

EN

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.

Słowa kluczowe

PL

BPEL; scenariusz testowy; walidacja; Web services

EN

BPEL; test case generation; validation; web services

• Wydawca: Wydawnictwo Politechniki Krakowskiej im. Tadeusza Kościuszki
• Czasopismo: Czasopismo Techniczne. Informatyka
• Rocznik: 2008
• Tom: R. 105, z. 1-I
• Strony: 53--71
• Opis fizyczny: Bibliogr. 14 poz.,Rys., tab.,

Twórcy

autor

Sapiecha K.

autor

Grela D.

• Katedra Informatyki Technicznej, Wydział Inżynierii Elektrycznej i Komputerowej, Politechnika Krakowska

Bibliografia

• [1] Zakrzewicz M., Wprowadzenie do technologii Web Services: SOAP, WSDL i UDDI, XIII Seminarium PLOUG, 2006.
• [2] Zakrzewicz M., Implementacja aplikacji biznesowych w technologii WS-BPEL, XIII Seminarium PLOUG, 2006.
• [3] Ziegenbein D., Jersak M., Richter K., Ernst R., Breaking Down Complexity for Reliable System-Level Timing Validation, Proc. of the 9th IEEE Electronic Design Process Workshop, 2002.
• [4] Cunning S., Rozenblit J.W., Automating Test Case Generation for Requirements Specification for Realtime Embedded Systems, Proc. of the 1999 IEEE SMC ’99, 1999.
• [5] Lajolo M., Lavagno L., Rebaudengo M., Automatic Test Bench Generation for Simulation-based Validation, Proc. of the 8th CODES, 2000.
• [6] Zhang L., Hsiao M., Automatic Design Validation Framework for HDL Descriptions via RTL ATPG, Test Symposium, 2003. ATS 2003. 12th Asian, 2003.
• [7] Dalal S., Jain A., Patton G., Rathi M., Seymour P., AETGSM Web: A Web Based Service for AutomaticEfficient Test Generation from Functional Requirements, Proc. Of the 2nd IEEE Workshop on Industrial Strenght Formal Specification Techniques, 1998.
• [8] Strug J., Deniziak S., Sapiecha K., Validation of Reactive Embedded Systems against Temporal Requirements, Proc. of the 18th IEEE ECBS, Brno 2004, 152-159.
• [9] Strug J., Deniziak S., Sapiecha K., Validation of Reactive Embedded Systems against Specification Requirements, Annales Informatica, 2004.
• [10] Strug J., Sapiecha K., Wyznaczanie Scenariuszy Testowych dla Reaktywnych Systemów Wbudowanych, Systemy czasu rzeczywistego – Kierunki badań i rozwoju, WKiŁ, Warszawa 2005, 241-250.
• [11] Heitmeyer C., Kirby J., Labaw B., The SCR Method for Formally Specifying, Verifying and Validating Requirements: Tool Support, Proc. of the International Conference on Software Engineering, 1997.
• [12] Strug J., Deniziak S., Sapiecha K., Zastosowanie scenariuszy testowych do weryfikacji ograniczeń czasowych w systemach zamkniętych, Materiały Konferencyjne VI Krajowej Konferencji Reprogramowalne Układy Cyfrowe, RUC 2003, Szczecin 2003, 253-25.
• [13] Strug J., Automatyczna generacja scenariuszy testowych do walidacji systemów zamkniętych, rozprawa doktorska, Politechnika Warszawska, Warszawa 2007.
• [14] Sapiecha K., Strug J., Maksym P., Kreator scenariuszy testowych do walidacji reaktywnych systemów zamkniętych, Czasopismo Techniczne, z. 1-I/2007, Wyd. PK, Kraków 2007.