Symbolic test case generation for testing orchestrators in context

• Main Author: Escobedo Del Cid, José Pablo
• Language: ENG
• Published: Institut National des Télécommunications 2010
• Subjects: [INFO] Computer Science; SOA; Orchestrators; Symbolic testing
• Online Access: http://tel.archives-ouvertes.fr/tel-00625319; http://tel.archives-ouvertes.fr/docs/00/62/53/19/PDF/TheseESCOBEDO.pdf.pdf

Web services are pieces of software offering functionalities to other (remote) machines over the Internet that work based on the Service-Oriented Architecture (SOA). They can be invoked by means of Web related standards (usually, SOAP, UDDI, XML, HTTP, WSDL. In the recent years, the usage of Web services has increased due to the flexibility and interoperability among heterogeneous platforms and operative systems that they provide. SOA adds value in terms of low coupling, re-usability of services and sharing; it makes the systems flexible and adaptive in case of changes in the business process and improves the integration of heterogeneous systems. Besides, new ways of using Web services have emerged, by combining them in order to create more complete (and complex) services. This process of re-using and combining Web services is called Web service composition, and its main objective is to allow the re-usability of the functionalities proposed by the Web services. This is why this architecture has been widely accepted by the companies all over the world: it helps reducing the cost and time to create business processes, and this is the type of systems we work with in this thesis, more specifically, we aim at ensuring their correct behavior by using testing techniques in order to detect possible errors.