Argumentando la seguridad en las fases de desarrollo de software


   Metodología a seleccionar 

De todas las metodologías estudiadas cual de ellas seleccionará para el desarrollo de software seguro, especifique los criterios que tendría en cuenta para seleccionar dicha metodología.  Un vez desarrollado este numeral, capture la pantalla  de la diapositiva y publíquela en el blog portafolio.

R/

Si el principal objetivo es garantizar la corrección y calidad del software desde el principio, minimizando los errores, CbyC puede ser una buena opción. Porque esta metodología se basa en modelos formales y verificaciones para construir software confiable y de alta calidad.

Estos son los criterios que tendría en cuenta:

1.  Diseño formal: Usaría modelos formales y matemáticos para especificar y verificar el diseño del software.

2.  Verificación rigurosa: Realizaría pruebas formales, simulaciones y análisis estático y dinámico del código para garantizar la corrección del software.

3.  Especificaciones precisas: Contar con especificaciones claras y detalladas del software para facilitar la verificación y validación.

4.  Rigurosidad en el proceso de desarrollo: Seguir un proceso estructurado que incluya revisiones técnicas formales, documentación exhaustiva y controles de calidad en cada etapa del ciclo de vida.

     5.  Gestión de cambios: Establecer un mecanismo sólido para gestionar los cambios en             el software, evaluando y verificando rigurosamente cualquier modificación.

 

 

Comentarios