Please enable JavaScript.
Coggle requires JavaScript to display documents.
Verificación y validación de software, Jacinto Robledo Valeria Berenice -…
Verificación y validación de software
1. Introducción a la validación y verificación de software
descripciones fundamentales del software
el desarrollo de software se basa en cuatro descripciones fundamentales: requerimientos, especificaciones, diseño y programa
documentación y validación/verificación
la documentación, validación y verificación son procesos esenciales en el desarrollo de software que deben ser realizados de manera continua
diferencia entre validación y verificación
la validación se enfoca en comparar el trabajo con lo solicitado por el usuario, mientras que la verificación se asegura de que se estén siguiendo las instrucciones del usuario en la implementación del software
2. requerimientos de software
definición de requerimientos de software
los requerimientos de software son las especificaciones proporcionadas por el usuario o cliente que representan la visión del programa y sus características
ejemplos de requerimientos de software
los ejemplos de requerimientos de software incluyen la creación de una calculadora o un programa que calcule el imc corporal
responsabilidad del programador en los requerimientos de software
es responsabilidad del programador determinar si los requerimientos de software son correctos y cumplen con las necesidades del usuario
3. especificaciones
ejemplos de especificaciones
los ejemplos de especificaciones incluyen la estructura de clases en programación orientada a objetos
importancia de las especificaciones
las especificaciones son importantes para guiar el desarrollo del software y asegurar su eficiencia y comprensibilidad
definición de especificaciones
las especificaciones son descripciones detalladas del software que incluyen todos sus aspectos
4. diseño del software
buenas prácticas en el diseño del software
en programación orientada a objetos, es una buena práctica dividir el código en clases para facilitar su implementación
objetivo del diseño del software
el objetivo del diseño del software es unir todas las partes del código para crear el programa final
definición de diseño del software
el diseño del software es la etapa en la que se estructura el código de manera eficiente y comprensible en cualquier lenguaje de programación
5. programa
definición de programa
el programa es el código fuente final que se entrega al usuario
responsabilidad del programador en el programa
el programador es responsable de implementar correctamente los requerimientos y especificaciones en el programa final
6. conceptos de verificación y validación
diferencia entre verificación y validación
la verificación se enfoca en confirmar la implementación correcta del software, mientras que la validación se centra en asegurar que cumpla con los requisitos del usuario
definición de verificación y validación
la verificación se refiere a la evaluación del sistema para comprobar su cumplimiento con las especificaciones, mientras que la validación se enfoca en verificar que el software cumpla con los requisitos del cliente
importancia de la verificación y validación
la verificación y validación son procesos cruciales en el desarrollo de software, ya que cualquier error en estos pasos puede resultar en problemas graves para la empresa y su reputación
7. herramientas para la verificación y validación del software
tipos de herramientas para la verificación y validación
las herramientas pueden ser automatizadas o manuales, y se pueden enfocar en el código o en la generación de casos de prueba
herramientas para la verificación automatizada
herramientas estáticas
estas herramientas revisan la sintaxis y la estructura del código para detectar posibles problemas
herramientas dinámicas
estas herramientas realizan un seguimiento de la ejecución del programa y examinan su comportamiento
herramientas para la validación automatizada
estas herramientas se enfocan en generar casos de prueba para asegurar una determinada cobertura del software
herramientas integradas
estas herramientas ofrecen un conjunto de facilidades y combinan diferentes tipos de herramientas para la verificación y validación del software
8. junit
configuración de junit
junit se puede integrar con proyectos de java en eclipse y se puede elegir la versión adecuada para su uso
elementos de junit
métodos de prueba
son los métodos que se ejecutan automáticamente al probar una clase en junit
aserciones
las pruebas en junit se basan en programación con aserciones para verificar el correcto funcionamiento del software
casos de prueba
son clases que contienen métodos para probar los métodos de una clase en java
grupos de prueba
se utilizan para agrupar varias clases de prueba y ejecutarlas en conjunto
definición de junit
junit es una herramienta de testing unitario para java que permite desarrollar y ejecutar pruebas de forma sistemática
9.metododologia
proceso de ciclo de vida completo
la metodología es un conjunto de procedimientos que guían a los desarrolladores de software en todas las etapas del proyecto
conjunto completo de conceptos y modelos congruentes
modelos de proceso prescriptivo
las metodologías clásicas son propuestas para organizar el desarrollo de software y se basan en modelos de proceso prescriptivo
colección de reglas y guías
las metodologías proporcionan reglas y guías para mejorar la gestión de proyectos y la calidad del software
Jacinto Robledo Valeria Berenice
Resumen del tema en 3 frases
V&V asegura que el software es correcto y cumple con sus requisitos.
Incluye técnicas de análisis, pruebas y revisión.
Se realiza durante todo el ciclo de vida del software.