Full text
| |
| Author(s): |
André Takeshi Endo
Total Authors: 1
|
| Document type: | Doctoral Thesis |
| Press: | São Carlos. |
| Institution: | Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC/SB) |
| Defense date: | 2013-04-19 |
| Examining board members: |
Adenilso da Silva Simão;
Rohit Gheyi;
Itana Maria de Souza Gimenes;
Eliane Martins;
Silvia Regina Vergilio
|
| Advisor: | Adenilso da Silva Simão |
| Abstract | |
SERVICE oriented architecture (SOA) is an architectural style to structure software systems, fostering loose coupling and dynamic integration among the applications. The use of SOA and Web services to develop complex and large business processes demands more formal and systematic testing. In addition, characteristics of this type of software limit the straightforward application of traditional testing techniques. Model-based testing (MBT) is a promising approach to deal with these problems. This dissertation investigates how two modeling techniques, namely Finite State Machine (FSM) and Event Sequence Graph (ESG), can be used to support MBT of service-oriented applications. Both techniques model different aspects and can be applied in a complementary way. Initially, we define an MBT process for service-oriented applications that employs FSMs. Based on previous experience, we propose a model-based approach to test composite services using ESGs. This approach is holistic, once test suites are generated to cover both desired situations (positive testing) and unexpected behaviors (negative testing). Three experimental studies evaluate the proposed approach: (i) a case study, (ii) a cost analysis, and (iii) a study in industry. Testing tools are also presented to support its practical use (AU) | |
| FAPESP's process: | 09/01486-9 - Investigation of finite state machine based testing applied to web services |
| Grantee: | André Takeshi Endo |
| Support Opportunities: | Scholarships in Brazil - Doctorate |