Adenilso da Silva Simão - Biblioteca Virtual da FAPESP
Possui graduação em Bacharelado em Ciência da Computação pela Universidade Estadual de Maringá (1997), mestrado em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo (2000) e doutorado em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo (2004). Realizou estágio de pós-doutoramento no Centre de Recherche Informatique de Montreal (2008-2010). Desde 2004 é Professor Titular da Universidade de São Paulo. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: teste de software, métodos formais e linguagens de programação. (Fonte: Currículo Lattes)
O Teste Baseado em Modelos é uma estratégia promissora para automatizar a geração e execução de teste. Os casos de teste são derivados de um modelo representando o software a ser testado. Diversos métodos de geração de testes a partir de Máquinas de Estados Finitos (MEFs) podem ser encontrados na literatura. Contudo, tais modelos podem ser inadequados para representar algumas classes d...
Sistemas de transição de entrada/saída: apoio para a geração de casos de teste, AP.R
International Conference on services computing, AR.EXT
O teste de software é apontado como uma das atividades mais importantes no processo de construção de um software, uma vez que agrega maior qualidade ao produto gerado. Avanços na área de teste buscam a elaboração de conceitos, métodos e técnicas que reduzam os custos de execução e de geração do conjunto de teste, além de aprimorar a sua eficiência na identificação de defeitos. Esse con...
Investigação de teste de software sob a perspectiva da teoria de redes complexas, BP.DR
A arquitetura orientada a serviço (SOA) vem sendo adotada para desenvolver aplicações corporativas que promovem interoperabilidade, fraco acoplamento e reúso. SOA é um estilo arquitetural centrado em serviços 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...
Teste baseado em modelo de aplicações orientadas a serviço: estudos experimentais e automatização, BP.PD
O Teste Baseado em Modelos (TBM) envolve a geração de casos de teste automatizada a partir de modelos produzidos durante o ciclo de desenvolvimento de software. Podem ser encontrados muitos métodos para geração de casos de teste a partir de Máquinas de Estados Finitos(MEFs). Porém, algumas classes de sistemas não podem ser representadas utilizando MEFs, e um dos modelos adotados para t...
Teste baseado em sistemas de transição com entrada e saída, BP.DR
Mário Santos Camillo
Leonardo Filonônes Teixeira
Arquitetura orientada a serviços Ciência da Computação Ciências Exatas e da Terra Engenharia de software Estudos experimentais Flexibilidade Matemática Aplicada Matemática Metodologia e Técnicas da Computação Modelagem Redes de petri Sistemas complexos Sistemas de Computação Sistemas de informação Sistemas embarcados Teste e avaliação de software Web service
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. Citações Web of Science: 10. (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. Citações Web of Science: 12. (09/01486-9, 12/02232-3)
SOUZA, S. R. S.; SOUZA, P. S. L.; BRITO, M. A. S.; SIMAO, A. S.; ZALUSKA, E. J.. Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. SOFTWARE TESTING VERIFICATION & RELIABILITY, v. 25, n. 3, SI, p. 310-332, MAY 2015. Citações Web of Science: 3. (08/04614-5, 10/02839-0, 13/01818-7, 09/04517-2)
PAIVA, SOFIA COSTA; SIMAO, ADENILSO. Generation of complete test suites from mealy input/output transition systems. FORMAL ASPECTS OF COMPUTING, v. 28, n. 1, p. 65-78, MAR 2016. Citações Web of Science: 2. (12/02232-3, 12/09650-5)
ENDO, André Takeshi. Model based testing of service oriented applications. Tese (Doutorado) - Instituto de Ciências Matemáticas e de Computação. Universidade de São Paulo (USP). São Carlos. (09/01486-9)
ENDO, André Takeshi. Teste de composição de web services: uma estratégia baseada em um modelo de teste de programas paralelos. Dissertação (Mestrado) - Instituto de Ciências Matemáticas e de Computação. Universidade de São Paulo (USP). São Carlos. (06/54464-4)
BRITO, Maria Adelina Silva. Avaliação da efetividade dos critérios de teste estruturais no contexto de programas concorrentes. Dissertação (Mestrado) - Instituto de Ciências Matemáticas e de Computação. Universidade de São Paulo (USP). São Carlos. (09/04517-2)
PINHEIRO, Arineiza Cristina. Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados. Dissertação (Mestrado) - Instituto de Ciências Matemáticas e de Computação. Universidade de São Paulo (USP). São Carlos. (10/04001-3)
PORTO, Faimison Rodrigues. Predição de defeitos cruzada entre projetos apoiado por meta-aprendizado. Tese (Doutorado) - Instituto de Ciências Matemáticas e de Computação. Universidade de São Paulo (USP). São Carlos. (13/01084-3)
PAIVA, Sofia Larissa da Costa. Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída. Tese (Doutorado) - Instituto de Ciências Matemáticas e de Computação. Universidade de São Paulo (USP). São Carlos. (12/09650-5)