elias-garcia/vvs

Prácticas de Validación y Verificación del Software, 4º GEI, UDC.

vvs's Issues

Eliminar el directorio `build`

No hay ninguna razón para que ese directorio, el subdirectorio exceptionsy los ficheros que contiene estén en el repositorio.

EventServiceImpl - findEvents no devuelve StartIndexOrCountException

Caso de prueba relacionado: PR-UN-025

Inspeccionando el código se ha dectado que la implementacion no devuelve
StartIndexOrCountException es este metodo para este caso. Crearla y modificar la implementación para que devuelva la excepcion.

Nuevo mutante en la clase BetInfo

Producido al devolver un objeto null en vez de una fecha válida.

Reimplementacion del metodo EventInfoDaoHibernate - findEvents

El metodo esta mal implementado por lo siguientes motivos:
Si se le pasa un CategoryInfo null el método no funciona

Falta de comprobación de una apuesta negativa

El método createBet de BetServiceImpl no devuelve excepción si el amount que se le pasa es negativo. Se ha creado la excepción NegativeAmountException.

Aumentar la cobertura (mvn cobertura:cobertura)

-package es.udc.pa.pa015.practicapa.model.betinfo; (Line Coverage = 63%)

-Los setter no se quitan para aumentar la cobertura porque Hibernate los usa
para gestionar la sincronizacion de datos entre memoria y BBDD.

-El metodo toString si que hay que quitarlo porque no se usa.

package es.udc.pa.pa015.practicapa.model.eventService.TypeNotMultipleException;

-Quitar el atributo typeId y el getter porque no se usa en ningun momento.

-package es.udc.pa.pa015.practicapa.model.eventinfo; (Branch Coverage = 70%)

-Pasar por todos los ifs del metodo findEvents de la clase EventInfoDaoHibernate.

-Crear los test de unidad PR-UN-058 para aumentar el Brach Coverage 

Solucionar problemas con checkstyle

Solucionar problemas de checkstyle reabiertos

EventServiceUnitTest - createEvent no devuelve EventDateException si la fecha es nula

Caso de prueba relacionado: PR-UN-019

Inspeccionando el código se ha dectado que la implementacion no devuelve
EventDateException cuando la fecha es null. Modificar la implementacion para que devuelva
la excepcion en ese caso.

Falta la excepción NullEventNameException para EventServiceUnitTest - createEvent

Caso de prueba relacionado: PR-UN-018

Inspeccionando el código se ha dectado que la implementacion no devuelve
NullEventNameException de hecho ni siquiera esta creada. Crearla y modificar la implementacion
para que devuelva la excepcion.

Fallo en la implementación en EventService - findEvents: No devuelve InstanceNotFoundException

Caso de prueba relacionado: PR-UN-022

Inspeccionando el código se ha dectado que la implementacion no devuelve
InstanceNotFoundException es este método en el caso de que se le pase un identificador de categoría no existente. Modificar la implementación para que devuelva la excepción.

if (categoryId != null)
categoryInfoDao.find(categoryId);

Nuevos mutantes por métodos toString()

Los métodos toString() de las entidades generan nuevos mutantes -> NO_COVERAGE

Falta de actividad

No se ha cumplido ningún objetivo de la segunda semana de prácticas.

Recordad que el trabajo semana a semana en este bloque se tiene en cuenta como parte de la evaluación continua de la asignatura.

Error en la implementación del método pickWinners en EventServiceImpl

	if (optionIds == null || optionIds.size() == 0) {
		for (TypeOption option : typeOptions) {
			option.setIsWinner(false);
			typeOptionDao.save(option);
		}

		type.setPickedWinners(true);
		betTypeDao.save(type);

		return;
	}

No hace falta llamar a los Daos para hacer persistentes los cambios en los datos. Hibernate lo hace automáticamente al llamar al método SET

EventServiceImpl -addBetType no devuelve DuplicatedResultTypeOptionsException cuando las TypeOptions tienen nombres duplicados

Caso de prueba relacionado: PR-UN-029

Inspeccionando el código se ha dectado que la implementacion no devuelve
DuplicatedResultTypeOptionsException es este metodo para este caso. Crearla y modificar
la implementación para que devuelva la excepcion.

EventInfoBlock no tiene setters

EventInfoBlock no tiene setters, por lo que no se pueden inicializar los datos correctamente para ciertos casos de prueba como PR-UN-024 o PR-UN-025

Modificación de la función findEvent en EventInfoDao

No se comprueba que el eventsStarted sea a true, por la tanto siempre que éste lo es lista todos los eventos.
Debe de listar solos los eventos empezados. e.eventDate < :eventDate

Mutante en BetInfo

Mutante vivo al reemplazar la cantidad amount devuelta por el método getAmount().

Mutante en EventDateException()

No se comprueba que el nombre devuelto por el método getEventName() sea correcto.

Integración con Travis y contenido del README

Recordad que para cumplir los requisitos de la primera semana, debéis enlazar el repositorio con Travis-CI, que debe ser capaz de ejecutar correctamente la construcción del proyecto, e incluir el badge en el README (punto 3 del enunciado). Además el README debe contener una breve descripción del proyecto (punto 4 del enunciado).

EventServiceImpl - addBetType no devuelve NoAssignedTypeOptionsException si las TypeOptions están vacías.

Caso de prueba relacionado: PR-UN-029

Inspeccionando el código se ha dectado que la implementacion no devuelve
NoAssignedTypeOptionsException es este metodo para este caso. Crearla y modificar la implementación para que devuelva la excepcion.