Embed Size (px)
Citation preview
Documento de Casos de uso y Requerimientos
Versión: 11
Creado: Daniel Yesid Cáceres Rincón
Última actualización:
25/05/2011
Fecha de Impresión:
25/05/2011
Tabla de Contenido
Documento de Casos de uso y Requerimientos ................................................... 1 1 Introducción ..................................................................................................... 5
1.1 Propósito del Documento ........................................................................ 5 2 Objetivo general de los casos de uso .............................................................. 5
2.1 Enfoque ................................................................................................... 5 2.2 Contexto .................................................................................................. 5
Casos de Uso ....................................................................................................... 6 3 Use Case Model v2 ......................................................................................... 6
3.1 Actores .................................................................................................... 6
3.1.1 Alcalde ............................................................................................... 7 3.1.2 Auxiliar ............................................................................................... 7
3.1.3 Candidato ........................................................................................... 7 3.1.4 Elector ................................................................................................ 8
3.1.5 Juez ................................................................................................... 8 3.1.6 Jurado ................................................................................................ 8
3.1.7 Registrador municipal ........................................................................ 8 3.1.8 Sistema .............................................................................................. 9 3.1.9 Testigo ............................................................................................... 9
3.2 Caso de uso Votación actual ................................................................. 10 3.3 Caso de uso E-vote2 ............................................................................. 11
3.3.1 Almacenar conteo preliminar............................................................ 12
3.3.2 Almacenar formularios en DB .......................................................... 12
3.3.3 Almacenar registro candidatos en DB .............................................. 14 3.3.4 Almacenar registro electores en DB ................................................. 15 3.3.5 Almacenar reportes temporales ....................................................... 16
3.3.6 Almacenar votos del sistema ........................................................... 17 3.3.7 Bajar Servicio Jornada de Votación ................................................. 18
3.3.8 Bajar Servicio Post-Elección ............................................................ 18 3.3.9 Bajar servicio de validación biométrica y código de barras .............. 19
3.3.10 Cerrar Jornada Post-Elección .......................................................... 20 3.3.11 Cerrar Jornada de Votación ............................................................. 21 3.3.12 CerrarProcesoDe Inscripciones candidatos ..................................... 22 3.3.13 CerrarProcesoDe Inscripciones electores ........................................ 23
3.3.14 Crear DB de reportes ....................................................................... 25 3.3.15 Crear DB de votos ............................................................................ 25 3.3.16 Crear formulario E-24/E-26 .............................................................. 26
3.3.17 Crear una DB de registro candidatos .............................................. 27 3.3.18 Crear una DB de registro electores .................................................. 29 3.3.19 Generar certificado electoral ............................................................ 30 3.3.20 Generar certificado inscripción alcaldía ........................................... 31 3.3.21 Generar certificado inscripción concejo ........................................... 31 3.3.22 Generar certificado inscripción electoral .......................................... 32 3.3.23 Habilitar acceso a la interface de votación ....................................... 33
3.3.24 Iniciar proceso Inscripciones candidatos .......................................... 35 3.3.25 Iniciar Jornada Post-Elección ........................................................... 35 3.3.26 Iniciar Jornada de Votación .............................................................. 36
3.3.27 Iniciar Proceso Inscripciones Electores ............................................ 37 3.3.28 Iniciar Servicio Jornada Post-Elección ............................................. 38 3.3.29 Iniciar Servicio Jornada Votación ..................................................... 39 3.3.30 Iniciar servicio de validación biométrica y de código de barras ........ 40 3.3.31 Monitorear el sistema de votación .................................................... 41
3.3.32 Validar el elector en jornada de votación ......................................... 43 3.3.33 Validar mediante lector biométrico y de código de barras en jornada de inscripción ................................................................................................. 44 3.3.34 Almacenar votos .............................................................................. 46
3.3.35 Controlar las elecciones ................................................................... 46 3.3.36 Eliminar la papelería sobrante .......................................................... 47 3.3.37 Generar certificado electoral ............................................................ 48
3.3.38 Inscribir candidato alcaldía ............................................................... 48
3.3.39 Inscribir candidato concejo ............................................................... 49 3.3.40 Inscribir en mesa de votación ........................................................... 50 3.3.41 Llenar el formulario E-24/E-26 ......................................................... 51
3.3.42 Modificar Inscripción alcaldía ........................................................... 53 3.3.43 Realizar Votación ............................................................................. 54
3.3.44 Realizar escrutinio municipal............................................................ 54 3.3.45 Realizar votación alcalde ................................................................. 56 3.3.46 Realizar votación concejo ................................................................ 56
3.3.47 Recibir certificado electoral .............................................................. 57 3.3.48 Recibir certificado inscripción alcaldía ............................................. 58
3.3.49 Recibir certificado inscripción concejo ............................................. 59 3.3.50 Recibir certificado inscripción electoral ............................................ 60
3.3.51 Registrar candidatos alcaldía ........................................................... 61 3.3.52 Registrar candidatos concejo ........................................................... 62 3.3.53 Registrar elector en mesa ................................................................ 64
3.3.54 Registrar mesas de votación del municipio ...................................... 65 3.3.55 Trasladar los votos (arca triclave) .................................................... 66
3.3.56 Validar el número de candidatos a la alcaldía registrados ............... 67 3.3.57 Validar el número de candidatos al concejo registrados .................. 69 3.3.58 Validar el número de electores inscritos aptos para votar ................ 70
3.3.59 Validar el número de mesas para las votaciones ............................. 70
3.3.60 Verificar al elector en el registro de la mesa .................................... 71 3.3.61 Verificar la calidad del escrutinio ...................................................... 71 3.3.62 Vigilar las votaciones ....................................................................... 73
3.3.63 Modificar inscripción concejo ........................................................... 74 4. Atributos de Calidad ........................................................................................ 75
4.1. Seguridad .............................................................................................. 75 4.2. Usabilidad .............................................................................................. 75 4.3. Escalabilidad ......................................................................................... 75 4.4. Persistente ............................................................................................ 76
Se debe registrar todo ingreso del usuario al sistema desde su registro y la interacción que tenga con éste. ..................................................................... 76
4.5. Privacidad .............................................................................................. 76
4.6. Rendimiento .......................................................................................... 76 4.7. Interfaz de usuario ................................................................................. 76 4.8. Fiabilidad ............................................................................................... 76 4.9. Acción anormal ...................................................................................... 76 4.10. Integridad ............................................................................................ 77
4.11. Activos ................................................................................................ 77 BIBLIOGRAFIA ................................................................................................... 77
1 Introducción Crear una solución software siempre debe tener en cuenta los aspectos actuales que posea la organización donde se espera presente una solución; para este proyecto la registraduría municipal de Choachí no es la excepción. De allí que se importante analizar el antes y el después de la registraduría municipal con respecto a la implementación del proceso de voto electrónico en Choachí, de allí que se presente el esquema actual de forma general y se haga aclaración del esquema de casos de uso necesario para dar soporte tanto a las arquitecturas que se plantearan para este proyecto como para la solución software que se llegue a implementar.
1.1 Propósito del Documento El propósito de este documento es definir los casos de uso para el modelo de arquitectura de voto electrónico para el municipio de Choachí, presentando el modelo de casos de uso del estado actual y la propuesta con sus respectivos requerimientos. Es de recordar que la solución que se presentara al final del proyecto a nivel de software tangible será un prototipo de interfaces de usuario de los procesos de inscripción de electores y candidatos así como del proceso de votación.
2 Objetivo general de los casos de uso Se busca identificar el comportamiento deseado de la futura aplicación que se construya basado en el modelo de arquitectura de sistema planteado en el presente proyecto. Se describen el conjunto de secuencias identificadas y la interacción de los elementos tanto externos como los actores con el sistema. Asimismo, se identificarán los roles que tendrá cada actor del sistema; usualmente, un actor representa un rol en el sistema y puede ser una persona, un dispositivo hardware u otro sistema [1].
2.1 Enfoque El enfoque del modelo de arquitectura que se va a proponer es el de un sistema para el voto electrónico construido empleando Web Services.
2.2 Contexto El contexto donde se espera implementar este proyecto es un municipio de sexta categoría donde se nota claramente la ausencia de TI para dar respaldo a la línea estratégica de votación que tiene la registraduría municipal de Choachí. Se espera integrar esta propuesta con el sistema MORPHOCHECK que ya posee la registraduría y que es empleado para el manejo y entrega de los documentos de identidad (Cédulas, tarjetas de identidad)
Casos de Uso Dentro de cada caso de uso se presentan los requerimientos funcionales que lo acompañan (en cada basic path). Al final se presentan los atributos de calidad.
3 Use Case Model v2
Figure 1: Use Case Model v2
3.1 Actores
uc Actors
Alcalde
Auxiliar
Elector
JuezJurado
Registrador municipal
Testigo
Sistema
Candidato
Figure 2: Actores
3.1.1 Alcalde
Este actor interactúa con el sistema solo para el movimiento del arca tri-clave, puesto que el será responsable de una de las 3 llaves que se dan para cuidar los votos.
3.1.2 Auxiliar
Actor escogido por el registrador municipal para que haga algunas funciones que le delega el registrador como ayudarle en la inscripción de electores y candidatos, colaborar en la parte de ubicación de las mesas de votación el día de las elecciones, o servir de ente de control auxiliar del registrador.
3.1.3 Candidato
Actor que aparece 2 veces en todo el proceso electoral: en la inscripción y en las elecciones. La primera vez es en la etapa de inscripción de su candidatura, en ese momento, él puede interactuar con este proceso 2 veces: cuando se inscribe, y cuando desea realizar alguna modificación sobre su inscripción siempre y cuando este dentro de los tiempos establecidos. La segunda vez es en la etapa de votación el día de elecciones, ya que el hecho de ser candidato en ese municipio automáticamente lo registra como
elector habilitado para votar. Salvo que el candidato votara anteriormente fuera del municipio, se le asigna en el momento de la inscripción de su candidatura una mesa para votar.
3.1.4 Elector
Actor esencial para el sistema de votación. Este actor interactúa 2 veces con el sistema: La primera es cuando se va a registrar en la jornada de inscripción de cedulas. Allí el elector da sus datos al registrador o al auxiliar que se encuentre en el sitio de registro, además de esto, presenta la cedula para validar la información que dijo con la de la cedula, hace una impresión de huella dactilar para un formato que llena el registrador o auxiliar y recibe un certificado de inscripción en mesa de votación. La segunda interacción con el sistema es cuando llega la jornada electoral. Allí el elector entrega su cedula al jurado de la respectiva mesa para validar sus datos y así poder recibir los tarjetones respectivos para votar. al terminar esta acción el elector recibe el certificado electoral
3.1.5 Juez
Actor que es designado por el consejo superior de la judicatura para acompañar al registrador municipal en la parte final de las elecciones, en el proceso de escrutinio. Él debe dar validez al escrutinio del registrador y también firmar los formularios que el registrador debe completar para enviar a la Registraduría nacional del estado civil
3.1.6 Jurado
Este actor es elegido al azar por un sistema que tiene la Registraduría Nacional del Estado Civil. Su labor es la de asegurar al elector que está en la mesa correcta para votar, validar esta información que tiene en la planilla versus la cedula del elector, entregarle los tarjetones para votar, entregarle el certificado de votación. Además de esto tiene que llenar unos formularios como jurado de apertura y cierre de la jornada electoral en esa mesa y otro formulario con los resultados del escrutinio previo realizado en la misma mesa
3.1.7 Registrador municipal
Actor con la mayor carga de responsabilidad para las elecciones en todos los procesos (inscripción, elecciones, y post-elecciones) del municipio de Choachí. Este actor interactúa con las 3 partes del proceso: En la primera parte, validando la cantidad de electores inscritos, de candidatos inscritos y de mesas que se registraron. Con esta información, él debe generar un documento para presentar estos resultados a la registraduría nacional del estado civil
En la segunda parte, él es el ente de control de las elecciones. Él debe vigilar todas las mesas, mirar que no se presenten irregularidades, entregar los formularios a los jurados y al final recibirlos. Además de esto, él debe con el alcalde y un juez almacenar la totalidad de los votos en el arca tri-clave para su posterior escrutinio. En la tercera parte, el registrador con los jueces designados abren el arca tri-clave y sacan los votos para hacer el escrutinio final. Allí el registrador debe llenar otros formularios para dar la totalidad de votos por candidato a nivel general y detallado, el cual es enviado luego a la Registraduría nacional del estado civil para dar por concluida la jornada electoral
3.1.8 Sistema
Actor que representa el sistema implementado para dar vida a todos los procesos electorales mediante el voto electrónico en el municipio de Choachí
3.1.9 Testigo
Actor que representa a cualquier persona del municipio que sirve de veedor durante el proceso del escrutinio final del registrador y de los jueces. No interactúa en ninguna otra parte del proceso electoral
3.2 Caso de uso Votación actual uc CU v otacion actual
Votacion Actual Choachí
Proceso post-votaciones
Registro pre-electoral
Inscribir en mesa de
v otacion
Registrar elector en
mesa
Validar el numero de
electores inscritos
aptos para v otar
Registrar mesas de
v otacion del
municipio
Validar el numero de
mesas para las
v otaciones
Elector
Registrador municipalAuxiliar
Jurado
Alcalde
Juez
Testigo
Realizar Votacion
Realizar v otacion
alcalde
Realizar v otacion
concejo
Verificar al elector en el
registro de la mesa
Recibir certificado
electoral
Almacenar v otos
Generar certificado
electoral
Controlar las
elecciones
Vigilar las
v otaciones
Eliminar la papeleria
sobrante
Trasladar los v otos
(arca triclav e)
Realizar escrutinio
municipal
Llenar el formulario
E-24/E-26
Verificar la calidad
del escrutinio
Candidato
Inscribir candidato
concejo
Inscribir candidato
alcaldia
Registrar candidatos
concejo
Registrar candidatos
alcaldia
Validar el numero de
candidatos al concejo
registrados
Validar el numero de
candidatos a la alcaldia
registrados
Modificar Inscripcion
alcaldia
Recibir certificado
inscripcion concejo
Recibir certificado
inscripcion alcaldia
modificar inscripcion
concejo
Recibir certificado
inscripcion electoral
«extend»
«extend»
«include»
«include»
«include»
«extend»
«extend»
«extend»
«extend» «include»
«extend»
«include»
«include»
«extend»
«include»
«extend»
«extend»
«extend»
«include»
«extend»
«extend»
«include»
Figure 4: CU votación actual
3.3 Caso de uso E-vote2 uc CU E-v ote2
Proceso Post-elecciones
modelo Votacion electronica Choachí
Registro pre-elecciones
Elector
(from Actores)
Registrador municipal
(from Actores)
Juez
(from Actores)
Sistema
(from Actores)
Auxiliar
(from Actores)
(from Caso de uso Votacion actual)
Inscribir en mesa de
v otacion
(from Caso de uso Votacion actual)
Validar el numero de
electores inscritos
aptos para v otar
(from Caso de uso Votacion actual)
Validar el numero de
mesas para las
v otaciones
(from Caso de uso Votacion actual)
Registrar elector en
mesa
(from Caso de uso Votacion actual)
Registrar mesas de
v otacion del
municipio
Validar mediante lector
biometrico y de codigo de
barras en jornada de
inscripcion
Iniciar serv icio de
v alidacion biometrica y
de codigo de barras
Almacenar registro
electores en DB
Crear una DB de registro
electores
Validar el elector en
jornada de v otacionIniciar Jornada de
Votacion
(from Caso de uso Votacion actual)
Realizar Votacion
(from Caso de uso Votacion actual)
Realizar v otacion
alcalde
(from Caso de uso Votacion actual)
Realizar v otacion
concejo
(from Caso de uso Votacion actual)
Recibir certificado
electoral
Habilitar acceso a la
interface de v otacion
Crear DB de v otos
Almacenar v otos del
sistema
Generar certificado
electoral
Monitorear el sistema de
v otacion
(from Caso de uso Votacion actual)
Controlar las
elecciones
(from Caso de uso Votacion actual)
Realizar escrutinio
municipal
(from Caso de uso Votacion actual)
Llenar el formulario
E-24/E-26
Almacenar conteo
preliminar
Crear formulario
E-24/E-26
Candidato
(from Caso de uso Votacion actual)
(from Caso de uso Votacion actual)
Inscribir candidato
concejo
(from Caso de uso Votacion actual)
Inscribir candidato
alcaldia
(from Caso de uso Votacion actual)
Registrar candidatos
concejo
(from Caso de uso Votacion actual)
Registrar candidatos
alcaldia
(from Caso de uso Votacion actual)
Validar el numero de
candidatos al concejo
registrados
(from Caso de uso Votacion actual)
Validar el numero de
candidatos a la alcaldia
registrados
(from Caso de uso Votacion actual)
Modificar Inscripcion
alcaldia
(from Caso de uso Votacion actual)
Recibir certificado
inscripcion concejo
(from Caso de uso Votacion actual)
Recibir certificado
inscripcion alcaldia
(from Caso de uso Votacion actual)
modificar inscripcion
concejo
Almacenar registro
candidatos en DB
CerrarProcesoDe
Inscripciones electores
Bajar serv icio de
v alidacion biometrica y
codigo de barras
Iniciar Serv icio
Jornada Votacion
Cerrar Jornada de
Votacion
Bajar Serv icio
Jornada de Votacion
Iniciar Jornada
PostEleccion
Iniciar Serv icio
Jornada
PostEleccion
Cerrar Jornada
PostEleccion
Bajar Serv icio
PostEleccion
Iniciar Proceso
Inscripciones Electores
Almacenar
formularios en DB
Crear una DB de
registro candidatos
Inciar proceso
Inscripciones
candidatos
CerrarProcesoDe
Inscripciones
candidatos
(from Caso de uso Votacion actual)
Recibir certificado
inscripcion electoral
Crear DB de reportes
Generar certificado
inscripcion electoral
Generar certificado
inscripcion concejo
Generar certificado
inscripcion alcaldia
Almacenar reportes
temporalesr
«extend»
«include»
«include»«extend»
«include»
«include»
«include»
«extend»«include»
«include»
«extend»
«include»
«extend»
«extend»
«extend»
«extend»
«extend»
«extend»
«include»
«extend»
«include»
«include»
«include»
«extend»
«extend»
«include»
«extend»
«include»
«extend»
«include»
«include»
«include»
«extend»
«extend»
«extend»
«include»
«include»
«include»
«precedes»
«include»
«extend»
«include»
«include»
«extend»
«extend»
«include» «extend»
«include»
«precedes»
«precedes»
«include»
«include»
«include»
«extend»
«precedes»«extend»
«precedes»
«precedes»
«include»
«invokes»
«include»
«include»
«include»
Figure 3: CU E-vote2
3.3.1 Almacenar conteo preliminar
Responsabilidades (requerimientos) <el sistema debe almacenar el conteo preliminar solicitado por el presidente de la mesa de jurado> - (Proposed, Medium difficulty)
Restricciones <el sistema debe haber iniciado el servicio de jornada de votacion satisfactoriamente>: (Invariant, Status is Approved) <el sistema ha generado el conteo preliminar de la jornada electoral>: (Pre-condition, Status is Approved) <el sistema ha almacenado satisfactoriamente el reporte temporal del conteo preliminar>: (Post-condition, Status is Approved)
Invariant <el sistema debe haber iniciado el servicio de jornada de votación satisfactoriamente>
Status: Approved
Pre-condition
<el sistema ha generado el conteo preliminar de la jornada electoral>
Status: Approved
Post-condition
<el sistema ha almacenado satisfactoriamente el reporte temporal del conteo preliminar>
Status: Approved
3.3.2 Almacenar formularios en DB Responsabilidades (requerimientos)
<el sistema debe crear una DB para almacenar los formularios E-24 generados y llenados> - (Proposed, Medium difficulty) el sistema debe crear una DB para almacenar los formularios E-24 generados y llenados por el registrador
<el sistema debe crear una DB para almacenar los formularios E-26 generados y llenados> - (Proposed, Medium difficulty) el sistema debe crear una DB para almacenar los formularios E-24 generados y llenados por el registrador
Restricciones
<la DB debe inicializarse sin ningun dato para la primera eleccion que se realice>: (Pre-condition, Status is Approved) la DB debe inicializarse sin ningun dato para la primera eleccion que se realice
<La DB debe almacenar los formularios E-24 con numeros consecutivos>: (Invariant, Status is Approved) <La DB debe almacenar los formularios E-24 con numeros consecutivos para su facilidad en el
Restricciones acceso posterior y auditabilidad>
<La DB debe almacenar los formularios E-26 con numeros consecutivos>: (Invariant, Status is Approved) <La DB debe almacenar los formularios E-26 con numeros consecutivos para su facilidad en el acceso posterior y auditabilidad>
<el formulario E-24 ha sido almacenado satisfactoriamente>: (Post-condition, Status is Approved) <el formulario E-24 ha sido almacenado satisfactoriamente con el numero de serie xxxx>
<el formulario E-26 ha sido almacenado satisfactoriamente>: (Post-condition, Status is Approved) <el formulario E-24 ha sido almacenado satisfactoriamente con el numero de registro xxxxx>
<la DB no puede modificar ningun registro almacenado>: (Invariant, Status is Approved) <la DB no puede modificar ningun registro almacenado para garantizar seguridad en el proceso y evitar fraudes>
<la DB despues de haber bajado el servicio de posteleccion quedara inaccesible a todos los usuarios>: (Invariant, Status is Approved)
Pre-condition <la DB debe inicializarse sin ningún dato para la primera elección que se realice> la DB debe inicializarse sin ningún dato para la primera elección que se realice
Status: Approved
Invariant
<La DB debe almacenar los formularios E-24 con números consecutivos> <La DB debe almacenar los formularios E-24 con números consecutivos para su facilidad en el acceso posterior y auditabilidad>
Status: Approved
Invariant
<La DB debe almacenar los formularios E-26 con números consecutivos> <La DB debe almacenar los formularios E-26 con números consecutivos para su facilidad en el acceso posterior y auditabilidad>
Status: Approved
Post-condition
<el formulario E-24 ha sido almacenado satisfactoriamente> <el formulario E-24 ha sido almacenado satisfactoriamente con el número de serie xxxx>
Status: Approved
Post-condition
<el formulario E-26 ha sido almacenado satisfactoriamente> <el formulario E-24 ha sido almacenado satisfactoriamente con el número de registro xxxxx>
Status: Approved
Invariant
<la DB no puede modificar ningún registro almacenado> <la DB no puede modificar ningún registro almacenado para garantizar seguridad en el proceso y evitar fraudes>
Status: Approved
Invariant
<la DB después de haber bajado el servicio de post-elección quedara inaccesible a todos los usuarios>
Status: Approved
3.3.3 Almacenar registro candidatos en DB Responsabilidades (requerimientos)
<almacenar registro de candidatos al concejo y a la alcaldia en la base de datos de la registraduria> - (Proposed, High difficulty) el sistema debe permitir la insercion de datos a los registros previamente creados en la base de datos de la registraduria
Primer requerimiento de Sistema - (Proposed, Medium difficulty) Haber Inciado el proceso Inscripciones candidatos
Restricciones <la base de datos para inscripcion de candidatos debe estar creada>: (Invariant, Status is
Approved)
<el candidato no debe aparecer registrado previamente>: (Pre-condition, Status is Approved)
<el candidato ha sido registrado satisfactoriamente>: (Post-condition, Status is Approved)
<el candidato ha sido modificado satisfactoriamente>: (Post-condition, Status is Approved) el registro de un candidato solo puede ser modificado si el ya existe en la base de datos de inscripcion de candidatos
Scenarios
el candidato va a la registraduria a modificar su inscripcion - Alternate Notes
el sistema modifica la informacion en la base de datos del candidato si ya existia registrado en la base de datos previamente - Alternate Notes
Scenarios
Haber iniciado el proceso Inscripciones candidatos Basic Path Basic Path: 1 el candidato va a la registraduría a inscribirse (independiente de que sea al concejo o a la
alcaldía). 2 el registrador o el auxiliar validan la identidad del candidato.
3 el registrador o el
auxiliar ingresan los datos del candidato al sistema. 4 el sistema almacena en la base de datos la
información de la nueva inscripción si el candidato no existe. Alternate Paths el candidato va a la registraduría a modificar su inscripción: (at
1)
el sistema modifica la información en la base de datos del candidato si ya existía registrado en la base de datos previamente:
Invariant <la base de datos para inscripción de candidatos debe estar creada>
Status: Approved
Pre-condition
<el candidato no debe aparecer registrado previamente>
Status: Approved
Post-condition
<el candidato ha sido registrado satisfactoriamente>
Status: Approved
Post-condition
<el candidato ha sido modificado satisfactoriamente> el registro de un candidato solo puede ser modificado si el ya existe en la base de datos de inscripción de candidatos
Status: Approved
3.3.4 Almacenar registro electores en DB Responsabilidades (requerimientos)
Primer requerimiento de Sistema - (Proposed, Medium difficulty) Haber Inciado el proceso Inscripciones candidatos
Haber iniciado el proceso Inscripciones electores Basic Path
Basic Path: 1 el elector va a la registraduría a inscribirse.
2 el registrador o el auxiliar validan la identidad del
elector. 3 el registrador o el auxiliar ingresan los datos del elector al sistema.
4 el sistema
almacena en la base de datos la información de la nueva inscripción si el elector no existe.
Invariant <la base de datos para inscripción de candidatos debe estar creada>
Status: Approved
Pre-condition
<el candidato no debe aparecer registrado previamente>
Status: Approved
Post-condition
<el candidato ha sido registrado satisfactoriamente>
Status: Approved
3.3.5 Almacenar reportes temporales
Responsabilidades (requerimientos)
<el sistema debe almacenar los reportes de monitoreo generados por el mismo> - (Proposed, Medium difficulty)
Restricciones <el sistema ha generado un monitoreo>: (Pre-condition, Status is Approved)
<el sistema ha almacenado satisfactoriamente el reporte del monitoreo generado>: (Post-condition, Status is Approved)
<el sistema debe haber iniciado el servicio de jornada de votacion satisfactoriamente>: (Invariant, Status is Approved)
Pre-condition
<el sistema ha generado un monitoreo>
Status: Approved
Post-condition
<el sistema ha almacenado satisfactoriamente el reporte del monitoreo generado>
Status: Approved
Invariant
<el sistema debe haber iniciado el servicio de jornada de votación
Status: Approved
satisfactoriamente>
3.3.6 Almacenar votos del sistema
Responsabilidades (requerimientos)
<el sistema debe almacenar los votos generados desde la pagina Web para alcalde> - (Proposed, Medium difficulty) el sistema debe almacenar los votos generados desde la pagina Web para alcalde
<el sistema debe almacenar los votos generados desde la pagina Web para concejo> - (Proposed, Medium difficulty) el sistema debe almacenar los votos generados desde la pagina Web para concejo
Restricciones
<el voto por alcalde fue almacenado satisfactoriamente>: (Post-condition, Status is Approved)
<el voto por concejal fue almacenado satisfactoriamente>: (Post-condition, Status is Approved)
<la DB debe inicializar sin registro alguno>: (Pre-condition, Status is Approved)
<el servidor de jornada de votacion debe haberse inicializado satisfactoriamente>: (Invariant, Status is Approved) Basic Path Basic Path: 1 el sistema recibe el voto de la página Web para alcalde.
2 el sistema almacena el
tiempo, el número de voto, y el candidato seleccionado por alcaldía. 3 el sistema genera
un mensaje de confirmación de almacenamiento de voto por alcalde al elector. 4 el
sistema recibe el voto de la página Web para concejo. 5 el sistema almacena el tiempo,
el número de voto, y el candidato seleccionado por concejo. 6 el sistema genera un
mensaje de confirmación de almacenamiento del voto por concejo al elector.
Post-condition <el voto por alcalde fue almacenado satisfactoriamente>
Status: Approved
Post-condition
<el voto por concejal fue almacenado satisfactoriamente>
Status: Approved
Pre-condition
<la DB debe inicializar sin registro alguno>
Status: Approved
Invariant
<el servidor de jornada de votación debe haberse inicializado satisfactoriamente>
Status: Approved
3.3.7 Bajar Servicio Jornada de Votación
Responsabilidades (requerimientos)
<el sistema debe bajar el servicio jornada de votacion> - (Proposed, Medium difficulty) el sistema debe bajar el servicio jornada de votacion para garantizar que no se hagan mas accesos, almacenamiento ni modificaciones de los registros generados, garantizando seguridad de la informacion. Quien da la orden al sistema es el registrador
Restricciones
<el sistema debe recibir la orden de cerrar la jornada de votacion para bajar el servicio>: (Invariant, Status is Approved)
<el servicio se ha bajado satisfactoriamente>: (Post-condition, Status is Approved)
<el sistema debe haber iniciado el servicio jornada post-eleccion>: (Pre-condition, Status is Approved)
Invariant
<el sistema debe recibir la orden de cerrar la jornada de votación para bajar el servicio>
Status: Approved
Post-condition
<el servicio se ha bajado satisfactoriamente>
Status: Approved
Pre-condition
<el sistema debe haber iniciado el servicio jornada post-elección>
Status: Approved
3.3.8 Bajar Servicio Post-Elección
Responsabilidades (requerimientos)
<el sistema debe bajar el servicio post-eleccion> - (Proposed, Medium difficulty) el sistema debe bajar el servicio post-eleccion para garantizar que no se hagan mas accesos, almacenamiento ni modificaciones de los registros generados por el registrador y los jueces, garantizando seguridad de la informacion. Quien da la orden al sistema es el registrador
Restricciones
<el sistema debe haber iniciado el servicio jornada post-eleccion>: (Pre-condition, Status is Approved)
Restricciones <el servicio se ha bajado satisfactoriamente>: (Post-condition, Status is Approved)
<el sistema debe recibir la orden de cerrar la jornada de post-eleccion para bajar el servicio>: (Invariant, Status is Approved)
Pre-condition
<el sistema debe haber iniciado el servicio jornada post-elección>
Status: Approved
Post-condition <el servicio se ha bajado satisfactoriamente>
Status: Approved
Invariant
<el sistema debe recibir la orden de cerrar la jornada de post-elección para bajar el servicio>
Status: Approved
3.3.9 Bajar servicio de validación biométrica y código de barras Responsabilidades (requerimientos)
<el sistema debe bajar el servicio validacion biometrica y codigo de barras> - (Proposed, Medium difficulty) el sistema debe bajar el servicio validacion biometrica y codigo de barras para garantizar que no se hagan mas accesos, almacenamiento ni modificaciones de los registros generados, garantizando seguridad de la informacion. Quien da la orden al sistema es el registrador
Restricciones
<el sistema debe recibir la orden de cerrar el proceso de inscripcion de electores para bajar el servicio>: (Invariant, Status is Approved)
<el sistema debe recibir la orden de cerrar el proceso de inscripcion de candidatos para bajar el servicio>: (Invariant, Status is Approved)
<el servicio se ha bajado satisfactoriamente>: (Post-condition, Status is Approved)
<el sistema debe haber iniciado el servicio validacion biometrica y de codigo de barras>: (Pre-condition, Status is Approved)
Invariant <el sistema debe recibir la orden de cerrar el proceso de inscripción de electores para bajar el servicio>
Status: Approved
Invariant Status: Approved
<el sistema debe recibir la orden de cerrar el proceso de inscripción de candidatos para bajar el servicio>
Post-condition
<el servicio se ha bajado satisfactoriamente>
Status: Approved
Pre-condition
<el sistema debe haber iniciado el servicio validación biométrica y de código de barras>
Status: Approved
3.3.10 Cerrar Jornada Post-Elección
Responsabilidades (requerimientos)
<el proceso post-eleccion debe permitir el cierre de las actividades y demas procesos> - (Proposed, Medium difficulty) <el proceso post-eleccion debe permitir el cierre de las actividades y demas procesos que se realizan y pertenecen a la jornada de post-eleccion>
Restricciones
<el registrador debe haber iniciado la jornada post-eleccion>: (Pre-condition, Status is Approved)
<el registrador da al sistema la orden de bajar el servicio post-eleccion>: (Pre-condition, Status is Approved)
<la jornada post-eleccion ha sido cerrada satisfactoriamente>: (Post-condition, Status is Approved)
<despues de haber bajado el servicio post-eleccion no puede haber acceso a los datos>: (Invariant, Status is Approved) <despues de haber bajado el servicio post-eleccion no puede haber acceso a los datos salvo solicitud previa de la oficina principal de la registraduria nacional del estado civil> Basic Path Basic Path: 1 el registrador y los jueces declaran el cierre de la jornada post-elección.
2 el
registrador da la orden al sistema de dar de bajar el servicio post-elección.
Pre-condition <el registrador debe haber iniciado la jornada post-elección>
Status: Approved
Pre-condition Status: Approved
<el registrador da al sistema la orden de bajar el servicio post-elección>
Post-condition
<la jornada post-elección ha sido cerrada satisfactoriamente>
Status: Approved
Invariant
<después de haber bajado el servicio post-elección no puede haber acceso a los datos> <después de haber bajado el servicio post-elección no puede haber acceso a los datos salvo solicitud previa de la oficina principal de la registraduría nacional del estado civil>
Status: Approved
3.3.11 Cerrar Jornada de Votación
Responsabilidades (requerimientos)
<el proceso jornada de votacion debe permitir el cierre de las actividades y demas procesos> - (Proposed, Medium difficulty) <el proceso de jornada de votacion debe permitir el cierre de las actividades y demas procesos que se realizan y pertenecen a la jornada de votacion>
Restricciones
<despues de haber bajado el servicio jornada de votacion no puede haber acceso a los datos>: (Invariant, Status is Approved) despues de haber bajado el servicio post-eleccion no puede haber acceso a los datos sino hasta el momento del escrutinio final, donde solo el registrador puede tener la clave de acceso al sistema para mirar esos datos
<el registrador debe haber iniciado la jornada de votacion>: (Pre-condition, Status is Approved)
<el registrador debe haber dado la orden al sistema de bajar el servicio jornada de votacion>: (Pre-condition, Status is Approved)
<la jornada de votacion ha sido cerrada satisfactoriamente>: (Post-condition, Status is Approved)
Basic Path Basic Path: 1 el registrador da la orden de cerrar el tiempo de votación (establece un tiempo de fin
de votaciones previamente y antes de iniciar la jornada). 2 el sistema bloquea cualquier
captura de datos después de la orden del registrador. 3 el sistema genera los cálculos
previos por equipo para el conteo preliminar de los votos. 4 el sistema almacena esos
cálculos como reportes temporales. 5 después de almacenar esos reportes, el
registrador da la orden al sistema de bajar el servicio jornada de votación.
Invariant <después de haber bajado el servicio jornada de votación no puede haber acceso a los datos> después de haber bajado el servicio post-elección no puede haber acceso a los datos sino hasta el momento del escrutinio final, donde solo el registrador puede tener la clave de acceso al sistema para mirar esos datos
Status: Approved
Pre-condition
<el registrador debe haber iniciado la jornada de votación>
Status: Approved
Pre-condition
<el registrador debe haber dado la orden al sistema de bajar el servicio jornada de votación>
Status: Approved
Post-condition
<la jornada de votación ha sido cerrada satisfactoriamente>
Status: Approved
3.3.12 CerrarProcesoDe Inscripciones candidatos
Responsabilidades (requerimientos)
<el proceso jornada de inscripcion de candidatos debe permitir el cierre de las actividades y demas procesos> - (Proposed, Medium difficulty) <el proceso de jornada de inscripcion de candidatos debe permitir el cierre de las actividades y demas procesos que se realizan y pertenecen a la jornada de inscripcion de candidatos>
Restricciones
<despues de haber bajado el servicio de validacion biometrica y detener servicio de codigo de barras no puede haber acceso a los datos>: (Invariant, Status is Approved) despues de haber bajado el servicio validacion biometrica y detener servicio de codigo de barras no puede haber acceso a los datos sino hasta el momento del escrutinio final, donde solo el registrador puede tener la clave de acceso al sistema para mirar esos datos
<el registrador debe haber iniciado la jornada de proceso de inscripcion de candidatos>: (Pre-condition, Status is Approved)
<el registrador debe haber dado la orden al sistema de bajar el servicio validacion biometrica y detener servicio de codigo de barras>: (Pre-condition, Status is Approved)
<la jornada de inscripcion de candidatos ha sido cerrada satisfactoriamente>: (Post-condition, Status is Approved)
Restricciones <la jornada de inscripcion de candidatos ha sido cerrada satisfactoriamente>
Basic Path Basic Path: 1 el registrador da la orden de cerrar el tiempo de inscripción de candidatos (establece
un tiempo de fin de votaciones previamente y antes de iniciar la jornada). 2 el sistema
bloquea cualquier captura de datos después de la orden del registrador. 3 el sistema
genera los informes de candidatos inscritos. 4 el registrador da la orden al sistema de
bajar el servicio validación biométrica y de código de barras.
Invariant <después de haber bajado el servicio de validación biométrica y detener servicio de código de barras no puede haber acceso a los datos> después de haber bajado el servicio validación biométrica y detener servicio de código de barras no puede haber acceso a los datos sino hasta el momento del escrutinio final, donde solo el registrador puede tener la clave de acceso al sistema para mirar esos datos
Status: Approved
Pre-condition
<el registrador debe haber iniciado la jornada de proceso de inscripción de candidatos>
Status: Approved
Pre-condition
<el registrador debe haber dado la orden al sistema de bajar el servicio validación biométrica y detener servicio de código de barras>
Status: Approved
Post-condition
<la jornada de inscripción de candidatos ha sido cerrada satisfactoriamente> <la jornada de inscripción de candidatos ha sido cerrada satisfactoriamente>
Status: Approved
3.3.13 CerrarProcesoDe Inscripciones electores
Responsabilidades (requerimientos)
<el proceso jornada de inscripcion de electores debe permitir el cierre de las actividades y demas procesos> - (Proposed, Medium difficulty) <el proceso de jornada de inscripcion de electores debe permitir el cierre de las actividades y demas procesos que se realizan y pertenecen a la jornada de inscripcion de electores>
Restricciones
<despues de haber bajado el servicio de validacion biometrica y detener servicio de codigo de barras no puede haber acceso a los datos>: (Invariant, Status is Approved) despues de haber bajado el servicio validacion biometrica y detener servicio de codigo de barras no puede haber acceso a los datos sino hasta el momento del escrutinio final, donde solo el registrador puede tener la clave de acceso al sistema para mirar esos datos
<el registrador debe haber iniciado la jornada de proceso de inscripcion de candidatos> : (Pre-condition, Status is Approved)
<el registrador debe haber dado la orden al sistema de bajar el servicio validacion biometrica y detener servicio de codigo de barras>: (Pre-condition, Status is Approved)
<la jornada de inscripcion de electores ha sido cerrada satisfactoriamente>: (Post-condition, Status is Approved) Basic Path Basic Path: 1 el registrador da la orden de cerrar el tiempo de inscripción de electores (establece un
tiempo de fin de votaciones previamente y antes de iniciar la jornada). 2 el sistema
bloquea cualquier captura de datos después de la orden del registrador. 3 el sistema
genera los informes de electores inscritos. 4 el registrador da la orden al sistema de
bajar el servicio validación biométrica y de código de barras.
Invariant <después de haber bajado el servicio de validación biométrica y detener servicio de código de barras no puede haber acceso a los datos> después de haber bajado el servicio validación biométrica y detener servicio de código de barras no puede haber acceso a los datos sino hasta el momento del escrutinio final, donde solo el registrador puede tener la clave de acceso al sistema para mirar esos datos
Status: Approved
Pre-condition
<el registrador debe haber iniciado la jornada de proceso de inscripción de candidatos>
Status: Approved
Pre-condition
<el registrador debe haber dado la Status: Approved
orden al sistema de bajar el servicio validación biométrica y detener servicio de código de barras>
Post-condition
<la jornada de inscripción de electores ha sido cerrada satisfactoriamente>
Status: Approved
3.3.14 Crear DB de reportes Responsabilidades (requerimientos)
<el sistema debe crear una DB para almacenar los reportes> - (Proposed, Medium difficulty) <el sistema debe crear una DB para almacenar los reportes>
Restricciones <el servicio de jornada de votacion debio haberse inicializado satisfactoriamente>: (Invariant,
Status is Approved)
<la DB debe crearse sin ningun registro>: (Pre-condition, Status is Approved)
<la DB ha sido creada satisfactoriamente>: (Post-condition, Status is Approved)
Invariant
<el servicio de jornada de votación debió haberse inicializado satisfactoriamente>
Status: Approved
Pre-condition
<la DB debe crearse sin ningún registro>
Status: Approved
Post-condition
<la DB ha sido creada satisfactoriamente>
Status: Approved
3.3.15 Crear DB de votos Responsabilidades (requerimientos)
Responsabilidades (requerimientos) <el sistema debe crear una DB para almacenar los votos generados durante la jornada> -
(Proposed, Medium difficulty) el sistema debe crear una DB para almacenar los votos generados durante la jornada
Restricciones
<el servicio de jornada de votacion debe haberse iniciado satisfactoriamente>: (Invariant, Status is Approved)
<la DB debe crearse sin registro alguno>: (Pre-condition, Status is Approved)
<la DB ha sido creada satisfactoriamente>: (Post-condition, Status is Approved)
Invariant <el servicio de jornada de votación debe haberse iniciado satisfactoriamente>
Status: Approved
Pre-condition
<la DB debe crearse sin registro alguno>
Status: Approved
Post-condition
<la DB ha sido creada satisfactoriamente>
Status: Approved
3.3.16 Crear formulario E-24/E-26 Responsabilidades (requerimientos)
<el sistema debe crear el formulario E-24 de la jornada electoral> - (Proposed, Medium difficulty) el sistema debe crear el formulario E-24 para publicacion de resultados de la jornada electoral
<el sistema debe crear el formulario E-26 de la jornada electoral> - (Proposed, Medium difficulty) el sistema debe crear el formulario E-26 para publicacion de resultados de la jornada electoral
Restricciones el sistema debe haber cerrado la jornada de votación: (Invariant, Status is Approved)
<el unico usuario que puede generar estos formularios es el registrador>: (Invariant, Status is Approved)
<se ha creado satisfactoriamente el formulario E-24>: (Post-condition, Status is Approved)
<se ha creado satisfactoriamente el formulario E-26>: (Post-condition, Status is Approved)
Responsabilidades (requerimientos) < la jornada post-eleccion esta iniciada>: (Pre-condition, Status is Approved)
Basic Path Basic Path: 1 se da inicio a la jornada post-elección en el sistema.
2 el sistema pide el login del
usuario, el cual debe ser el registrador/juez para poder acceder al menú post-elecciones.
3 el registrador/juez solicita la creación del formulario E-24 / E-26.
4 el
sistema genera el formato para que lo llene el registrador/juez vía Web.
Invariant el sistema debe haber cerrado la jornada de votación
Status: Approved
Invariant
<el único usuario que puede generar estos formularios es el registrador>
Status: Approved
Post-condition
<se ha creado satisfactoriamente el formulario E-24>
Status: Approved
Post-condition
<se ha creado satisfactoriamente el formulario E-26>
Status: Approved
Pre-condition
< la jornada post-elección esta iniciada>
Status: Approved
3.3.17 Crear una DB de registro candidatos
Responsabilidades (requerimientos)
<crear una base de datos para almacenar los registros de los candidatos ingresados por el sistema> - (Proposed, High difficulty) el sistema (software o formulario Web) debe crear una base de datos nueva para almacenar toda la informacion de inscripcion de los candidatos.
<mantener la base de datos creada para el registro de inscripciones de candidatos> - (Proposed, High difficulty) el sistema debe permitir accesar la base de datos de inscripcion de candidatos para insercion y modificacion en cualquier momento, siempre y cuando este habilitado el tiempo de inscripcion
Restricciones <el registrador debe autorizar la creacion de la base de datos para inscripcion de candidatos>:
(Invariant, Status is Approved) solo el registrador puede autorizar la creacion de la base de datos para inscripcion de candidatos. Ademas esta base de datos debe ser independiente de cualquier otra base de datos que se utilize para el proceso electoral.
<solo los roles permitidos pueden accesar a la base de datos para realizar inserciones o modificaciones>: (Invariant, Status is Approved)
<el sistema tiene acceso a la base de datos de inscripcion de candidatos>: (Pre-condition, Status is Approved)
<el sistema creo efectivamente el registro de un nuevo candidato>: (Post-condition, Status is Approved)
<el sistema modifico efectivamente el registro del candidato>: (Post-condition, Status is Approved)
Scenarios
el registrador o el auxiliar solicita la modificacion de un candidato – Alternate Notes
el sistema entrega mensaje de confirmacion de la modificacion del registro del candidato siempre y cuando este exista en la base de datos – Alternate
Basic Path Basic Path: 1 el registrador autoriza la creación de la base de datos para la inscripción de
candidatos. 2 el sistema confirma el acceso a la base de datos.
3 el registrador o el
auxiliar ingresan un registro de un candidato. 4 el sistema entrega mensaje de
confirmación o negación de la creación del registro del nuevo candidato. Alternate Paths el registrador o el auxiliar solicita la modificación de un candidato: el sistema entrega mensaje de confirmación de la modificación del registro del candidato siempre y cuando este exista en la base de datos:
Invariant <el registrador debe autorizar la creación de la base de datos para inscripción de candidatos> Solo el registrador puede autorizar la creación de la base de datos para inscripción de candidatos. Además esta base de datos debe ser independiente de cualquier otra base de datos que se utilice para el proceso electoral.
Status: Approved
Invariant
<solo los roles permitidos pueden Status: Approved
acceder a la base de datos para realizar inserciones o modificaciones>
Pre-condition
<el sistema tiene acceso a la base de datos de inscripción de candidatos>
Status: Approved
Post-condition
<el sistema creo efectivamente el registro de un nuevo candidato>
Status: Approved
Post-condition
<el sistema modifico efectivamente el registro del candidato>
Status: Approved
3.3.18 Crear una DB de registro electores
Responsabilidades (requerimientos)
<el sistema debe crear una DB para almacenar los registros de electores generados durante la jornada> - (Proposed, Medium difficulty) el sistema debe crear una DB para almacenar los registros de electores generados durante la jornada
Restricciones
<el servicio de jornada de inscripcion de electores debe haberse iniciado satisfactoriamente>: (Invariant, Status is Approved)
<la DB debe crearse sin registro alguno>: (Pre-condition, Status is Approved)
<la DB ha sido creada satisfactoriamente>: (Post-condition, Status is Approved)
Invariant
<el servicio de jornada de inscripción de electores debe haberse iniciado satisfactoriamente>
Status: Approved
Pre-condition
<la DB debe crearse sin registro alguno>
Status: Approved
Post-condition
<la DB ha sido creada satisfactoriamente>
Status: Approved
3.3.19 Generar certificado electoral Responsabilidades (requerimientos)
<el sistema debe generar un documento que permita al elector certificarlo de haber ejercido su derecho al voto> - (Proposed, Medium difficulty) el sistema debe generar un documento con el nombre del elector, el nombre del municipio, la fecha y hora de votacion, el numero de mesa y el lugar de votacion donde voto el elector
Restricciones
<el sistema genero satisfactoriamente el certificado electoral>: (Post-condition, Status is Approved)
<el sistema no ha generado certificado electoral a el elector previamente>: (Pre-condition, Status is Approved)
<el sistema debe generar los certificados con numeracion continua>: (Invariant, Status is Approved) el sistema debe generar los certificados con numeracion continua para garantizar seguridad y permitir futuras auditorias
<un certificado para una misma persona no puede ser generado 2 veces>: (Invariant, Status is Approved) Basic Path Basic Path: 1 el elector antes de poder ejercer su voto es validado por el sistema.
2 después de
realizado los votos, el sistema utiliza estos datos para generar el certificado electoral con los datos de mesa, puesto de votación, fecha y hora, y nombre del elector.
Post-condition <el sistema genero satisfactoriamente el certificado electoral>
Status: Approved
Pre-condition
<el sistema no ha generado certificado electoral al elector previamente>
Status: Approved
Invariant
<el sistema debe generar los certificados con numeración
Status: Approved
continua> el sistema debe generar los certificados con numeración continua para garantizar seguridad y permitir futuras auditorias
Invariant
<un certificado para una misma persona no puede ser generado 2 veces>
Status: Approved
3.3.20 Generar certificado inscripción alcaldía
Responsabilidades (requerimientos) <el sistema debe generar un documento que permita al candidato certificarlo de su inscripcion satisfactoria a la alcaldia> - (Proposed, Medium difficulty)
Basic Path Basic Path: 1 el candidato a la alcaldía es validado por el sistema para poderlo registrar en una
mesa de votación. 2 después de confirmado el registro, el sistema utiliza estos datos
para generar el certificado de inscripción del candidato a la alcaldía con los datos de mesa, puesto de votación, fecha y hora, y nombre del elector.
3.3.21 Generar certificado inscripción concejo
Responsabilidades (requerimientos)
<el sistema debe generar un documento que permita al candidato certificarlo de su inscripcion satisfactoria al concejo> - (Proposed, Medium difficulty)
Restricciones <el sistema genero satisfactoriamente el certificado electoral>: (Post-condition, Status is
Approved)
<el sistema no ha generado certificado electoral a el elector previamente>: (Pre-condition, Status is Approved)
<el sistema debe generar los certificados con numeracion continua>: (Invariant, Status is Approved) el sistema debe generar los certificados con numeracion continua para garantizar seguridad y permitir futuras auditorias
<un certificado para una misma persona no puede ser generado 2 veces>: (Invariant, Status is Approved)
Responsabilidades (requerimientos)
Basic Path Basic Path: 1 el candidato al concejo es validado por el sistema para poderlo registrar en una mesa
de votación. 2 después de confirmado el registro, el sistema utiliza estos datos para
generar el certificado de inscripción al concejo con los datos de mesa, puesto de votación, fecha y hora, y nombre del elector.
Post-condition <el sistema genero satisfactoriamente el certificado electoral>
Status: Approved
Pre-condition
<el sistema no ha generado certificado electoral al elector previamente>
Status: Approved
Invariant
<el sistema debe generar los certificados con numeración continua> el sistema debe generar los certificados con numeración continua para garantizar seguridad y permitir futuras auditorias
Status: Approved
Invariant
<un certificado para una misma persona no puede ser generado 2 veces>
Status: Approved
3.3.22 Generar certificado inscripción electoral Responsabilidades (requerimientos)
<el sistema debe generar un documento que permita al elector certificarlo de haberse inscrito para votar> - (Proposed, Medium difficulty)
Restricciones <el sistema genero satisfactoriamente el certificado electoral>: (Post-condition, Status is
Approved)
<el sistema no ha generado certificado electoral a el elector previamente>: (Pre-condition, Status is Approved)
Responsabilidades (requerimientos) <el sistema debe generar los certificados con numeracion continua>: (Invariant, Status is
Approved) el sistema debe generar los certificados con numeracion continua para garantizar seguridad y permitir futuras auditorias
<un certificado para una misma persona no puede ser generado 2 veces>: (Invariant, Status is Approved) Basic Path Basic Path: 1 el elector es validado por el sistema para poderlo registrar en una mesa de votación.
2
después de confirmado el registro, el sistema utiliza estos datos para generar el certificado de inscripción electoral con los datos de mesa, puesto de votación, fecha y hora, y nombre del elector.
Post-condition <el sistema genero satisfactoriamente el certificado electoral>
Status: Approved
Pre-condition
<el sistema no ha generado certificado electoral al elector previamente>
Status: Approved
Invariant
<el sistema debe generar los certificados con numeración continua> el sistema debe generar los certificados con numeración continua para garantizar seguridad y permitir futuras auditorias
Status: Approved
Invariant
<un certificado para una misma persona no puede ser generado 2 veces>
Status: Approved
3.3.23 Habilitar acceso a la interface de votación
Responsabilidades (requerimientos)
<el sistema debe tener una interfaz para que los votantes puedan realizar su voto via web> - (Proposed, Medium difficulty) <el sistema debe tener una interfaz de acceso y una pagina web de votacion para que los votantes puedan realizar su voto via web>
Restricciones <el servicio de jornada de votacion debe haberse inicializado satisfactoriamente>: (Invariant,
Status is Approved)
<el elector solo puede accesar una vez a la interfaz de votacion>: (Invariant, Status is Approved) el elector solo puede accesar una vez a la interfaz de votacion para realizar la votacion por alcalde y por concejal, permitiendo ser este acceso una forma mas para otorgar seguridad y evitar fraude electoral
<el elector no ha accesado a la interfaz de votacion>: (Pre-condition, Status is Approved)
<el elector ha accesado satisfactoriamente a la interfaz de votacion>: (Post-condition, Status is Approved) Basic Path Basic Path: 1 el sistema habilita una interfaz para permitir el acceso a la votación.
2 una vez
habilitada, el elector puede seleccionar en el orden que él quiera la votación que va a realizar: ya sea por alcalde o por concejal.
3 una vez realizada una de las votaciones, el
sistema envía directamente a la otra página de votación al elector sin tener que devolverlo a la interfaz de acceso.
4 una vez realizada las 2 votaciones, el sistema
genera un registro del elector que ya voto. 5 de esta forma si algún elector se presenta
con el mismo nombre y cedula con la intención de cambiar su voto o generar fraude, el sistema rechazara la petición del mismo para poder votar.
Invariant <el servicio de jornada de votación debe haberse inicializado satisfactoriamente>
Status: Approved
Invariant
<el elector solo puede acceder una vez a la interfaz de votación> el elector solo puede acceder una vez a la interfaz de votación para realizar la votación por alcalde y por concejal, permitiendo ser este acceso una forma más para otorgar seguridad y evitar fraude electoral
Status: Approved
Pre-condition
<el elector no ha accedido a la interfaz de votación>
Status: Approved
Post-condition
<el elector ha accedido satisfactoriamente a la interfaz de votación>
Status: Approved
3.3.24 Iniciar proceso Inscripciones candidatos
Responsabilidades (requerimientos)
<el proceso iniciar proceso inscripciones candidatos debe permitir el inicio de las actividades y demas procesos> - (Proposed, Medium difficulty) el proceso iniciar proceso Inscripciones candidatos debe permitir el inicio de las actividades y demas procesos que se presentan y pertenecen a la jornada de inscripcion de candidatos
Restricciones
<el proceso de inicializacion de la jornada de inscripcion de candidatos fue satisfactorio>: (Post-condition, Status is Approved)
<no se ha iniciado el proceso de inscripcion de candidatos>: (Pre-condition, Status is Approved)
<el proceso de inscripcion de candidatos se inicia bajo orden explicita de la registraduria nacional del estado civil>: (Invariant, Status is Approved) el proceso de inscripcion de candidatos se inicia bajo orden explicita de la registraduria nacional del estado civil durante el lapso de tiempo determinado por ellos
Post-condition
<el proceso de inicialización de la jornada de inscripción de candidatos fue satisfactorio>
Status: Approved
Pre-condition
<no se ha iniciado el proceso de inscripción de candidatos>
Status: Approved
Invariant
<el proceso de inscripción de candidatos se inicia bajo orden explicita de la registraduría nacional del estado civil> el proceso de inscripción de candidatos se inicia bajo orden explicita de la registraduría nacional del estado civil durante el lapso de tiempo determinado por ellos
Status: Approved
3.3.25 Iniciar Jornada Post-Elección
Responsabilidades (requerimientos)
<el proceso post-eleccion debe permitir el inicio de las actividades y demas procesos> - (Proposed, Medium difficulty) <el proceso post-eleccion debe permitir el inicio de las actividades y demas procesos que se presentan y pertenecen a la jornada post-eleccion>
Restricciones
<el sistema debe haber bajado el servicio de jornada de votacion>: (Invariant, Status is Approved) el sistema debe haber bajado el servicio de jornada de votacion para poder iniciar la jornada post-eleccion
<la jornada de votacion debe estar cerrada>: (Pre-condition, Status is Approved)
<el servicio de jornada post-eleccion ha iniciado satisfactoriamente: (Post-condition, Status is Approved) Basic Path Basic Path: 1 la jornada de votación es cerrada por el registrador.
2 el conteo previo el día de
votación se da por terminador por orden del registrador. 3 el registrador al recibir el arca
triclave en el sitio designado previamente, autoriza el inicio de la jornada post-elección.
Invariant <el sistema debe haber bajado el servicio de jornada de votación> el sistema debe haber bajado el servicio de jornada de votación para poder iniciar la jornada post-elección
Status: Approved
Pre-condition
<la jornada de votación debe estar cerrada>
Status: Approved
Post-condition
<el servicio de jornada post-elección ha iniciado satisfactoriamente
Status: Approved
3.3.26 Iniciar Jornada de Votación Responsabilidades (requerimientos)
<el proceso iniciar jornada de votacion debe permitir el inicio de las actividades y demas procesos> - (Proposed, Medium difficulty) el proceso iniciar jornada de votacion debe permitir el inicio de las actividades y demas procesos que se presentan y pertenecen a la jornada de votacion
Restricciones
<haber cerrado el proceso de inscripciones de electores>: (Invariant, Status is Approved)
<haber cerrado el proceso de inscripcion de candidatos>: (Invariant, Status is Approved)
Restricciones <debe haber registrado candidatos para poder dar inicio a la jornada de votacion>: (Pre-
condition, Status is Approved)
<el proceso de inicializacion de la jornada de votacion fue satisfactorio>: (Post-condition, Status is Approved)
Invariant
<haber cerrado el proceso de inscripciones de electores>
Status: Approved
Invariant
<haber cerrado el proceso de inscripción de candidatos>
Status: Approved
Pre-condition
<debe haber registrado candidatos para poder dar inicio a la jornada de votación>
Status: Approved
Post-condition
<el proceso de inicialización de la jornada de votación fue satisfactorio>
Status: Approved
3.3.27 Iniciar Proceso Inscripciones Electores Responsabilidades (requerimientos)
<el proceso iniciar proceso inscripciones electores debe permitir el inicio de las actividades y demas procesos> - (Proposed, Medium difficulty) el proceso iniciar proceso Inscripciones electores debe permitir el inicio de las actividades y demas procesos que se presentan y pertenecen a la jornada de inscripcion de electores
Restricciones
<no se ha iniciado el proceso de inscripcion de electores>: (Pre-condition, Status is Approved)
<el proceso de inicializacion de la jornada de inscripcion de electores fue satisfactorio>: (Post-condition, Status is Approved)
<el proceso de inscripcion de candidatos se inicia bajo orden explicita de la registraduria nacional del estado civil>: (Invariant, Status is Approved) el proceso de inscripción de candidatos se inicia bajo orden explicita de la registraduria nacional del estado civil durante el lapso de tiempo determinado por ellos
Pre-condition <no se ha iniciado el proceso de inscripción de electores>
Status: Approved
Post-condition
<el proceso de inicialización de la jornada de inscripción de electores fue satisfactorio>
Status: Approved
Invariant
<el proceso de inscripción de candidatos se inicia bajo orden explicita de la registraduría nacional del estado civil> el proceso de inscripción de candidatos se inicia bajo orden explicita de la registraduría nacional del estado civil durante el lapso de tiempo determinado por ellos
Status: Approved
3.3.28 Iniciar Servicio Jornada Post-Elección
Responsabilidades (requerimientos)
<el sistema debe iniciar el servicio de jornada post-eleccion> - (Proposed, Medium difficulty) el sistema debe iniciar el servicio de jornada post-eleccion para permitir acceder a los reportes temporales del sistema de votaciones y permitir realizar el escrutinio y la generacion, llenado y almacenamiento de los formularios E-24 y e-26
Restricciones
<debe haberse iniciado la jornada post-eleccion>: (Invariant, Status is Approved)
<el servicio ha iniciado satisfactoriamente>: (Post-condition, Status is Approved)
<no debe haberse iniciado el servicio jornada post-eleccion>: (Pre-condition, Status is Approved)
Invariant
<debe haberse iniciado la jornada post-elección>
Status: Approved
Post-condition
<el servicio ha iniciado satisfactoriamente>
Status: Approved
Pre-condition Status: Approved
<no debe haberse iniciado el servicio jornada post-elección>
3.3.29 Iniciar Servicio Jornada Votación Responsabilidades (requerimientos)
<el sistema debe iniciar el servicio de jornada de votacion para permitir a los electores realizar su voto> - (Proposed, Medium difficulty) el sistema debe iniciar el servicio de jornada de votacion para permitir a los electores realizar su voto y que este sea almacenado. A su vez que les genere un certificado de votacion electoral personalizado>
Restricciones
<debe estar garantizada la conexion entre todos los equipos disponibles para la jornada electoral>: (Invariant, Status is Approved)
<debe haberse iniciado la jornada de votacion>: (Pre-condition, Status is Approved)
<el servicio jornada de votacion ha iniciado satisfactoriamente>: (Post-condition, Status is Approved) Basic Path Basic Path: 1 el registrador da inicio a la jornada de votación.
2 al dar inicio a la jornada de votación,
el sistema da inicio al servicio de jornada de votación. 3 el servicio de jornada de
votación habilitara las paginas e interfaces para que los electores puedan votar. 4 el
servicio crea también la base de datos para almacenar los votos que se realicen en ese punto de votación.
5 el sistema permitirá al registrador o un auxiliar delegado revisar
todo el tiempo el funcionamiento de los puestos de votación con un monitoreo del sistema.
6 el sistema generara reportes temporales de las elecciones.
7 el sistema
generara los certificados electorales de los electores.
Invariant <debe estar garantizada la conexión entre todos los equipos disponibles para la jornada electoral>
Status: Approved
Pre-condition
<debe haberse iniciado la jornada de votación>
Status: Approved
Post-condition
<el servicio jornada de votación ha iniciado satisfactoriamente>
Status: Approved
3.3.30 Iniciar servicio de validación biométrica y de código de barras Responsabilidades (requerimientos)
<el sistema debe iniciar el servicio de validacion biometrica y de codigo de barras para permitir a los candidatos inscribirse> - (Proposed, Medium difficulty) el sistema debe iniciar el servicio de validacion biometrica y de codigo de barras para permitir a los candidatos inscribirse y que este sea almacenado. A su vez que les genere un certificado de votacion electoral personalizado>
<el sistema debe iniciar el servicio de validacion biometrica y de codigo de barras para permitir a los electores inscribirse> - (Proposed, Medium difficulty) el sistema debe iniciar el servicio de validacion biometrica y de codigo de barras para permitir a los electores inscribirse y que este sea almacenado. A su vez que les genere un certificado de votacion electoral personalizado>
Restricciones
<debe estar garantizada la conexion entre todos los equipos disponibles para la jornada de inscripcion electoral>: (Invariant, Status is Approved)
<debe haberse iniciado la jornada de inscripcion de candidatos>: (Pre-condition, Status is Approved)
<debe haberse iniciado la jornada de inscripcion de electores>: (Pre-condition, Status is Approved)
<el servicio de validacion biometrica y de codigo de barras ha iniciado satisfactoriamente>: (Post-condition, Status is Approved)
Scenarios
electores – Alternate
Basic Path Basic Path: 1 el registrador da inicio a la jornada de inscripción de candidatos.
2 al dar inicio a la
jornada de inscripción de candidatos, el sistema da inicio al servicio de validación biométrica y código de barras.
3 el servicio de jornada de votación habilitara las paginas
e interfaces para que los candidatos puedan ser registrados. 4 el servicio crea también
la base de datos para almacenar las inscripciones de candidatos que se realicen. 5 el
sistema generara los certificados de inscripción de los candidatos. 6 el sistema
generara reportes de las inscripciones de los candidatos. Alternate Paths electores: (at
1)
El registrador da inicio a la jornada de inscripción de electores. Al dar inicio a la jornada de inscripción de electores, el sistema da inicio al servicio de validación biométrica y código de barras. El servicio de jornada de votación habilitara las páginas e interfaces para que los electores puedan ser registrados. El servicio crea también la base de datos para almacenar las inscripciones de electores que se realicen. El sistema generara los certificados de inscripción de los electores. El sistema generara reportes de las inscripciones de los electores.
Invariant <debe estar garantizada la conexión entre todos los equipos disponibles para la jornada de inscripción electoral>
Status: Approved
Pre-condition
<debe haberse iniciado la jornada de inscripción de candidatos>
Status: Approved
Pre-condition
<debe haberse iniciado la jornada de inscripción de electores>
Status: Approved
Post-condition
<el servicio de validación biométrica y de código de barras ha iniciado satisfactoriamente>
Status: Approved
3.3.31 Monitorear el sistema de votación
Responsabilidades (requerimientos)
<el sistema debe generar reportes de los conteos preliminares> - (Proposed, Medium difficulty) el sistema debe generar reportes de los conteos preliminares
<el sistema debe generar reportes de los monitoreos del sistema> - (Proposed, Medium difficulty) <el sistema debe generar reportes temporales de lo transcurrido durante el tiempo en que el servicio jornada de votacion esta activo.
<el sistema debe permitir el conteo preliminar de los votos> - (Proposed, Medium difficulty) el sistema debe permitir el conteo preliminar de los votos despues de que el registrador de la orden de no permitir mas capturas de votos
<el sistema debe permitir el monitoreo del sistema de votacion> - (Proposed, Medium difficulty) <el sistema debe permitir el monitoreo del sistema de votacion durante todo el tiempo de duracion de la jornada electoral y el conteo preliminar>
Restricciones
<el servicio de jornada de votacion debe haber iniciado satisfactoriamente>: (Invariant, Status is Approved)
<la DB de votos debe estar funcionando satisfactoriamente>: (Invariant, Status is Approved)
<el sistema no ha sido monitoreado>: (Pre-condition, Status is Approved)
Restricciones <se ha solicitado un nuevo monitoreo>: (Pre-condition, Status is Approved)
<el sistema ha realizado el monitoreo donde no se presenta anomalias>: (Post-condition, Status is Approved)
<el sistema no ha realizado ningun conteo preliminar>: (Pre-condition, Status is Approved)
<el sistema ha realizado satisfactoriamente el conteo preliminar de votos>: (Post-condition, Status is Approved)
Scenarios
el sistema genera un reporte con el total de votos y lo almacena en la DB de reportes y conteo - Exception Notes
el sistema contabiliza todos los votos que fueron almacenados por equipo - Exception Notes
conteo preliminar – Alternate Notes
Basic Path Basic Path: 1 el registrador solicita al sistema un reporte de cómo van las votaciones.
2 el sistema
realiza monitoreos sobre cada uno de los equipos realizados. 3 el sistema entrega un
mensaje de información, y a la vez un reporte completo almacenado en la base de datos de reportes y conteo. Alternate Paths conteo preliminar: (at
1)
El registrador solicita el conteo preliminar de datos. El sistema contabiliza todos los votos que fueron almacenados por equipo. El sistema genera un reporte con el total de votos y lo almacena en la DB de reportes y conteo. Exceptions el sistema genera un reporte con el total de votos y lo almacena en la DB de reportes y conteo: el sistema contabiliza todos los votos que fueron almacenados por equipo:
Invariant <el servicio de jornada de votación debe haber iniciado satisfactoriamente>
Status: Approved
Invariant <la DB de votos debe estar funcionando satisfactoriamente>
Status: Approved
Pre-condition
<el sistema no ha sido monitoreado>
Status: Approved
Pre-condition
<se ha solicitado un nuevo monitoreo>
Status: Approved
Post-condition
<el sistema ha realizado el monitoreo donde no se presenta anomalías>
Status: Approved
Pre-condition
<el sistema no ha realizado ningún conteo preliminar>
Status: Approved
Post-condition
<el sistema ha realizado satisfactoriamente el conteo preliminar de votos>
Status: Approved
3.3.32 Validar el elector en jornada de votación Responsabilidades (requerimientos)
<el sistema debe validar al elector antes de permitirle realizar su voto> - (Proposed, Medium difficulty) el sistema debe validar al elector antes de permitirle realizar su voto mediante la comparacion de la informacion con los datos almacenados en la DB de registro de electores
Restricciones
<debe estar disponible la DB de registro de electores>: (Invariant, Status is Approved)
<debe haber iniciado el servicio de jornada de votacion satisfactoriamente>: (Invariant, Status is Approved)
Restricciones <el usuario no ha sido validado>: (Pre-condition, Status is Approved)
<el usuario fue validado satisfactoriamente mediante la DB y es apto para votar>: (Post-condition, Status is Approved) Basic Path Basic Path: 1 el elector se acerca al puesto de votación.
2 se validan los datos del elector en el
sistema. 3 el sistema compara los datos con la DB de registro de electores.
4 si el
elector está en la base recibirá una confirmación el sistema. 5 se le avisa al elector que
puede votar sin inconvenientes.
Invariant <debe estar disponible la DB de registro de electores>
Status: Approved
Invariant
<debe haber iniciado el servicio de jornada de votación satisfactoriamente>
Status: Approved
Pre-condition
<el usuario no ha sido validado>
Status: Approved
Post-condition
<el usuario fue validado satisfactoriamente mediante la DB y es apto para votar>
Status: Approved
3.3.33 Validar mediante lector biométrico y de código de barras en jornada de inscripción
Responsabilidades (requerimientos)
<verificar que el candidato sea un ciudadano colombiano> - (Proposed, Medium difficulty) el sistema de validacion biometrica debe permitr verificar que el candidato que se esta presentando sea la persona quien dice ser, mediante la validacion de los datos de la cedula con los de la base de datos central de la registraduría
<verificar que el elector sea un ciudadano colombiano> - (Proposed, Medium difficulty)
Responsabilidades (requerimientos) Primer requerimiento de Sistema - (Proposed, Medium difficulty)
Haber Inciado el proceso Inscripciones candidatos
Restricciones <el lector biometrico debe tener actualizado el acceso a la base de datos de la registraduria
nacional>: (Invariant, Status is Approved)
<el candidato debe presentar la cedula del holograma y codigo de barras>: (Pre-condition, Status is Approved) el sistema de lector biometrico y codigo de barras solo reconoce las ultimas cedulas: las de holograma y codigo de barras. Cualquier otra cedula no sera leida y por tanto no se permitira el registro del candidato
<la cedula presentada existe en el sistema, el ciudadano esta confirmado que existe>: (Post-condition, Status is Approved)
Scenarios
en caso de no ser confirmada la cedula, el registrador no procedera con el registro del aspirante a candidato - Alternate
Basic Path Basic Path: 1 Antes de registrar al candidato, el registrador pasa la cedula del candidato por el
validador biométrico y de código de barras. 2 en caso de ser confirmada la cedula, el
registrador continuara con el proceso de registro del candidato. Alternate Paths en caso de no ser confirmada la cedula, el registrador no procederá con el registro del aspirante a candidato:
Invariant <el lector biométrico debe tener actualizado el acceso a la base de datos de la registraduría nacional>
Status: Approved
Pre-condition
<el candidato debe presentar la cedula del holograma y código de barras> El sistema de lector biométrico y código de barras solo reconoce las últimas cedulas: las de holograma y código de barras. Cualquier otra cedula no será leída y por tanto no se permitirá el registro del candidato
Status: Approved
Post-condition
<la cedula presentada existe en el sistema, el ciudadano está
Status: Approved
confirmado que existe>
3.3.34 Almacenar votos
Responsabilidades (requerimientos) <almacenar la totalidad de los votos efectuados durante la jornada electoral> - (Proposed, High difficulty) el sistema debe almacenar en la base de datos la totalidad de los votos generados por los electores: relacion 2 a 1: 2 votos (alcalde y concejo) por elector
Basic Path Basic Path: 1 antes de dar inicio a las inscripciones se colocan unas urnas de cartón vacías y
selladas. 2 el elector deposita los tarjetones electorales en la urna de cartón.
3 después
de finalizada la jornada electoral, se abre la urna donde se almacenaron la totalidad de votos permitidos por mesa para hacer el conteo preliminar.
3.3.35 Controlar las elecciones
Responsabilidades (requerimientos)
<el registrador podra monitorear el proceso electoral en cualquier momento> - (Proposed, Medium difficulty) <el registrador podra monitorear mediante el uso del sistema cualquier proceso de la jornada de votacionde cualquier mesa y cualquier puesto de votacion en cualquier momento>
Restricciones
<debe estar activa la jornada electoral para poder realizar la vigilancia>: (Invariant, Status is Approved)
<debe haber concluido el tiempo de votacion de la jornada electoral para poder realizar el conteo preliminar>: (Invariant, Status is Approved)
<solo el registrador o un veedor puede ejecutar el control de las elecciones>: (Invariant, Status is Approved)
Basic Path Basic Path: 1 se genera un punto central de control para las elecciones antes de iniciarlas.
2 el
registrador, un juez o un veedor externo son los únicos que pueden acceder a este punto central.
3 Una vez se acerca alguno de esos actores al punto de control (el
veedor por lo general puede ser el mismo juez), puede observar el comportamiento de todas las mesas en el respectivo lugar de votación.
4 desde ese punto de votación se
puede vigilar la recepción de votos de cualquier mesa y dado el caso pueden anular si se ve que en alguna mesa se presenta fraude, amenazas o cualquier situación fuera de
orden y/o estipuladas por la registraduría nacional. 5 Al finalizar la jornada electoral,
desde este punto se da la orden de generar el conteo preliminar salvo algún problema con las mesas de votación. De lo contrario, cada mesa podrá generar el conteo preliminar bajo la orden del registrador.
6 Desde el punto de control es donde se emite
los resultados parciales de cada sitio de votación del día de elección a la registraduría nacional.
Invariant <debe estar activa la jornada electoral para poder realizar la vigilancia>
Status: Approved
Invariant
<debe haber concluido el tiempo de votación de la jornada electoral para poder realizar el conteo preliminar>
Status: Approved
Invariant
<solo el registrador o un veedor puede ejecutar el control de las elecciones>
Status: Approved
3.3.36 Eliminar la papelería sobrante Responsabilidades (requerimientos)
<eliminar el sobrante de papeleria electoral> - (Proposed, Medium difficulty) el registrador debe eliminar la papeleria electoral sobrante para evitar fraudes
Restricciones <haber cerrado la jornada electoral>: (Pre-condition, Status is Approved)
<la papeleria sobrante fue destruida en su totalidad>: (Post-condition, Status is Approved)
<la cantidad de papeleria sobrante (papeleria entregada - papeleria usada) fue XX>: (Post-condition, Status is Approved)
<toda papeleria, sea de concejo o alcalde, ademas de certificados sin generar deben ser destruidos>: (Invariant, Status is Approved)
Pre-condition
<haber cerrado la jornada electoral>
Status: Approved
Post-condition Status: Approved
<la papelería sobrante fue destruida en su totalidad>
Post-condition
<la cantidad de papelería sobrante (papelería entregada - papelería usada) fue XX>
Status: Approved
Invariant
<toda papelería, sea de concejo o alcalde, además de certificados sin generar deben ser destruidos>
Status: Approved
3.3.37 Generar certificado electoral Responsabilidades (requerimientos) <generar certificado electoral> - (Proposed, High difficulty) el sistema debe generar el certificado electoral despues de validar el voto del elector
Basic Path Basic Path: 1 el jurado ve que el elector deposita los tarjetones de votación en la urna de cartón.
2 el
jurado completa de forma manual el certificado electoral que le entregara al elector.
3.3.38 Inscribir candidato alcaldía Responsabilidades (requerimientos)
<capacidad para inscribir candidatos a la alcaldia para las votaciones> - (Proposed, Medium difficulty) El sistema debera permitir la inscripcion de candidatos a la alcaldia mediante la creacion de estos registros en la base de datos
Restricciones
<el tiempo para incripciones para candidatos debe estar habilitado por la registraduria nacional del estado civil>: (Pre-condition, Status is Approved)
<el candidato a la alcaldia está inscrito en una mesa de votacion y es consistente>: (Post-condition, Status is Approved)
<el candidato a la alcaldia está inscrito en un partido politico y es consistente>: (Post-condition, Status is Approved)
<el candidato no debe tener imposibilidades judiciales>: (Invariant, Status is Approved)
Basic Path
Restricciones Basic Path: 1 La registraduría nacional habilita el tiempo de inscripción de candidatos a la alcaldía.
2
el candidato a la alcaldía se acerca a la registraduría. 3 el candidato a la alcaldía
entrega los datos personales al registrador o al auxiliar para que lo registre en el sistema.
Pre-condition <el tiempo para inscripciones para candidatos debe estar habilitado por la registraduría nacional del estado civil>
Status: Approved
Post-condition
<el candidato a la alcaldía está inscrito en una mesa de votación y es consistente>
Status: Approved
Post-condition
<el candidato a la alcaldía está inscrito en un partido político y es consistente>
Status: Approved
Invariant
<el candidato no debe tener imposibilidades judiciales>
Status: Approved
3.3.39 Inscribir candidato concejo Responsabilidades (requerimientos)
<capacidad para inscribir candidatos al concejo para las votaciones> - (Proposed, Medium difficulty) El sistema debera permitir la inscripcion de candidatos al concejo mediante la creacion de estos registros en la base de datos
Restricciones
<el tiempo de incripciones para candidatos debe estar habilitado por la registraduria nacional del estado civil>: (Pre-condition, Status is Approved)
<el candidato al concejo está inscrito en una mesa de votacion y es consistente>: (Post-condition, Status is Approved)
<el candidato al concejo está inscrito en un partido politico y es consistente>: (Post-condition, Status is Approved)
<el candidato no debe tener imposibilidades judiciales>: (Invariant, Status is Approved)
Restricciones Basic Path Basic Path: 1 La registraduría nacional habilita el tiempo de inscripción de candidatos al concejo.
2
el candidato al concejo se acerca a la registraduría. 3 el candidato al concejo entrega
los datos personales al registrador o al auxiliar para que lo registre en el sistema.
Pre-condition <el tiempo de inscripciones para candidatos debe estar habilitado por la registraduría nacional del estado civil>
Status: Approved
Post-condition
<el candidato al concejo está inscrito en una mesa de votación y es consistente>
Status: Approved
Post-condition
<el candidato al concejo está inscrito en un partido político y es consistente>
Status: Approved
Invariant
<el candidato no debe tener imposibilidades judiciales>
Status: Approved
3.3.40 Inscribir en mesa de votación
Responsabilidades (requerimientos)
<capacidad para inscribir electores para las votaciones> - (Proposed, Medium difficulty) el sistema debe permitir a cualquier elector registrar sus datos personales (cedula, direccion, nombre y numero celular) en una mesa de votacion
Restricciones
<el tiempo para incripciones debe estar habilitado por la registraduria nacional del estado civil>: (Pre-condition, Status is Approved)
<el elector está inscrito en una mesa de votacion y es consistente>: (Post-condition, Status is Approved)
<el elector no debe tener imposibilidades judiciales>: (Invariant, Status is Approved)
Basic Path Básico:
Restricciones 1 el elector se acerca a el centro de inscripción de cedulas para votar en el municipio
(para el caso la registraduría municipal). 2 el registrador o auxiliar toma los datos del
elector en un formulario. 3 el registrador valida los datos anotados versus la cedula del
elector. 4 el registrador genera un certificado de inscripción del elector donde dice la
mesa y el puesto en el cual va a votar. 5 el elector recibe el certificado de inscripción
donde dice el número de mes y lugar de votación.
Pre-condition <el tiempo para inscripciones debe estar habilitado por la registraduría nacional del estado civil>
Status: Approved
Post-condition
<el elector está inscrito en una mesa de votación y es consistente>
Status: Approved
Invariant
<el elector no debe tener imposibilidades judiciales>
Status: Approved
3.3.41 Llenar el formulario E-24/E-26
Responsabilidades (requerimientos)
<generar y llenar el formulario e-24> - (Proposed, High difficulty) el sistema debe generar y llenar el formulario e-24 con base a los votos almacenados y escrutados>
<generar y llenar el formulario e-26> - (Proposed, High difficulty) el sistema debe generar y llenar el formulario e-26 con base a los votos almacenados y escrutados>
Restricciones
<debe haberse cerrado la jornada electoral>: (Pre-condition, Status is Approved)
<debe haberse iniciado la jornada post-eleccion>: (Pre-condition, Status is Approved)
<los votos deben estar en el lugar final de escrutinio>: (Pre-condition, Status is Approved)
<solo el registrador y los jueces pueden generar y llenar el formulario E-24>: (Invariant, Status is Approved)
<solo el registrador y los jueces pueden generar y llenar el formulario E-26>: (Invariant, Status is Approved)
Restricciones <los formularios E-24 fueron llenados correctamente>: (Post-condition, Status is Approved)
<los formularios E-26 fueron llenados correctamente>: (Post-condition, Status is Approved)
<el formulario E-26 es puesto al publico>: (Post-condition, Status is Approved)
Basic Path Basic Path: 1 el registrador/juez ingresa al sistema el día del escrutinio final.
2 el registrador/juez
selecciona el formulario a diligenciar. 3 el sistema genera y permite completar los datos
del formulario establecido en el paso 2. 4 el sistema imprime el formulario y lo almacena
en una DB creada para los históricos de los formularios.
Pre-condition <debe haberse cerrado la jornada electoral>
Status: Approved
Pre-condition
<debe haberse iniciado la jornada post-elección>
Status: Approved
Pre-condition
<los votos deben estar en el lugar final de escrutinio>
Status: Approved
Invariant
<solo el registrador y los jueces pueden generar y llenar el formulario E-24>
Status: Approved
Invariant
<solo el registrador y los jueces pueden generar y llenar el formulario E-26>
Status: Approved
Post-condition
<los formularios E-24 fueron llenados correctamente>
Status: Approved
Post-condition
<los formularios E-26 fueron llenados correctamente>
Status: Approved
Post-condition
<el formulario E-26 es puesto al público>
Status: Approved
3.3.42 Modificar Inscripción alcaldía
Responsabilidades (requerimientos)
<capacidad para modificar candidato a la alcaldia> - (Proposed, Medium difficulty) El sistema debera permitir al administrador o registrador modificar los registros de un candidato a la alcaldia siempre y cuando este en el tiempo habilitado por la registraduria para hacerlo
Restricciones
<el candidato a la alcaldia debe estar inscrito previamente>: (Pre-condition, Status is Approved)
<el candidato a la alcaldia solo puede modificar su inscripcion en los tiempos establecidos por la registraduria nacional>: (Invariant, Status is Approved)
<la inscripcion del candidato al concejo fue modificada satisfactoriamente>: (Post-condition, Status is Approved)
<debe haberse Iniciado el proceso Inscripciones candidatos alcaldia>: (Pre-condition, Status is Approved) Basic Path Básico: 1 el candidato a la alcaldía debe haberse inscrito previamente.
2 el candidato tiene un
evento que genera un cambio importante en la información entregada anteriormente. 3
el candidato se moviliza a la registraduría municipal donde está inscrito para entregar la nueva información al registrador o al auxiliar.
4 el candidato recibe un certificado que
valida los cambios y le permite seguir estando activo en la lista de candidatos al concejo.
Pre-condition <el candidato a la alcaldía debe estar inscrito previamente>
Status: Approved
Invariant
<el candidato a la alcaldía solo puede modificar su inscripción en los tiempos establecidos por la registraduría nacional>
Status: Approved
Post-condition
<la inscripción del candidato al concejo fue modificada
Status: Approved
satisfactoriamente>
Pre-condition
<debe haberse Iniciado el proceso Inscripciones candidatos alcaldía>
Status: Approved
3.3.43 Realizar Votación Responsabilidades (requerimientos)
<registrar el voto del elector por alcalde> - (Proposed, Medium difficulty) El sistema debe registrar el voto del elector por alcalde
Restricciones <Haber Cerrado el proceso de inscripción de electores>: (Pre-condition, Status is Approved)
<Haber Validado el número de electores inscritos aptos para votar>: (Pre-condition, Status is Approved) Basic Path Basic Path: 1 el elector se acerca al puesto de votación y a la mesa donde fue asignado al inscribir
su cedula. 2 alguno de los jurados se encarga de confirmar que el elector se encuentre
registrado en esa mesa de votación en el respectivo puesto. 3 después de confirmado,
el elector pasa al cubículo a realizar su votación tanto por alcalde, como por concejal. 4
luego de realizar las 2 votaciones (sin importar la opción que hubiera marcado), deposita los tarjetones en una urna de cartón.
5 el jurado después de ver al elector
introducir los tarjetones, le entrega el certificado de votación electoral.
Pre-condition <Haber Cerrado el proceso de inscripción de electores>
Status: Approved
Pre-condition
<Haber Validado el número de electores inscritos aptos para votar>
Status: Approved
3.3.44 Realizar escrutinio municipal
Responsabilidades (requerimientos)
Responsabilidades (requerimientos) <el sistema debe permitir realizar el escrutinio final de los votos para alcaldia> - (Proposed,
Medium difficulty)
<el sistema debe permitir realizar el escrutinio final de los votos para concejo> - (Proposed, High difficulty)
Restricciones <haber cerrado la jornada electoral>: (Pre-condition, Status is Approved)
<haber iniciado el servicio jornada post-eleccion>: (Pre-condition, Status is Approved)
<el escrutinio lo realiza el registrador municipal y dos jueces mas>: (Invariant, Status is Approved)
<se llena y presenta al publico el formulario E-26 con los resultados finales>: (Post-condition, Status is Approved)
Basic Path Basic Path: 1 Se traslada el arca triclave (equipos de cómputo utilizados durante la jornada electoral
de la registraduría) hasta el sitio elegido anticipadamente por el registrador para hacer el escrutinio final.
2 los poseedores de las llaves abren el arca triclave para dar inicio al
escrutinio final (coloca los equipos en línea en el sitio final para auditar los resultados almacenados durante la jornada electoral).
3 el hecho de abrir el arca triclave
representa haber dado inicio a la jornada post-elección y al servicio jornada post-elección.
4 Se reúnen dos jueces y el registrador en el sitio elegido para comenzar el
escrutinio. 5 Durante el escrutinio puede estar un testigo para dar fe de la veracidad del
proceso. 6 No hay un tiempo límite establecido para entregar el escrutinio final.
7 Al
tener los resultados finales del escrutinio, se deben publicar en 2 formularios: el E-24 y el E-26.
8 ambos formularios son diligenciados usando el sistema y deben estar con la
firma digital (validada mediante el login) de los 2 jueces y el registrador. 9 después de
diligenciarse e imprimirse los formularios, estos deben ser almacenados en una base de datos creada por el sistema para almacenar estos registros.
10 el testigo también
puede firmar los formularios si él quiere generándole un usuario temporal con ciertas restricciones.
11 El formulario E-26 se publica en la registraduría municipal para que
todo el mundo pueda observar los resultados finales.
Pre-condition <haber cerrado la jornada electoral>
Status: Approved
Pre-condition
<haber iniciado el servicio jornada post-elección>
Status: Approved
Invariant
<el escrutinio lo realiza el registrador municipal y dos jueces más>
Status: Approved
Post-condition
<se llena y presenta al público el formulario E-26 con los resultados finales>
Status: Approved
3.3.45 Realizar votación alcalde
Responsabilidades (requerimientos)
<ingresar el voto del elector por el candidato a la alcaldia seleccionado> - (Proposed, Medium difficulty) el sistema debe almacenar solo un voto para alcalde por elector
Restricciones <Haber Registrado satisfactoriamente candidatos a la alcaldia>: (Pre-condition, Status is
Approved)
<el servidor de jornada de votacion debe haberse inicializado satisfactoriamente>: (Invariant, Status is Approved)
<el voto por alcalde fue satisfactoriamente realizado>: (Post-condition, Status is Approved)
Pre-condition
<Haber Registrado satisfactoriamente candidatos a la alcaldía>
Status: Approved
Invariant
<el servidor de jornada de votación debe haberse inicializado satisfactoriamente>
Status: Approved
Post-condition
<el voto por alcalde fue satisfactoriamente realizado>
Status: Approved
3.3.46 Realizar votación concejo
Responsabilidades (requerimientos) <ingresar el voto del elector por el candidato al concejo seleccionado> - (Proposed, Medium
difficulty) el sistema debe almacenar solo un voto para concejo por elector
Restricciones <Haber Registrado satisfactoriamente candidatos al Consejo>: (Pre-condition, Status is
Approved)
<el servidor de jornada de votacion debe haberse inicializado satisfactoriamente>: (Invariant, Status is Approved)
<el voto por concejal fue realizado satisfactoriamente>: (Post-condition, Status is Approved)
Pre-condition
<Haber Registrado satisfactoriamente candidatos al Consejo>
Status: Approved
Invariant
<el servidor de jornada de votación debe haberse inicializado satisfactoriamente>
Status: Approved
Post-condition
<el voto por concejal fue realizado satisfactoriamente>
Status: Approved
3.3.47 Recibir certificado electoral
Responsabilidades (requerimientos)
<el elector debe recibir un documento para certificar la votacion valida del elector en una mesa de votacion> - (Proposed, Medium difficulty) el elector debe recibir un documento que ha sido generado por el sistema para certificar la votacion valida del elector en una mesa de votacion
Restricciones
<el elector tiene que haber votado por alcalde>: (Pre-condition, Status is Approved)
<el elector tiene que haber votado por concejal>: (Pre-condition, Status is Approved)
<el elector recibio satisfactoriamente el certificado electoral>: (Post-condition, Status is Approved)
Pre-condition <el elector tiene que haber votado por alcalde>
Status: Approved
Pre-condition
<el elector tiene que haber votado por concejal>
Status: Approved
Post-condition
<el elector recibió satisfactoriamente el certificado electoral>
Status: Approved
3.3.48 Recibir certificado inscripción alcaldía Responsabilidades (requerimientos)
<generar documento para certificar la inscripcion valida del candidato a la alcaldia del municipio de choachi> - (Proposed, Medium difficulty) El sistema debe generar un certificado de validacion con los datos del candidato a la alcaldia registrado satisfactoriamente en la base de datos
Primer requerimiento de Sistema - (Proposed, Medium difficulty) Haber Inciado el proceso Inscripciones candidatos
Restricciones <el candidato a la alcadia solo puede inscribirse una vez y en unico municipio>: (Invariant,
Status is Approved)
<el candidato a la alcaldia fue registrado satisfactoriamente>: (Post-condition, Status is Approved)
<el candidato a la alcaldia debe estar inscrito en la registraduria municipal>: (Pre-condition, Status is Approved)
<el candidato a la alcaldia no udo haber ejercido labor como servidor publico en el ultimo año>: (Invariant, Status is Approved)
Scenarios
El aspirante a la Alcaldia requiere una prueba – Alternate Notes
El aspirante a la Alcaldía requiere una prueba que su proceso de inscripción a la Alcaldía se ha realizado. Esto generalmente se hace para fines legales y sobre todo con el ánimo de saber por parte de un candidato que ya se ha hecho su inscripción en el sistema de tal suerte que éste pueda comenzar su campaña electoral con miras a iniciar su campaña para aspirar a la Alcaldía
Alternate Paths El aspirante a la Alcaldía requiere una prueba: El registrador genera un certificado de inscripción del candidato a la alcaldía donde dice
el partido y el lugar de inscripción de la candidatura. El candidato a la alcaldía recibe el certificado de inscripción que lo acredita como candidato apto para las próximas elecciones.
Invariant <el candidato a la alcaldía solo puede inscribirse una vez y en único municipio>
Status: Approved
Post-condition
<el candidato a la alcaldía fue registrado satisfactoriamente>
Status: Approved
Pre-condition
<el candidato a la alcaldía debe estar inscrito en la registraduría municipal>
Status: Approved
Invariant
<el candidato a la alcaldía no pudo haber ejercido labor como servidor público en el último año>
Status: Approved
3.3.49 Recibir certificado inscripción concejo Responsabilidades (requerimientos)
<generar documento para certificar la inscripcion valida del candidato al concejo del municipio de choachi> - (Proposed, Medium difficulty) El sistema debe generar un certificado de validacion con los datos del candidato al concejo registrado satisfactoriamente en la base de datos
Primer requerimiento de Sistema - (Proposed, Medium difficulty) Haber Inciado el proceso Inscripciones candidatos
Restricciones <el candidato al concejo debe estar inscrito en la registraduria municipal>: (Pre-condition, Status
is Approved)
<el candidato al concejo fue registrado satisfactoriamente>: (Post-condition, Status is Approved)
<el candidato al concejo solo puede inscribirse una vez y en unico municipio>: (Invariant, Status is Approved)
Scenarios
El aspirante el Consejo requiere una prueba – Alternate Notes
El aspirante el Consejo requiere una prueba que su proceso de inscripción del consejo se ha
Scenarios
realizado. Esto generalmente se hace para fines legales y sobre todo con el ánimo de saber por parte de un candidato que ya se ha hecho su inscripción en el sistema de tal suerte que éste pueda comenzar su campaña electoral con miras a iniciar su campaña para el consejo
Alternate Paths El aspirante el Consejo requiere una prueba: El registrador genera un certificado de inscripción del candidato al concejo donde dice el partido y el lugar de inscripción de la candidatura. El candidato al concejo recibe el certificado de inscripción que lo acredita como candidato apto para las próximas elecciones.
Pre-condition <el candidato al concejo debe estar inscrito en la registraduría municipal>
Status: Approved
Post-condition
<el candidato al concejo fue registrado satisfactoriamente>
Status: Approved
Invariant
<el candidato al concejo solo puede inscribirse una vez y en único municipio>
Status: Approved
3.3.50 Recibir certificado inscripción electoral
Responsabilidades (requerimientos)
<generar documento para certificar la inscripcion valida del elector en una mesa de votacion> - (Proposed, Medium difficulty) el sistema debe generar un documento con el nombre del municipio, el numero de mesa y el lugar de votacion donde quedo registrado el elector
Restricciones
<el elector debe haber sido registrado solo en una mesa de votacion>: (Invariant, Status is Approved) Basic Path Básico: 1 el registrador genera un certificado de inscripción del elector donde dice la mesa y el
puesto en el cual va a votar. 2 el elector recibe el certificado de inscripción donde dice el
número de mes y lugar de votación.
Invariant <el elector debe haber sido registrado solo en una mesa de
Status: Approved
votación>
3.3.51 Registrar candidatos alcaldía
Responsabilidades (requerimientos)
<capacidad para inscribir candidato a la alcaldia> - (Proposed, Medium difficulty)
<capacidad para modificar candidato a la alcaldia> - (Proposed, Medium difficulty)
Restricciones <el candidato a la alcaldia está inscrito y es consistente>: (Post-condition, Status is Approved)
<el candidato debe tener aval del partido politico>: (Invariant, Status is Approved)
<el candidato no debe tener imposibilidades judiciales>: (Invariant, Status is Approved)
<el tiempo para incripciones debe estar habilitado por la registraduria nacional del estado civil>: (Pre-condition, Status is Approved)
Scenarios
Basico - Basic Path Notes
el candidato a la alcaldia se dirige a la registraduria donde presenta la carta de aval de algun partido politico para poder iniciar el proceso de inscripcion. La captura de datos la hace mediante un formulario de forma manual el registrador o un auxiliar. Luego de registrar el candidato a la alcaldia, automaticamente le entregan un certificado de inscripcion.
modificacion – Alternate
Notes Si el candidato a la alcaldia despues de registrado sufre algun evento que lo halla hecho cambiar alguno de los datos registrados y se encuentra en el tiempo habil para modificacion se dirige nuevamente a la registraduria, y le da al registrador los datos previos y los datos que va a cambiar de su inscripcion, El registrador hace las modificaciones en el formulario y le entrega un nuevo certificado de inscripcion al candidato a la alcaldia.
Basic Path Básico: 1 el candidato a la alcaldía se dirige a la registraduría donde presenta la carta de aval
de algún partido político. 2 El registrador o un auxiliar hace la captura de datos
mediante un formulario web o un software que almacene esa información en una base de datos.
3 Luego de registrar el candidato a la alcaldía, automáticamente le entregan
un certificado de inscripción. Alternate Paths modificación: El candidato debe estar previamente inscrito. Si el candidato a la alcaldía después de registrado sufre algún evento que lo haya hecho cambiar alguno de los datos registrados y se encuentra en el tiempo hábil para modificación se dirige nuevamente a la registraduría. El registrador toma los datos previos y los datos que va a cambiar de su inscripción. El registrador hace las modificaciones en el formulario. El registrador
Responsabilidades (requerimientos) entrega un nuevo certificado de inscripción al candidato a la alcaldía. .
Post-condition <el candidato a la alcaldía está inscrito y es consistente>
Status: Approved
Invariant
<el candidato debe tener aval del partido político>
Status: Approved
Invariant
<el candidato no debe tener imposibilidades judiciales>
Status: Approved
Pre-condition
<el tiempo para inscripciones debe estar habilitado por la registraduría nacional del estado civil>
Status: Approved
3.3.52 Registrar candidatos concejo
Responsabilidades (requerimientos)
<capacidad para inscribir candidato al concejo> - (Proposed, Medium difficulty)
<capacidad para modificar candidato al concejo> - (Proposed, Medium difficulty) Requisitos -cosas que el caso de uso debe permitir hacer al usuario, tales como <capacidad para actualizar pedido>, <capacidad para modificar pedido>, etc.
Restricciones
<el candidato al concejo está inscrito y es consistente>: (Post-condition, Status is Approved) Restricciones -reglas acerca de qué se puede y qué no se puede hacer-. Incluye:
Pre-condiciones que deben ser verdaderas antes de que el caso de uso se ejecute, por ejemplo <crear pedido> debe preceder a <modificar pedido>
Post-condiciones que deben ser verdaderas una vez que el caso de uso se ejecutó, por ejemplo <el pedido está modificado y es consistente>
invariantes: éstas son siempre verdaderas -por ejemplo, un pedido debe tener siempre un número de cliente.
<el candidato debe tener aval del partido politico>: (Invariant, Status is Approved)
<el candidato no debe tener imposibilidades judiciales>: (Invariant, Status is Approved)
Restricciones <el tiempo para incripciones debe estar habilitado por la registraduria nacional del estado civil>:
(Pre-condition, Status is Approved)
Basic Path básico: 1 el candidato se dirige a la registraduría donde presenta la carta de aval de algún
partido político. 2 El registrador o un auxiliar hace la captura de datos mediante un
formulario web o un software que almacene esa información en una base de datos. 3
Luego de registrar al candidato, automáticamente le entregan un certificado de inscripción. Alternate Paths modificación: El candidato tiene que estar previamente inscrito. Si el candidato después de registrado sufre algún evento que lo haya hecho cambiar alguno de los datos registrados y se encuentra en el tiempo hábil para modificación se dirige nuevamente a la registraduría. El registrador toma los datos previos y los datos que va a cambiar de su inscripción. El registrador hace las modificaciones en el formulario. El registrador entrega un nuevo certificado de inscripción al candidato. .
Post-condition <el candidato al concejo está inscrito y es consistente> Restricciones -reglas acerca de qué se puede y qué no se puede hacer-. Incluye:
Pre-condiciones que deben ser verdaderas antes de que el caso de uso se ejecute, por ejemplo <crear pedido> debe preceder a <modificar pedido>
Post-condiciones que deben ser verdaderas una vez que el caso de uso se ejecutó, por ejemplo <el pedido está modificado y es consistente>
invariantes: éstas son siempre verdaderas -por ejemplo, un pedido debe tener siempre un número de cliente.
Status: Approved
Invariant
<el candidato debe tener aval del partido político>
Status: Approved
Invariant
<el candidato no debe tener imposibilidades judiciales>
Status: Approved
Pre-condition
<el tiempo para inscripciones debe estar habilitado por la registraduría nacional del estado civil>
Status: Approved
3.3.53 Registrar elector en mesa Proceso mediante el cual se da validez a la inscripción del elector Responsabilidades (requerimientos)
<capacidad para inscribir electores para las votaciones> - (Proposed, High difficulty) el sistema debe permitir a cualquier elector registrar sus datos personales (cedula, direccion, nombre y número celular) solo en una mesa de votacion, en un municipio y en un departamento
Primer requerimiento de Sistema - (Proposed, Medium difficulty) Haber Inciado el proceso Inscripciones candidatos
Restricciones
<el tiempo para incripciones debe estar habilitado por la registraduria nacional del estado civil>: (Pre-condition, Status is Approved)
<el elector está inscrito en una mesa de votacion y es consistente>: (Post-condition, Status is Approved)
<el elector no debe tener imposibilidades judiciales>: (Invariant, Status is Approved)
Basic Path Básico: 1 el registrador o auxiliar toma los datos del elector en un formulario.
2 el registrador
valida los datos anotados versus la cedula del elector.
Pre-condition <el tiempo para inscripciones debe estar habilitado por la registraduría nacional del estado civil>
Status: Approved
Post-condition
<el elector está inscrito en una mesa de votación y es consistente>
Status: Approved
Invariant Status: Approved
<el elector no debe tener imposibilidades judiciales>
3.3.54 Registrar mesas de votación del municipio
Responsabilidades (requerimientos)
<capacidad para registrar mesas de votacion con respecto al numero que otorga la registraduria nacional de votantes por mesa> - (Approved, Medium difficulty) el sistema debe registrar en la base de datos la cantidad de mesas definidas por el registrador para permitir sobre esas mesas el registro de los electores
Primer requerimiento de Sistema - (Proposed, Medium difficulty) Haber Inciado el proceso Inscripciones candidatos
Restricciones <no se puede registrar mas votantes de los definidos por la registraduria nacional en una mesa>:
(Invariant, Status is Approved)
<se registraron y habilitaron satisfactoriamente n mesas de votacion para la proxima jornada electoral>: (Post-condition, Status is Approved)
<las mesas de votacion deben inicializar sin ningun elector registrado previamente>: (Pre-condition, Status is Approved)
<el tiempo para incripciones debe estar habilitado por la registraduria nacional del estado civil>: (Invariant, Status is Approved) Basic Path Básico: 1 el registrador o auxiliar registra los electores en la respectiva mesa.
2 el auxiliar
genera un informe donde presenta la totalidad de mesas que se completaron y las que se crearon dado el caso que hubiera más gente a la estimada previamente.
Invariant <no se puede registrar más votantes de los definidos por la registraduría nacional en una mesa>
Status: Approved
Post-condition
<se registraron y habilitaron satisfactoriamente n mesas de votación para la próxima jornada electoral>
Status: Approved
Pre-condition
<las mesas de votación deben inicializar sin ningún elector registrado previamente>
Status: Approved
Invariant
<el tiempo para inscripciones debe estar habilitado por la registraduría nacional del estado civil>
Status: Approved
3.3.55 Trasladar los votos (arca triclave) Responsabilidades (requerimientos)
<validar la totalidad de candidatos a la alcaldia que se inscribieron durante la jornada de inscripciones del municipio> - (Proposed, Medium difficulty) el sistema debe generar un reporte con el numero de candidatos a la alcaldia inscritos cada dia (durante las fechas de inscripcion) y al momento del cierre de inscripciones
Primer requerimiento de Sistema - (Proposed, Medium difficulty) Haber Inciado el proceso Inscripciones candidatos
Restricciones <el tiempo de inscripciones tiene que haber concluido>: (Pre-condition, Status is Approved)
<la totalidad de los candidatos a la alcaldia inscritos estan aptos para ejercer su derecho al voto>: (Post-condition, Status is Approved)
<Las politicas de validación para validar el número de candidatos a la alcaldia registrados son únicas por cada proceso electoral.>: (Invariant, Status is Approved)
<Haber registrado candidatos a la alcaldia>: (Invariant, Status is Approved)
Scenarios
La registraduría debe entregar este informe a la oficina de control interno como uno de los requisitos para verificar el cierre del proceso de cierre del proceso preelectoral - Basic Path Notes
Una de las cosas que debe entregar la Registraduría al Consejo electoral es la validación del número de candidatos a la alcaldía registrados.
En caso que se desea hacer seguimiento al proceso de validación posterior - Alternate
Notes En caso que se desea hacer seguimiento al proceso de validación posterior se debe poder almacenar este seguimiento en una vitácora para posibles recuperaciones del sistema
En caso que se presente algún problema con la inscripción de candidatos a la alcaldia se debe
poder mostrar el proceso que siguió para invalidar el candidatos a la Alcaldía - Alternate Notes
En caso que se preente algún problema con la inscripción de candidatos a la Alcaldía se debe poder mostrar el proceso que siguió para validar el número de dandidatos a la Alcaldía. Es posible entonces que este proceso tenga unos parámetros que se puedan modificar de una elección a otra, lo que sí es seguro es que una vez creado el proceso electoral el sistema no se compromete a dar esta flexibildiad, sino una vez se ha creado el proceso electoral con
Scenarios
unos parámetros estos son los que se trabajarán durante el proceso electoral, si se requiere modificar estos parámetros se tendrá que crear otro proceso electoral con nuevos parámetros.
El registrador puede pedir validacion parcial por dia durante la jornada de inscripcion - Alternate
Notes Basic Path Basic Path: 1 Después de realizado el conteo preliminar, se deposita la totalidad de los votos que se
encuentran en las urnas de cartón en una caja fuerte. 2 esta caja fuerte se cierra con 3
candados para poderla trasladar del lugar de votación al lugar donde se va a hacer el escrutinio final.
3 las llaves de los candados la tienen: el alcalde, el registrador y un juez
de la república.
3.3.56 Validar el número de candidatos a la alcaldía registrados Responsabilidades (requerimientos)
<validar la totalidad de candidatos al concejo que se inscribieron durante la jornada de inscripciones del municipio> - (Proposed, Medium difficulty) el sistema debe generar un reporte con el numero de candidatos al concejo inscritos cada dia (durante las fechas de inscripcion) y al momento del cierre de inscripciones
Primer requerimiento de Sistema - (Proposed, Medium difficulty) Haber Inciado el proceso Inscripciones candidatos
Restricciones
<Las politicas de validación para validar el número de candidatos al consejo registrados son únicas por cada proceso electoral.>: (Invariant, Status is Approved)
<el tiempo de inscripciones tiene que haber concluido>: (Pre-condition, Status is Approved)
<la totalidad de los candidatos al concejo inscritos estan aptos para ejercer su derecho al voto>: (Post-condition, Status is Approved)
<Haber registrado candidatos al consejo electoral>: (Invariant, Status is Approved)
Scenarios
El registrador puede pedir validacion parcial por dia durante la jornada de inscripcion - Alternate Notes
En caso que se desea hacer seguimiento al proceso de validación posterior - Alternate Notes
En caso que se desea hacer seguimiento al proceso de validación posterior se debe poder almacenar este seguimiento en una vitácora para posibles recuperaciones del sistema
Scenarios
En caso que se presente algún problema con la inscripción de candidatos a la alcaldia se debe poder mostrar el proceso que siguió para invalidar el candidatos al concejo - Alternate Notes
En caso que se preente algún problema con la inscripción de candidatos al consejo electoral se debe poder mostrar el proceso que siguió para validar el número de dandidatos al consejo. Es posible entonces que este proceso tenga unos parámetros que se puedan modificar de una elección a otra, lo que sí es seguro es que una vez creado el proceso electoral el sistema no se compromete a dar esta flexibildiad, sino una vez se ha creado el proceso electoral con unos parámetros estos son los que se trabajarán durante el proceso electoral, si se requiere modificar estos parámetros se tendrá que crear otro proceso electoral con nuevos parámetros.
La registraduría debe entregar este informe a la oficina de control interno como uno de los
requisitos para verificar el cierre del proceso de cierre del proceso preelectoral - Basic Path Notes
Una de las cosas que debe entregar la Registraduría al Consejo electoral es la validación del número de candidatos al consejo registrados.
Basic Path La registraduría debe entregar este informe a la oficina de control interno como uno de los requisitos para verificar el cierre del proceso de cierre del proceso preelectoral: 1 las inscripciones para la alcaldía han sido cerradas.
2 el registrador verifica que los
datos almacenados cumplan con los requisitos definidos por la registraduría nacional. 3
el registrador mediante el sistema genera un formato final donde salga el nombre de cada uno de los candidatos a la alcaldía inscritos, el partido al cual pertenece cada candidato y la totalidad de inscritos por alcaldía. Alternate Paths En caso que se desea hacer seguimiento al proceso de validación posterior: En caso que se presente algún problema con la inscripción de candidatos a la alcaldía se debe poder mostrar el proceso que siguió para invalidar el candidatos a la Alcaldía: (at
2)
El registrador revisa la validez del registro de cada candidato en la base de datos. Si se presenta alguna anomalía, el registrador tendrá los permisos respectivos para borrar el registro del candidato. Automáticamente se debe generar un registro de control de eliminación del registro y una nota con la explicación. El registrador puede pedir validación parcial por día durante la jornada de inscripción: (at
1)
Pre-condition <el tiempo de inscripciones tiene que haber concluido>
Status: Approved
Post-condition
<la totalidad de los candidatos a la alcaldía inscritos están aptos para ejercer su derecho al voto>
Status: Approved
Invariant
<Las políticas de validación para validar el número de candidatos a la alcaldía registrados son únicas por cada proceso electoral.>
Status: Approved
Invariant
<Haber registrado candidatos a la alcaldía>
Status: Approved
3.3.57 Validar el número de candidatos al concejo registrados
Responsabilidades (requerimientos)
<verificar la totalidad de electores que se inscribieron durante la jornada de inscripciones para elecciones del municipio> - (Proposed, High difficulty) el sistema debe generar un reporte con el numero de electores inscritos cada dia (durante las fechas de inscripcion) y al momento del cierre de inscripciones. Ademas verificar que el elector solo este registrado una vez en el municipio
Primer requerimiento de Sistema - (Proposed, Medium difficulty) Haber Inciado el proceso Inscripciones candidatos
Restricciones <el tiempo de inscripciones tiene que haber concluido>: (Pre-condition, Status is Approved)
<la totalidad de los electores inscritos estan aptos para ejercer su derecho al voto>: (Post-condition, Status is Approved) Basic Path La registraduría debe entregar este informe a la oficina de control interno como uno de los requisitos para verificar el cierre del proceso de cierre del proceso preelectoral: 1 las inscripciones para el concejo han sido cerradas.
2 el registrador verifica que los
datos almacenados cumplan con los requisitos definidos por la registraduría nacional. 3
el registrador mediante el sistema genera un formato final donde salga el nombre de cada uno de los candidatos al concejo inscritos, el partido al cual pertenece cada candidato y la totalidad de inscritos por concejo. Alternate Paths El registrador puede pedir validación parcial por día durante la jornada de inscripción: En caso que se desea hacer seguimiento al proceso de validación posterior: En caso que se presente algún problema con la inscripción de candidatos a la alcaldía se debe poder mostrar el proceso que siguió para invalidar el candidatos al concejo: (at
2)
El registrador revisa la validez del registro de cada candidato en la base de datos. Si se presenta alguna anomalía, el registrador tendrá los permisos respectivos para borrar el registro del candidato. Automáticamente se debe generar un registro de control de eliminación del registro y una nota con la explicación.
Invariant <Las políticas de validación para validar el número de candidatos al consejo registrados son únicas por cada proceso electoral.>
Status: Approved
Pre-condition
<el tiempo de inscripciones tiene que haber concluido>
Status: Approved
Post-condition
<la totalidad de los candidatos al concejo inscritos están aptos para ejercer su derecho al voto>
Status: Approved
Invariant
<Haber registrado candidatos al consejo electoral>
Status: Approved
3.3.58 Validar el número de electores inscritos aptos para votar
Basic Path Básico: 1 El registrador municipal declara el cierre de la jornada de inscripciones de cedulas
para las próximas elecciones. 2 El registrador realiza validación de las listas entregadas
por el auxiliar. 3 el registrador municipal envía estas listas a la registraduría nacional
para habilitar la votación de esos electores.
Pre-condition <el tiempo de inscripciones tiene que haber concluido>
Status: Approved
Post-condition
<la totalidad de los electores inscritos están aptos para ejercer su derecho al voto>
Status: Approved
3.3.59 Validar el número de mesas para las votaciones
Basic Path Básico: 1 El registrador municipal declara el cierre de la jornada de inscripciones de cedulas
para las próximas elecciones. 2 El registrador realiza validación de las mesas
registradas por el auxiliar. 3 el registrador municipal envía estas listas a la registraduría
nacional para que envíen la totalidad de mesas registradas.
Pre-condition <el tiempo de inscripciones tiene que haber concluido>
Status: Approved
Post-condition
<la totalidad de las mesas de votación están registradas y aptas para ofrecer el servicio durante la jornada electoral>
Status: Approved
3.3.60 Verificar al elector en el registro de la mesa
Responsabilidades (requerimientos)
<verificar que el elector este registrado en la respectiva mesa y puesto de votacion> - (Proposed, High difficulty) el sistema debe permitir la verificacion del elector mediante la cedula de en que mesa y puesto de votacion le toca
Scenarios
en caso de no encontrarse registrado, lo envia a alguno de los puestos habilitados por la registraduria para informacion del sitio de votacion. Claramente, no le entrega ningun tarjeton electoral ni le debe generar ningun certificado - Alternate Notes
Basic Path Basic Path: 1 el jurado recibe la cedula del elector.
2 el jurado revisa dentro de las planillas
entregadas por la registraduría para esa mesa si se encuentra el elector inscrito en ese lugar.
3 en caso de estar registrado, le entrega los tarjetones para que realice la
votación. Alternate Paths En caso de no encontrarse registrado, lo envía a alguno de los puestos habilitados por la registraduría para información del sitio de votación. Claramente, no le entrega ningún tarjetón electoral ni le debe generar ningún certificado:
3.3.61 Verificar la calidad del escrutinio
Responsabilidades (requerimientos)
Responsabilidades (requerimientos) <verificar la calidad del escrutinio> - (Proposed, High difficulty)
<el sistema debe tener una vista para testigos donde permita ver todo el proceso que haga el registrador y los jueces>
Restricciones
<debe hacerse cerrado la jornada electoral>: (Pre-condition, Status is Approved)
<deben estar los votos en el lugar final para el escrutinio>: (Pre-condition, Status is Approved)
<el testigo solo puede ver el proceso que hace el registrador y los jueces>: (Invariant, Status is Approved) el testigo solo puede ver el proceso que hace el registrador y los jueces, y en ningun momento puede interactuar el con los votos
<el testigo da fe de la calidad de los datos ingresados en los formularios e-24 y e-26>: (Post-condition, Status is Approved) el testigo da fe de la calidad de los datos ingresados en los formularios e-24 y e-26, y puede firmar en los formularios como testigo Basic Path Basic Path: 1 el testigo se presenta en el sitio elegido para el escrutinio final.
2 el registrador hace
anotación de los datos del testigo. 3 el testigo puede presenciar todo el proceso de
conteo, pero no puede participar de él. 4 Al final del escrutinio, el testigo puede dar su fe
de la veracidad del escrutinio firmando el formulario E-24 y E-26 como prueba de eso.
Pre-condition <debe hacerse cerrado la jornada electoral>
Status: Approved
Pre-condition
<deben estar los votos en el lugar final para el escrutinio>
Status: Approved
Invariant
<el testigo solo puede ver el proceso que hace el registrador y los jueces> el testigo solo puede ver el proceso que hace el registrador y los jueces, y en ningún momento puede interactuar el con los votos
Status: Approved
Post-condition
<el testigo da fe de la calidad de los datos ingresados en los formularios e-24 y e-26>
Status: Approved
el testigo da fe de la calidad de los datos ingresados en los formularios e-24 y e-26, y puede firmar en los formularios como testigo
3.3.62 Vigilar las votaciones Responsabilidades (requerimientos)
<vigilar el proceso electoral> - (Proposed, High difficulty) el sistema debe permitir la revision de como va el proceso electoral en cualquier momento
Restricciones <debe haber iniciado la jornada electoral>: (Pre-condition, Status is Approved)
<se realizo efectivamente la revision de la mesa X en el puesto de votacion X>: (Post-condition, Status is Approved)
<se realizo efectivamente la revision de la jornada electoral>: (Post-condition, Status is Approved)
<solo el registrador o un veedor designado puede realizar la vigilancia a la jornada electoral>: (Invariant, Status is Approved)
Pre-condition
<debe haber iniciado la jornada electoral>
Status: Approved
Post-condition
<se realizó efectivamente la revisión de la mesa X en el puesto de votación X>
Status: Approved
Post-condition
<se realizó efectivamente la revisión de la jornada electoral>
Status: Approved
Invariant
<solo el registrador o un veedor designado puede realizar la vigilancia a la jornada electoral>
Status: Approved
3.3.63 Modificar inscripción concejo
Responsabilidades (requerimientos)
<capacidad para modificar candidato al concejo> - (Proposed, Medium difficulty) El sistema debera permitir al administrador o registrador modificar los registros de un candidato al concejo siempre y cuando este en el tiempo habilitado por la registraduria para hacerlo
Restricciones
<el candidato al concejo debe estar inscrito previamente>: (Pre-condition, Status is Approved)
<el candidato al concejo solo puede modificar su inscripcion en los tiempos establecidos por la registraduria nacional>: (Invariant, Status is Approved)
<la inscripcion del candidato al concejo fue modificada satisfactoriamente>: (Post-condition, Status is Approved)
<debe haberse Iniciado el proceso Inscripciones candidatos al concejo>: (Pre-condition, Status is Approved) Basic Path Básico: 1 el candidato al concejo debe haberse inscrito previamente.
2 el candidato tiene un
evento que genera un cambio importante en la información entregada anteriormente. 3
el candidato se moviliza a la registraduría municipal donde está inscrito para entregar la nueva información al registrador o al auxiliar.
4 el candidato recibe un certificado que
valida los cambios y le permite seguir estando activo en la lista de candidatos al concejo.
Pre-condition <el candidato al concejo debe estar inscrito previamente>
Status: Approved
Invariant
<el candidato al concejo solo puede modificar su inscripción en los tiempos establecidos por la registraduría nacional>
Status: Approved
Post-condition
<la inscripción del candidato al concejo fue modificada satisfactoriamente>
Status: Approved
Pre-condition <debe haberse Iniciado el proceso Inscripciones candidatos al concejo>
Status: Approved
4. Atributos de Calidad En éste punto se establecerán los atributos de calidad que se deben cumplir. Se tienen en cuenta también los requerimientos no funcionales que plantea Gritzalis [2].
4.1. Seguridad
Un elector no registrado no debe estar habilitado para acceder al sistema de votación. o Un elector debe estar habilitado para votar solo una vez o La privacidad del voto tiene que garantizarse durante la selección, transferencia
y recepción, almacenamiento y conteo de los votos
Ningún elector debe estar habilitado para probar por quien ni en qué forma voto o Ninguno de los participantes involucrados en el proceso (organizadores, oficiales
electorales, encargados, auxiliares, registradores, jurados, testigos, electores, candidatos, etc.) debe estar habilitado para relacionar un voto con la identidad del votante que lo realizo
Cada voto debe ser almacenado como se selecciono en el momento de la ejecución sin alteraciones
o Cada votante debe estar seguro de que se haga un nuevo proceso ("borrón y cuenta nueva") del sistema para garantizar la igualdad, la confianza y reducir al mínimo la manipulación del sistema
El total de votos contados deben corresponder a la totalidad de votos ingresados.
Las operaciones del sistema deben ser auditadas
El ingreso de un usuario al sistema debe ser a través de una comprobación de identidad
El sistema no puede ser reconfigurando durante ninguna operación.
El acceso a la base de datos para el conteo de los votos está prohibido hasta después de cerrar la jornada electoral.
Ningún voto ejecutado puede ser almacenado después de cerrada la jornada electoral
El sistema debe permitir ser abierto para inspecciones independientes y auditorias
El sistema debe estar protegido contra ataques maliciosos a sus servicios como contra servicios accidentales externos
El sistema debe usar alguna forma de encriptación para el envió de los votos desde los web services hacia la base de datos
Todos los datos y la información debe ser almacenada en medios de almacenamiento seguros
4.2. Usabilidad
El sistema debe evitar que el usuario no sienta desorientación al acceder al mismo. A su vez que la información que el usuario necesita, la pueda acceder de una manera más intuitiva por medio de interfaces sencillas; para apoyar este aspecto el sistema debe contar con manuales de ayuda en línea o físicos. El sistema debe ser sencillo e intuitivo para usuarios no expertos
4.3. Escalabilidad
El sistema debe permitir el acople de nuevos módulos o de servicios para mantener funcional el sistema, éste proceso debe ser transparente para el usuario final.
4.4. Persistencia
Se debe registrar todo ingreso del usuario al sistema desde su registro y la interacción que tenga
con éste.
4.5. Privacidad
Privacidad de los datos de los usuarios del sistema
Comunicaciones: La información relativa a cualquiera de las funciones antes
mencionadas debe ser privada, incluso si se transmite a través de redes públicas [2]
4.6. Rendimiento
El sistema debe tener la Capacidad de gestionar 32 votos por segundo (donde 32 es el
número de mesas en el municipio
4.7. Interfaz de usuario
Claridad: debe quedar claro el sentido de voto del usuario de un solo vistazo.
Control: el usuario debe poder controlar la funcionalidad del sistema (principalmente
informarse, votar y delegar)
4.8. Fiabilidad
Disponibilidad de los servidores debe ser del 98% durante las jornadas de inscripción,
votación y escrutinio
El sistema debe tener una tolerancia a fallos del 98% durante el tiempo de ejecución
El sistema debe permitir al usuario verificar el ingreso de su voto y almacenamiento del
mismo antes de cerrar el proceso
4.9. Acción anormal
El sistema debe tratar adecuadamente la interacción anormal o inesperada de entrada de datos en todas las funciones de manera tal que la funcionalidad del sistema se conserve y ninguna información específica de sistema/aplicación se dé a conocer [2].
El sistema debe tener procesos de recuperación de errores en tiempo real, donde el tiempo máximo para la recuperación debe ser de 2 minutos.
4.10. Integridad
Los usuarios deben administrar el sistema único de terminales específicos, dentro de una ventana de tiempo predefinido, utilizando una combinación de medios de autenticación fuerte, como la biometría o tarjetas inteligentes.
Los componentes mínimos necesarios de software y hardware deben ser instalados en los hosts del sistema de votación.
El nivel máximo posible de mejora de la seguridad del sistema operativo se debe aplicar a todas las máquinas del sistema de votación.
Debe ser imposible para un usuario escalar su/sus privilegios del sistema. Se debe permitir, bajo ciertas circunstancias de emergencia, modificar determinadas partes del sistema cuando está en uso. Las infracciones a la seguridad del cliente no debe tener un impacto en la seguridad del sistema [2].
4.11. Activos Los activos de datos deben estar protegidos contra la divulgación no autorizada, la
modificación no autorizada y la fabricación y la negación de acceso autorizado.
Todos los activos de hardware deben estar protegidos de ser inutilizados, no disponibles, robados o perdidos.
Todos los activos de software debe estar razonablemente protegidos de ser eliminados, perdidos, robados, modificados o fabricados. Las personas responsables de las operaciones vitales del sistema deben ser cuidadosamente seleccionados.
BIBLIOGRAFIA [1] Booch, G., Rumbaugh J., Jacobson I. “El lenguaje unificado de modelado”. 2da edición. Casos de uso - Capítulo 17. Pp: 243 – 257. 2000. [2] Gritzalis, D. “Principles and requeriments for a secure e-voting system”. Computers & Security Vol 21. Issue 6. Pp:539–56. 2002.
