Skip to Main content Skip to Navigation
Theses

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 :
Theses
Complete list of metadatas

Cited literature [60 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00738936
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

File

RABHI-2012CLF22213.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00738936, version 1

Citation

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

Share

Metrics

Record views

856

Files downloads

2406