Investigação de teste baseado em máquinas de estados finitos aplicado a serviços web

• Processo: 09/01486-9
• Modalidade de apoio: Bolsas no Brasil - Doutorado
• Data de Início da vigência: 01 de julho de 2009
• Data de Término da vigência: 31 de dezembro de 2012
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Adenilso da Silva Simão
• Beneficiário: André Takeshi Endo
• Instituição Sede: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brasil
• Assunto(s): Engenharia de software Web
• Palavra(s)-Chave do Pesquisador: Máquinas de Estados Finitos | Service Oriented Architecture | serviços Web | teste baseado em modelos | Teste de Serviços | Engenharia de Software

Resumo

A arquitetura orientada a serviço é um modelo para estruturar sistemas de software, de modo que exista um baixo grau de acoplamento entre as aplicações e essas possam ser facilmente integradas de forma dinâmica. Atualmente, a tecnologia mais utilizada para a implementação de arquiteturas orientadas a serviço são os serviços web. Serviços web são aplicações que fornecem um conjunto de funcionalidades acessadas por meio da web usando protocolos padronizados e abertos. A incorporação de serviços web em sistemas que modelam processos de negócios grandes e complexos contribui para o aumento da necessidade de testes mais formais e sistemáticos. Além disso, características próprias dessa nova classe de software fazem com que técnicas de teste tradicionais não possam ser diretamente aplicadas. Uma delas é a natureza dinâmica de arquiteturas orientadas a serviço que requer que testes sejam executados de forma automatizada. Considerando a área de teste de software, o teste baseado em modelos apresenta-se como uma estratégia promissora para a resolução desses problemas. É importante também que o modelo adotado seja simples e expressivo o suficiente para que facilite modificações e permita que testes significativos sejam gerados. Além de possuir essas características, as máquinas de estados finitos e suas extensões apresentam um arcabouço de teoria de teste bem fundamentada. Dessa forma, este projeto de pesquisa propõe a investigação de teste baseado em máquinas de estados finitos aplicado no contexto de arquiteturas orientadas a serviço, mais especificamente em serviços web. (AU)

Publicações científicas

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

BELLI, FEVZI; ENDO, ANDRE TAKESHI; LINSCHULTE, MICHAEL; SIMAO, ADENILSO. A holistic approach to model-based testing of Web service compositions. SOFTWARE-PRACTICE & EXPERIENCE, v. 44, n. 2, p. 201-234, FEB 2014. (09/01486-9)

ENDO, ANDRE TAKESHI; SIMAO, ADENILSO. Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods. INFORMATION AND SOFTWARE TECHNOLOGY, v. 55, n. 6, p. 1045-1062, JUN 2013. (09/01486-9, 12/02232-3)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

ENDO, André Takeshi. Teste baseado em modelo de aplicações orientadas a serviço. 2013. Tese de Doutorado - Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC/SB) São Carlos.