1 Application of UniTESK Technology for Functional Testing of Infrastructural Grid Software Sergey Smolov, Institute for System Programming, RAS Scientific Adviser Alexander K. Petrenko, Doctor of Science Institute for System Programming, RAS

2 Typical Grid-system Client Computational resource Data storage Computational resource Client Security Execution management Resource management Monitoring

Example of the Grid Middleware (GM) usage Sends task for execution Returns results Transmits task for execution Forms results ClientGM Resource

4 Problem of tasks portability between different Grid-systems Independent implementations: Globus, UNICORE, gLite … Incompatible standards: OGSA, WS-RF, WS-Management Portability assurance for user tasks between different Grid-systems

5 Portability assurance  Key factors of user tasks portability between Grids standardization of interfaces  Analysis of standards Compliance of the Grid-systems to the standard  Conformance test suit

Grid standards  OGSA (Open Grid Services Architecture) Descriptive Based on grid-services  WS-RF (Web Services Resource Framework) Structured Requirements are clear Based on Web-services  WS-Management …

7 WS-RF structure  Contains 5 specifications with different levels of obligations (MUST, SHOULD, MAY): WS-Resource WS-ResourceProperties WS-ServiceGroup WS-BaseFaults WS-ResourceLifetime  Syntactical & functional requirements

UniTESKtechnology Formal specification Mediator Test scenarios Requirements to system Quality of testing requirements System interfaces System under test Coverage Report

9 Formal specification  Based on WS-RF standard WS-ResourceProperties: 8 operations 171 requirements (syntactical & functional)  Specification functions Correspond to message exchanges Functional requirements are given in postconditions Syntactical requirements are realized in mediator

10 Mediator  Delivers stimuli by sending XML- messages over SOAP protocol  Receives & handles XML-responses about revealing of reactions Message content analysis XML response transfer into model

11 Test scenarios  7 test scenarios Get-, GetMultiple-, Insert-, Update- and DeleteResourceProperties, ImmediateDestroy SheduledDestroy  Covers the MUST requirements of WS-RF standard

12 Results of Globus Toolkit 4.2 testing  Discrepancies with WS-RF standard were found: Functional (2) - requirements to Insert- and UpdateResourceProperties message exchanges Syntactical (11) - format of the messages does not comply with the standard  Discrepancies break optional requirements of the standard

The conclusion  Globus Toolkit 4.2 mostly complies with the WS-RF standard  The usage of formal methods facilitates development of detailed tests for checking the conformance of GM to Grid standards The UniTESK technology is applicable for testing the GM

Future plans  Development of a test suite for checking specific requirements to the services of GM, like: Reliable Data Transfer Resource Management

Thank you!