Title :
Verification and testing at run-time for online quality prediction
Author :
Metzger, Andreas ; Schmieders, Eric ; Sammodi, Osama ; Pohl, Klaus
Author_Institution :
Paluno (Ruhr Inst. for Software Technol.), Univ. of Duisburg-Essen, Essen, Germany
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.
Keywords :
program testing; program verification; service-oriented architecture; software quality; PROSA; SPADE; online failure prediction; online quality prediction; run-time testing; run-time verification; service compositions; service-oriented systems; Accuracy; Adaptation models; Conferences; Monitoring; Predictive models; Software; Testing; Online testing; SOA; run-time verification;
Conference_Titel :
Software Services and Systems Research - Results and Challenges (S-Cube), 2012 Workshop on European
Conference_Location :
Zurich
Print_ISBN :
978-1-4673-1806-8
DOI :
10.1109/S-Cube.2012.6225511
