DocumentCode
2422651
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
fYear
2012
fDate
5-5 June 2012
Firstpage
49
Lastpage
50
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/S-Cube.2012.6225511
Filename
6225511
Link To Document