Byzantinische Fehlertoleranz (BFT)

Verifizierung und Validierung (V&V) sind zwei unterschiedliche Prozesse. Die Verifizierung stellt sicher, dass ein Produkt die spezifizierten Anforderungen erfüllt ("Bauen Sie es richtig?"). Die Validierung stellt sicher, dass das Produkt den tatsächlichen Bedürfnissen und der beabsichtigten Verwendung des Benutzers entspricht ("Bauen Sie das richtige Produkt?"). Es handelt sich um sich ergänzende Aktivitäten im Rahmen des Qualitätsmanagements, die oft nacheinander oder parallel durchgeführt werden, um sowohl die Korrektheit als auch die Nützlichkeit zu gewährleisten.

Die Wiederholbarkeitsgrenze, [latex]r[/latex], ist ein kritischer Wert, der von der Wiederholbarkeitsstandardabweichung ([latex]s_r[/latex]) abgeleitet ist. Sie stellt die maximal zu erwartende absolute Differenz zwischen zwei einzelnen Prüfergebnissen dar, die unter Wiederholbarkeitsbedingungen mit einer Wahrscheinlichkeit von 95% erzielt werden. Sie wird üblicherweise berechnet als [latex]r = 2,8 \mal s_r[/latex]. Wenn die Differenz [latex]r[/latex] übersteigt, gelten die Ergebnisse als verdächtig.

RAID (acronym of Redundant Array of Independent Disks) is a data storage virtualization technology that combines multiple physical disk drives into one or more logical units for data redundancy, performance improvement, or both. Different RAID levels provide varying balances of reliability, availability, performance, and capacity. For example, RAID 1 mirrors data across two disks, while RAID 5 stripes data and parity across at least three disks.

Die Finite-Volumen-Methode (FVM) ist ein gängiges numerisches Verfahren in der CFD zur Lösung partieller Differentialgleichungen. Dabei wird der Definitionsbereich in ein Netz von Kontrollvolumina diskretisiert und die zugrundeliegenden Gleichungen in ihrer Integralform auf jedes Volumen angewendet. Durch die Umwandlung von Volumenintegralen in Oberflächenintegrale mithilfe des Divergenztheorems konzentriert sich die Methode auf die Berechnung des Flusses konservierter Eigenschaften über Zellflächen.

Unter formaler Verifikation versteht man den Einsatz mathematischer Methoden, um die Korrektheit des Entwurfs eines Systems in Bezug auf eine formale Spezifikation zu beweisen oder zu widerlegen. Im Gegensatz zum Testen, das nur das Vorhandensein von Fehlern für bestimmte Eingaben nachweisen kann, kann die formale Verifikation das Fehlen von Fehlern für alle möglichen Eingaben beweisen. Sie umfasst die Erstellung eines formalen Modells des Systems und die Anwendung von Techniken wie Model Checking oder Theorem Proving.

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].

Das Spiralmodell ist ein risikoorientiertes Softwareentwicklungsprozessmodell, das Elemente des Prototypings und des Wasserfallmodells kombiniert. Es handelt sich um eine Art iterativer Entwicklung, bei der das Projekt in jeder Iteration (Spirale) vier Phasen durchläuft: Ziele festlegen, Risiken identifizieren und beheben, entwickeln und testen sowie die nächste Iteration planen. Der Schwerpunkt liegt auf der kontinuierlichen Risikoanalyse.

Signal detection is the process of identifying potential causal relationships between a drug and an adverse event from large datasets, typically spontaneous reporting systems. It uses statistical methods, known as disproportionality analysis, to find drug-event combinations reported more frequently than expected. A common measure is the Reporting Odds Ratio (ROR), a value greater than one suggesting a potential signal that requires further investigation.

Jakob Nielsen, ein bekannter Usability-Berater, vor allem in den Bereichen UI und Webdesign, definierte Usability anhand von fünf Qualitätskomponenten: Erlernbarkeit (wie leicht ist es für Benutzer, grundlegende Aufgaben beim ersten Mal zu erledigen?), Effizienz (wie schnell können sie einmal erlernte Aufgaben erledigen?), Einprägsamkeit (können Benutzer ihre Kenntnisse nach einer Zeit der Nichtbenutzung wiederherstellen?), Fehler (wie viele Fehler machen Benutzer?) und Zufriedenheit (wie angenehm ist die Nutzung?).