Flashcards
Ingeniería de software 2025 - parte 3
Cards in this deck (55)
- 1Es una actividad que se interesa por comprobar que un sistema crítico cubra los requerimientos de confiabilidad. Esto requiere procesos de verificación y validación (V&V) que buscan errores de especificación, diseño y programa que puedan afectar la disponibilidad, protección, fiabilidad o seguridad de un sistemaGarantizar la confiabilidad y seguridad
- 2Razones por las que los sistemas críticos requieren de pruebas y análisis especialmente rigurosos1.- Costos de la falla
2.- Validación de atributos de confiabilidad - 3Los costos y las consecuencias de la falla de los sistemas críticos son potencialmente mucho mayores que los sistemas no críticos. Los riesgos de fallas del sistema se reducen al invertir más en verificación y validación del sistemaCostos de la falla
- 4Tal vez deba elaborar un argumento formal para los clientes y para un organismo regulador de que el sistema satisface los requerimientos de confiabilidad especificados (disponibilidad, fiabilidad, protección y seguridad)Validación de atributos de confiabilidad
- 5Normalmente, más de la mitad de los costos de desarrollo de un sistema ________ se destinan a procesos V&Vcríticos
- 6El ________ de los procesos para garantizar la confiabilidad y seguridad es un conjunto de evidencia tangible, tal como los reportes de revisión, resultados de pruebas, etcétera.resultado
- 7Son técnicas de verificación del sistema que no incluyen la ejecución de un programa. Funciona sobre una representación fuente del software: un modelo de especificación o diseño, o él código fuente del programaLas técnicas de análisis estático
- 8La técnica de análisis estático usada con más frecuencia sea la __________ en la que un grupo de personas se encargan de comprobar una especificación, un diseño o programaRevisión e inspección por pares
- 9Para sistemas críticos, pueden emplearse técnicas adicionales de análisis estáticos1.- Verificación formal
2.- Comprobación de modelo
3.- Análisis automatizado de programa - 10Se producen argumentos matemáticamente rigurosos de que un programa se conforma a su espesificaciónVerificación formal
- 11Se usa un verificador de teoremas para revisar una descripción formal del sistema en busca de inconsistenciasComprobación de modelo
- 12El código fuente de un programa se revisa por patrones que, según se sabe, son potencialmente erróneosAnálisis automatizado de programa
- 13Los métodos formales del desarrollo del software se apoyan en un _________ que sirve como especificación del sistemamodelo formal
- 14Son bastante efectivas para descubrir aquellos problemas de especificación que son las causas más comunes de falla del sistemaLas especificaciones formales
- 15Implica la creación de un modelo de sistema y la comprobación de la corrección de dicho modelo mediante herramientas especializadas de softwareLa comprobación del modelo
- 16Es particularmente útil en la validación de sistemas concurrentes, que son notoriamente difíciles de comprobar debido a su sensibilidad del tiempoLa comprobación del modelo
- 17Es muy costosa desde el punto de vista computacional, pues usa un enfoque exahustivo para comprobar todas las rutas a lo largo del modelo del sistemaLa comprobación del modelo
- 18Trabajan sobre el código fuente de un sistema y, al menos para ciertos tipos de análisis, no se requieren más entradas.Las herramientas de análisis estáticos
- 19Son herramientas de software que exploran el texto fuente de un programa y detectan posibles fallas en el desarrollo y anomalías.Los analizadores estáticos automatizados
- 20Existen tres niveles de comprobación que pueden implementarse en analizadores estáticos:1.- Comprobación de error característico
2.- Comprobación de error definido por el usuario
3.- Comprobación de aserción - 21En este nivel, el analizador estático sabe acerca de errores comunes que cometen los programadores en lenguajes como Java o C. La herramienta analiza el código en busca de patrones que sean característicos de ese problema y los destaca para el programadorComprobación de error característico
- 22En este enfoque, los usuarios del analizador estático pueden definir patrones de error, por lo tanto, se extienden los tipos de error que pueden detectarse.Comprobación de error definido por el usuario
- 23Los desarrolles incluyen aserciones formales (escritos con frecuencia en comentarios estilizados) en su programa, las cuales establecen relaciones que deben sostenerse en dicho punto del programaComprobación de aserción
- 24Es efectivo para encontrar errores en programas, pero por lo regular genera un gran número de "falsos positivos"El análisis estatico
- 25Son un proceso de pruebas cuya meta consiste precisamente en medir la fiabilidad de un sistemaPruebas de fiabilidad
- 26Refleja cómo éste se usará en la práctica. Consta de una especificación de clases de entrada y su probabilidad de ocurrenciaEl perfil operativo de un sistema de software
- 27Puede guiar rápidamente al equipo de prueba hacía áreas de un programa que incluye errores y vulnerabilidades. Es particularmente útil como herramienta de prueba de seguridadUn análisis estático de un programa
- 28Para comprobar la seguridad de un sistema, puede usarse una combinación de pruebas, análisis basado en herramientas y verificación formal1.- Pruebas basadas en la experiencia
2.- Equipos tigre
3.- Pruebas basadas en herramientas
4.- Verificación formal - 29El sistema se analiza contra tipos de ataque que conoce el equipo de validación. Esto implica el desarrollo de casos de prueba o el examen del código fuente de un sistemaPruebas basadas en la experiencia
- 30Se establece un "equipo tigre", al que se le impone el objetivo de violar la seguridad del sistema. Simulan ataques al sistema y usan su ingenio para descubrir nuevas formas de comprometer la seguridad del sistemaEquipos tigres
- 31Para este método se usan varias herramientas de seguridad, tales como verificadores de contraseña que permitan analizar el sistema. Realmente es una extensión de la validación basada en experienciaPruebas basadas en herramientas
- 32Un sistema puede verificarse contra una especificación de seguridad formalVerificación formal
- 33Se ocupa tanto de la recolección de información sobre los procesos usados durante el desarrollo del sistema, como de los resultados de dichos sistemasEl aseguramiento del proceso
- 34Demostrar que se uso un ________ incluye generar gran cantidad de evidencia documental sobre el proceso y el software a desarrollar.Proceso confiable
- 35Actividades para garantizar la protección que se incorporan en los procesos de software1.- Registro y monitorización de peligros que rastrean los riesgos a partir de análisis preliminares de peligros, mediante pruebas y validación del sistema
- 36Actividades para garantizar la protección que se incorporan en los procesos de software2.- Revisiones de protección, que se efectúan a lo largo del proceso de desarrollo
- 37Actividades para garantizar la protección que se incorporan en los procesos de software3.- Certificación de protección, en la que se legitima formalmente la protección de los componentes críticos. Esto implica un grupo de expertos externo que examina la evidencia disponible y decide si un sistema o componente debe considerarse protegido o no
- 38Se ocupa de identificar los riesgos, su probabilidad de ocurrencia y la probabilidad de que cada uno de ellos conduzca a un accidenteEl análisis del peligro
- 39Son documentos estructurados que establecen argumentos y evidencias detallados de que un sistema está protegido, o que se logró un nivel requerido de seguridad o confiabilidadLos casos de protección y confiabilidad.
También llamados casos de aseguramiento - 40Reúne toda la evidencia disponible que indica que un sistema es confiableCaso de protección y confiabilidad
- 41Son generalizaciones de casos de seguridad del sistemaCasos de confiabilidad
- 42Una recopilación de la evidencia documentada que ofrece un argumento convincente y válido de que un sistema está adecuadamente protegido para una aplicación dada en un entorno determinadoCasos de Protección
- 43La decisión de si un sistema es o no suficientemente confiable para emplearse debe basarse en _______. Dichos argumentos deben demostrar que la evidencia presentada apoya las afirmaciones sobre la seguridad y confiabilidad de un sistemaArgumentos lógicos
- 44Vincula la evidencia y la informaciónUn Argumento
- 45Son un tipo de argumento estructurado, que señala que un programa cumple con sus obligaciones de protecciónLos argumentos estructurados de protección
- 46Solo es necesario demostrar que la ejecución del programa no derivará en un estado inseguroArgumento de protección
- 47Tienen la intención de demostrar que, en condiciones de ejecución normales, un programa debería de ser seguroLos argumentos estructurados de protección
- 48Es un enfoque de V&V que examina el código fuente de un sistema, y que busca errores y anomalías. Permite que todas las partes de un programa se verifiquen, no solo aquellas que se ejercitan mediante pruebas del sistemaEl análisis estático
- 49Es un enfoque formal al análisis estático que comprueba exhaustivamente todos los estados de un sistema en busca de errores potencialesLa comprobación del modelo
- 50Se usan para evaluar la fiabilidad del software. Se apoyan en probar el sistema en conjunto de datos de prueba que reflejen el perfil operativo del software. Los datos de prueba pueden generarse automáticamenteLas pruebas estadísticas
- 51Es dificil porque los requerimientos de seguridad establecen lo que no debe ocurrir en un sistema, en lugar de lo que debe ocurrirLa validación de seguridad
- 52Puede realizarse mediante análisis basados en la experiencia, análisis basados en herramientas o "equipos tigre", que simulan ataques a un sistemaLa validación de seguridad
- 53Es importante tener un proceso certificado bien definido para el desarrollo de sistemas ___________. El proceso debe incluir la identificación y monitorización de peligros potencialescríticos de protección
- 54Reúnen toda la evidencia que demuestra que un sistema es seguro y confiable. Los casos de protección se requieren cuando un regulador externo debe certificar el sistema antes de su uso.Los casos de protección y confiablididad
- 55Demuestran que una condición peligrosa identificada nunca ocurrirá, al considerar todas las rutas del programa que conduzcan a una condición no protegida y al probar que la condición es insostenibleLos argumentos estructurados de protección
Information
- Description
- Garantía de confiabilidad y seguridad
- Created by
- Salvador Giron
- Views
- 13
- Rating