skip to main content
Idioma:
Tipo de recurso Mostra resultados com: Mostra resultados com: Índice

Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programs

Silva, Rodolfo Adamshuk

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2018-05-30

Acesso online. A biblioteca também possui exemplares impressos.

  • Título:
    Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programs
  • Autor: Silva, Rodolfo Adamshuk
  • Orientador: Souza, Simone do Rocio Senger de
  • Assuntos: Programação Concorrente; Teste De Mutação; Teste De Software Baseado Em Busca; Concurrent Programming; Mutation Testing; Search Based Software Testing
  • Notas: Tese (Doutorado)
  • Descrição: Concurrent programming has become an essential paradigm for reductions in the computational time in many application domains. However, the validation and testing activity is more complex than the testing for sequential programs due to the non-determinism, synchronization and inter-process communication. Mutation testing is based on mistakes produced by software developers and presents a high effectiveness to reveal faults. However, high computational costs limit its applicability even for sequential code, becoming higher for concurrent programs in which each test has to be executed with different (ideally all) thread schedules. To date, only selective mutation have been applied to reduce the number of mutants in concurrent programs, however, the problem of state explosion of thread schedules still remains. This Ph.D. thesis presents the SBBMuT approach that applies deterministic execution and genetic algorithm for the generation and execution of a set of synchronization sequences during the mutation testing of Java multithreaded programs. An experimental study was conducted, and the results showed that the set of synchronization sequences generated by SBBMuT achieved a higher mutation score in comparison with the use of the Java PathFinder model checking tool.
  • DOI: 10.11606/T.55.2018.tde-10102018-141934
  • Editor: Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação
  • Data de criação/publicação: 2018-05-30
  • Formato: Adobe PDF
  • Idioma: Inglês
Links
Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  9 AvançarIr para próxima página

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.