Almacenamiento de datos RAID

La verificación formal es 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 sólo pueden demostrar la presencia de errores para entradas específicas, la verificación formal puede demostrar su ausencia para todas las entradas posibles. Consiste en crear un modelo formal del sistema y utilizar técnicas como la comprobación de modelos o la demostración de teoremas.

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.

La verificación y la validación son procesos distintos. La verificación garantiza que un producto cumple los requisitos especificados ("¿Lo estás construyendo bien?"). La validación garantiza que el producto satisface las necesidades reales del usuario y el uso previsto ("¿Está construyendo lo correcto?"). Son actividades complementarias dentro de la gestión de la calidad, a menudo realizadas secuencialmente 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.

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.

La detección de señales es el proceso de identificar posibles relaciones causales entre un fármaco y un evento adverso a partir de grandes conjuntos de datos, generalmente sistemas de notificación espontánea. Utiliza métodos estadísticos, conocidos como análisis de desproporcionalidad, para encontrar combinaciones de fármaco y evento notificadas con mayor frecuencia de la esperada. Una medida común es el Odds Ratio de Notificación (ROR), un valor superior a uno que sugiere una posible señal que requiere mayor investigación.

Jakob Nielsen, un destacado consultor de usabilidad en UI y diseño web principalmente, definió la usabilidad a través de cinco componentes de calidad: Capacidad de aprendizaje (¿qué tan fácil es para los usuarios realizar tareas básicas la primera vez?), Eficiencia (¿qué tan rápido pueden realizar las tareas una vez aprendidas?), Memorabilidad (¿pueden los usuarios restablecer la competencia después de un período de no usarlo?), Errores (¿cuántos errores cometen los usuarios?) y Satisfacción (¿qué tan agradable es de usar?).

La norma internacional ISO 9241-11 define la usabilidad como el grado en que un producto puede ser utilizado por usuarios específicos para alcanzar objetivos específicos con eficacia, eficiencia y satisfacción en un contexto de uso específico. Esta definición proporciona un marco para medir la usabilidad, desglosándola en tres componentes distintos y cuantificables, yendo más allá de las evaluaciones puramente subjetivas.