- Celso Junio Simões de Oliveira Santos
- Felipe Matheus Guimarães dos Santos
- Matheus Felipe Akira de Assis Oliveira
- Matheus Ferreira Coelho
O sistema consiste em uma API REST, a qual tem as funções de adicionar, editar, remover e listar animes.
O sistema foi desenvolvido seguindo as instruções de um curso que ensinava REST API com Spring Boot.
O sistema foi desenvolvido em Java, utilizando o framework Spring Boot e o gerenciador de build e dependências Maven.
Para persistência dos dados, foi usado o banco de dados MySQL, utilizando docker e a framework JPA.
Os testes foram desenvolvidos usando dois frameworks:
- Spock para os testes de unidade;
- MockMVC e JUnit para os testes de componente e integração
Link: Codecov
Link: Codecov without class exclusions
Para rodar os testes de mutação do sistema, primeiro você precisa limpar a pasta target e verificar a corretude da bateria de testes com o comando:
mvn clean test
Após, rode o pitest
mvn test-compile org.pitest:pitest-maven:mutationCoverage
Após terminar de rodar as mutações e os testes, irá gerar uma nova pasta no seguinte caminho:
tp-teste-software/target/pit-reports
Abrindo essa pasta, o report será o index.html. Abra-o em seu navegador para vê-lo estilizado.