Anforderungsprofil von Software wechseln

Es ist möglich, aus der Erfahrung, die für Software mit der Abarbeitung bestimmter Anforderungen in betrieblichen Umgebungen vorliegt, auf deren späteres Versagensverhalten in anders gearteten Einsätzen zu schließen. Hierbei spielen die Pfade, in denen die Software abläuft, eine entscheidende Rolle. Sie bilden mit den Häufigkeiten ihrer Abläufe das jeweilige Anforderungsprofil. Sind das alte und das neue Anforderungsprofil bekannt, lässt sich auf die Versagenseigenschaften in der neuen Umgebung schließen. Die Schlüsse können auch die Ungenauigkeiten in den Kenntnissen der Profile berücksichtigen. Ungenauigkeiten über das neue Profil wiegen besonders schwer. Ist dieses aber genau bekannt und liegen entsprechend umfangreiche Betriebserfahrungen vor, lässt sich die Erfüllung auch hoher Zuverlässigkeits-Anforderungen zeigen. Ergänzende deterministische Verfikationsbemühungen sind immer nötig.