Verification and testing at run-time for online quality prediction | IEEE Conference Publication | IEEE Xplore

Verification and testing at run-time for online quality prediction


Abstract:

This paper summarizes two techniques for online failure prediction allowing to anticipate the need for adaptation of service-oriented systems: (1) SPADE, employing run-ti...Show More

Abstract:

This paper summarizes two techniques for online failure prediction allowing to anticipate the need for adaptation of service-oriented systems: (1) SPADE, employing run-time verification to predict failures of service compositions. (2) PROSA, building on online testing to predict failures of individual services.
Date of Conference: 05-05 June 2012
Date Added to IEEE Xplore: 28 June 2012
ISBN Information:
Conference Location: Zurich, Switzerland

Contact IEEE to Subscribe

References

References is not available for this document.