Java

Objetivos

Con el presente ejercicio el estudiante:

• Repasará algunos de los conceptos vistos en el curso anterior (Mundo e Interfaz).
• Desarrollará una aplicación siguiendo un proceso incremental.
• Construirá los invariantes de las clases del mundo del ejercicio.
• Utilizará la instrucción assert de Java para verificar invariantes.
• Desarrollarápruebas unitarias en Junit para las clases del ejercicio.
• Entenderá y aplicará el concepto de comparación de objetos.
• Entenderá y desarrollará tres algoritmos de ordenamiento (burbuja, inserción y selección).
• Entenderá y desarrollará algoritmos de búsqueda binaria y secuencial sobre una lista ordenada o no ordenada.
• Aprenderá a representar un objeto como texto con el métodotoString().
• Utilizará las clases JList y JScrollPane para presentar listas en la interfaz gráfica.

Los siguientes pasos conforman el plan sugerido para desarrollar el ejercicio. La idea central es ir desarrollando y probando incrementalmente los métodos de las clases.

Preparación

1. Localice el archivo demo de la aplicación (n7_fincaRaiz_demo.zip), descomprímalo y ejecute elprograma .exe que muestra una ejecución del programa. Estudie el funcionamiento esperado del programa.
2. Localice y descomprima el archivo del ejercicio .zip que se encuentra en el sitio web del curso.
3. Importe el proyecto en Eclipse llamado n7_fincaRaiz con el contenido.
4. Lea el enunciado del problema disponible en:
n7_fincaRaiz/docs/specs/Descripcion.doc.
Lea tambiénel documento RequerimientosFuncionales.doc en el mismo directorio.
5. Asegúrese de tener activado el uso de aserciones para la ejecución del programa. Ver el tutorial en http://cupi2.uniandes.edu.co/sitio/images/cursosCupi2/apo2/tutoriales/n7_assert.pdf

Parte1: Construcción de invariantes

1. Revise el modelo del mundo en n7_fincaRaiz/docs/specs/ModeloConceptual.JPG e identifique lasclases del mundo.
2. Complete la clase Inmueble
a. Defina el invariante de esta clase y documéntelo en la cabecera de la clase, siguiendo las normas explicadas para ello.
b. Cree al final de la clase Inmueble el método verificarInvariante(). Utilice aserciones para validar el invariante que definió en el punto anterior.
c. Llame el método para verificar el invarianteen todos aquellos métodos de la clase que modifican el estado.
3. Revise la clase FincaRaiz
a. Defina el invariante de esta clase y documéntelo en la cabecera de la clase, siguiendo las normas explicadas para ello.
b. Cree al final de la clase FincaRaiz el método verificarInvariante(). Utilice aserciones para validar el invariante que definió en el punto anterior.
c.Llame el método correspondiente para verificar el invariante en todos aquellos métodos de la clase que modifican el estado.

Parte2: Comparaciones, ordenamiento y búsqueda

1. Complete la clase Inmueble:

• Complete los métodos de comparación de la clase Inmueble. Para ello utilice el método compareTo (para comparar cadenas de caracteres, ó compareToIgnoreCase para no tener en cuentasi son mayúsculas o minúsculas) o la expresión mayor o menor que (para comparar números).
• Diseño e implementación de pruebas:
(a) Defina y documente la manera como debe probarse cada uno de los métodos que acaba de completar. Utilice el formato propuesto en las notas de clase para especificar los casos de prueba. Un posible formato lo encuentra en el archivo CasosPrueba.doc en eldirectorio docs/specs del proyecto. El escenario que debe usar está planteado en el método setupEscenario1() de la clase InmuebleTest.
(b) Implemente en la clase de pruebas InmuebleTest los métodos de prueba para verificar el correcto funcionamiento de cada uno de los métodos desarrollados en el punto anterior. Utilice el método setupEscenario1() para definir el estado inicial de cada...