Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programs (2018)
- Authors:
- Autor USP: SILVA, RODOLFO ADAMSHUK - ICMC
- Unidade: ICMC
- Sigla do Departamento: SSC
- Subjects: PROGRAMAÇÃO CONCORRENTE; SOFTWARES; ALGORITMOS GENÉTICOS; FALHAS COMPUTACIONAIS
- Keywords: Concurrent programming; Mutation testing; Search based software testing; Teste de mutação
- Language: Inglês
- Abstract: A programação concorrente tornou-se um paradigma essencial para a redução no tempo computacional em muitos domínios de aplicação. No entanto, as atividades de verificação, validação e teste são mais complexas do que o teste para programas sequenciais devido ao não determinismo, sincronização e comunicação entre processos ou threads. O teste de mutação é baseado em enganos cometidos por desenvolvedores de software e apresenta uma alta eficácia para revelar defeitos. No entanto, o alto custo computacional limita a sua aplicação mesmo para programas sequenciais, e tornando-se maior para programas concorrentes no qual cada teste deve ser executado com diferentes (idealmente todas) sequências de sincronizações. Na literatura, apenas mutação seletiva foi aplicada para reduzir o número de mutantes em programas concorrentes, no entanto, o problema de explosão no número de sequências de sincronização ainda permanece. Esta tese de doutorado apresenta a abordagem SBBMuT que aplica execução determinística e algoritmo genético para a geração e execução de um conjunto de sequências de sincronização durante o teste de mutação para programas Java multithread. Um estudo experimental foi conduzido e os resultados mostram que o conjunto de sequências de sincronização gerada pela SBBMuT conseguiu alcançar um escore de mutação maior em comparação com a utilização da ferramenta de validação de modelos Java PathFinder.
- Imprenta:
- Publisher place: São Carlos
- Date published: 2018
- Data da defesa: 30.05.2018
-
ABNT
SILVA, Rodolfo Adamshuk. Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programs. 2018. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10102018-141934/. Acesso em: 01 maio 2024. -
APA
Silva, R. A. (2018). Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programs (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10102018-141934/ -
NLM
Silva RA. Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programs [Internet]. 2018 ;[citado 2024 maio 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10102018-141934/ -
Vancouver
Silva RA. Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programs [Internet]. 2018 ;[citado 2024 maio 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10102018-141934/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
