Comprobación de modelos

Las Siete Herramientas Básicas de la Calidad son un conjunto de técnicas gráficas identificadas por Kaoru Ishikawa para la resolución de problemas relacionados con la calidad. Estas herramientas son: diagrama de causa y efecto (espina de pescado), hoja de verificación, gráfico de control, histograma, diagrama de Pareto, diagrama de dispersión y estratificación (a menudo presentada como diagrama de flujo). Se consideran básicas porque son fáciles de usar y requieren poca formación estadística formal.

El modelo en cascada es un proceso de desarrollo de software secuencial y no iterativo, donde el progreso fluye de forma continua (como una cascada) a través de distintas fases: concepción, inicio, análisis, diseño, construcción, pruebas, implementación y mantenimiento. Cada fase debe completarse por completo antes de pasar a la siguiente. A menudo se compara con los modelos iterativos para destacar su flexibilidad.

The recovery block scheme is a software fault-tolerance technique based on design diversity and backward error recovery. It structures a program as a series of blocks, each with a primary module, an acceptance test, and one or more alternate modules. If the primary module's output fails the acceptance test, the system state is restored, and an alternate module is executed.

La verificación y la validación (V&V) son procesos distintos. La verificación asegura que un producto cumpla con los requisitos especificados («¿Lo estás fabricando correctamente?»). La validación asegura que el producto satisfaga las necesidades reales del usuario y su uso previsto («¿Estás fabricando el producto adecuado?»). Son actividades complementarias dentro de la gestión de la calidad, que a menudo se realizan de forma secuencial o en paralelo para garantizar tanto la corrección como la utilidad.

El límite de repetibilidad, [latex]r[/latex], es un valor crítico derivado de la desviación típica de la repetibilidad ([latex]s_r[/latex]). Representa la máxima diferencia absoluta esperada entre dos resultados de un mismo ensayo, obtenidos en condiciones de repetibilidad, con una probabilidad de 95%. Suele calcularse como [latex]r = 2,8 veces s_r[/latex]. Si la diferencia supera [latex]r[/latex], los resultados se consideran sospechosos.

BFT (acrónimo de Byzantine Fault Tolerance) es una propiedad de un sistema que le permite seguir funcionando correctamente y alcanzar el consenso aunque algunos de sus componentes fallen de forma arbitraria e impredecible, incluido el comportamiento malicioso (fallos bizantinos). Se trata de una garantía mucho mayor que la de tolerar simples fallos por colisión. Se requiere un mínimo de [latex]3f+1[/latex] componentes totales para tolerar [latex]f[/latex] componentes defectuosos y maliciosos.

Real-time systems are classified as "hard" or "soft" based on the consequence of missing a deadline. In a hard real-time system, missing a deadline is a total system failure, such as in an anti-lock braking system. In a soft real-time system, missing a deadline leads to degraded performance but not catastrophic failure, such as in live audio-video streaming.

La Programación Monotónica de Tasa (RMS) es un algoritmo de programación de prioridad estática para tareas periódicas en un sistema de tiempo real. Asigna prioridades según la frecuencia de las tareas: cuanto menor sea el período de una tarea (mayor su tasa), mayor será su prioridad. RMS es un algoritmo de prioridad estática óptimo; es decir, si cualquier algoritmo de prioridad estática puede programar un conjunto de tareas, RMS también puede. La programabilidad se puede comprobar mediante una prueba basada en la utilización.

El Método de Volumen Finito (MFF) es una técnica numérica dominante en CFD para la resolución de ecuaciones diferenciales parciales. Discretiza el dominio en una malla de volúmenes de control y aplica las ecuaciones que lo rigen en su forma integral a cada volumen. Al convertir las integrales de volumen en integrales de superficie mediante el teorema de divergencia, se centra en el cálculo del flujo de propiedades conservadas a través de las caras de la celda.

La verificación formal consiste en el uso de métodos matemáticos para probar o refutar la corrección del diseño de un sistema con respecto a una especificación formal. A diferencia de las pruebas, que solo pueden mostrar la presencia de errores para entradas específicas, la verificación formal puede probar su ausencia para todas las entradas posibles. Implica la creación de un modelo formal del sistema y el uso de técnicas como la verificación de modelos o la demostración de teoremas.

A statistical measure of a process's ability to produce output within customer-defined specification limits. Unlike control charts, which track stability, Cpk quantifies capability. It measures how centered the process is between the specification limits and accounts for process variation. A higher Cpk value indicates a more capable process. The formula is [latex]C_{pk} = \min\left[\frac{USL - \mu}{3\sigma}, \frac{\mu - LSL}{3\sigma}\right][/latex].

El Modelo Espiral es un modelo de proceso de desarrollo de software basado en riesgos que combina elementos tanto del prototipado como del modelo en cascada. Es un tipo de desarrollo iterativo donde el proyecto pasa por cuatro fases en cada iteración (espiral): determinación de objetivos, identificación y resolución de riesgos, desarrollo y pruebas, y planificación de la siguiente iteración. Hace hincapié en el análisis continuo de riesgos.