Application of UniTESK Technology for Functional Testing of Infrastructural Grid Software

1
Application of UniTESK Technology for Functional
Testing of Infrastructural Grid Software

• Sergey Smolov,
• Institute for System Programming, RAS
• ssedai_at_ispras.ru
• Scientific Adviser
• Alexander K. Petrenko, Doctor of Science
• Institute for System Programming, RAS

2
Typical Grid-system
Client
Client
Client
Client
Security
Execution management
Resource management
Monitoring
Computational resource
Data storage
Computational resource
3
Example of the Grid Middleware (GM) usage
Resource
Client
GM
Transmits task for execution
Sends task for execution
Returns results
Forms results
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

6
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

8
UniTESK technology
Formal specification
Requirements to system
System under test
Mediator
System interfaces
Coverage Report
Test scenarios
Quality of testing requirements
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

13
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

14
Future plans

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

15
Thank you!