2011 Sixth International Symposium on Parallel Computing in Electrical Engineering (2011)
Luton, United Kingdom
Apr. 3, 2011 to Apr. 7, 2011
State Machines (ASM) are mathematically defined environment for high-level system design, verification and analysis. This paper presents a definition of the hybrid approach to the specification, analysis and testing of stateful grid services using ASM. This approach allows an easy integration of created specification of developed middle ware with existing components of grid systems. The important advantage of this approach is an automatic testing of the implementation, following the model-based testing approach. This allows a smooth transition from the specification to implementation stage, as well as investigation of features of specification and implementation, at every stage of their development. Also, a software environment has been developed which implements the defined approach.
Abstract State Machines, Generating test procedures, Web Service Resource Framework, Stateful services, Formal methods, Model-based testing
D. Lamch and R. Wyrzykowski, "An Approach for Specification and Testing of Stateful Grid Services," 2011 Sixth International Symposium on Parallel Computing in Electrical Engineering(PARELEC), Luton, United Kingdom, 2011, pp. 167-172.