Contribuições para o teste de software (2011)
- Autor:
- Autor USP: SIMÃO, ADENILSO DA SILVA - ICMC
- Unidade: ICMC
- Sigla do Departamento: SSC
- Subjects: ENGENHARIA DE SOFTWARE; LINGUAGEM DE PROGRAMAÇÃO; TESTE E AVALIAÇÃO DE SOFTWARE
- Language: Português
- Abstract: Este texto foi elaborado para a participação do autor no Concurso Públlico de Professor Livre Docente junto ao Departamento de Sistemas de Computação do Instituto de Ciências Matemáticas e de Computação da Universidade de São Paulo (SSC/ICMC/USP). No texto, é apresentada uma sistematização das pesquisas e trabalhos realizados pelo autor, delineado seu foco de pesquisa em Teste de Software. Primeiramente, são descritas as contribuições na área de Teste Baseado em Máquinas de Estados Finitos, o qual concentra os principais esforços do autor e as publicações mais recentes. Em seguida, são apresentadas as contribuições na área de Teste de Programas Paralelos que caracteriza a segunda linha de atuação do autor. Por fim, são descritas as outras linhas de pesquisa nas quais o autor tem atuado. Neste documento, são descritos os fundamentos e os pressupostos com as quais as aboragens têm sido exploradas pelo autor, destacando as contribuições e os desenvolvimentos realizados nos últimos seis anos de trabalho acadêmico, correspondendo ao período posterior à conclusão do doutorado. Neste período, o autor publicou oito artigos completos em revistas, incluindo publicações na IEEE Transactions on Computers, Oxford Computer Journal, IET Software e Computer Languages, Systems and Structures, com Qualis A1, B1, B2 e B2, respectivamente. Publicou também 24 artigos em congressos da área, sendo 13 eventos internacionais e 11 em eventos nacionais
- Imprenta:
- Publisher place: São Carlos
- Date published: 2011
- Data da defesa: 06.04.2011
-
ABNT
SIMÃO, Adenilso da Silva. Contribuições para o teste de software. 2011. Tese (Livre Docência) – Universidade de São Paulo, São Carlos, 2011. . Acesso em: 19 abr. 2024. -
APA
Simão, A. da S. (2011). Contribuições para o teste de software (Tese (Livre Docência). Universidade de São Paulo, São Carlos. -
NLM
Simão A da S. Contribuições para o teste de software. 2011 ;[citado 2024 abr. 19 ] -
Vancouver
Simão A da S. Contribuições para o teste de software. 2011 ;[citado 2024 abr. 19 ] - Aplicaçao da análise de mutantes no contexto do teste e validação de redes de Petri coloridas
- Teste baseado em modelos
- Model-based testing of service-oriented applications via state models
- Subsídios para a aplicação de métodos de geração de casos de teste baseados em máquinas de estados no contexto de sistemas embarcados
- This volume contains the short papers presented at SBMF 2011... [Prefácio]
- Proceedings of the 14. Brazilian Symposium on Formal Methods - SBMF 2011: short papers
- Towards incremental FSM-based testing of software product lines
- Fault domain-based testing in imperfect situations: a heuristic approach and case studies
- Fault-based testing for refinement in CSP
- Feature subset selection and instance filtering for cross-project defect prediction: classification and ranking
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
