Skip to Main content Skip to Navigation

Testabilité des services Web

Abstract : This PhD thesis focuses on diverse forms of automated Web services testing : on the one hand, is dedicated to functional testing through robustness testing. On the other hand, is extends previous works on the non-functional properties testing, such as the testability and security properties. We have been exploring these issues both from a theoretical and practical perspective. We proposed a robustness testing method which generates and executes test cases automatically from WSDL descriptions. We analyze the Web service over hazards to find those which may be used for testing. We show that few hazards can be really handled and then we improve the robustness issue detection by separating the SOAP processor behavior from the Web service one. Stateful Web services are modeled with Symbolic Systems. A second method dedicated to stateful Web services consists in completing the Web service specification to describe correct and incorrect behaviors. By using this completed specification, the Web services are tested with relevant hazards and a verdict is returned. We study the BPEL testability on a well-known testability criterion called observability. To evaluate, we have chosen to transform ABPEL specifications into STS to apply existing methods. Then, from STS testability issues, we deduce some patterns of ABPEL testability degradation. These latter help to finally propose testability enhancement methods of ABPEL specifications. Finally, we proposed a security testing method for stateful Web Services. We define some specific security rules with the Nomad language. Afterwards, we construct test cases from a symbolic specification and test purposes derived from the previous rules. Moreover, to validate our proposal, we have applied our testing approach on real size case studies.
Document type :
Complete list of metadatas

Cited literature [60 references]  Display  Hide  Download
Contributor : Abes Star :  Contact
Submitted on : Friday, October 5, 2012 - 1:56:12 PM
Last modification on : Wednesday, March 4, 2020 - 12:28:02 PM
Long-term archiving on: : Sunday, January 6, 2013 - 3:51:16 AM


Version validated by the jury (STAR)


  • HAL Id : tel-00738936, version 1


Issam Rabhi. Testabilité des services Web. Autre [cs.OH]. Université Blaise Pascal - Clermont-Ferrand II, 2012. Français. ⟨NNT : 2012CLF22213⟩. ⟨tel-00738936⟩



Record views


Files downloads