SYSTEM AND PROCESS FOR GENERATING A COMPUTER PROGRAM WITH QUANTIFIABLE OPERABILITY, PROCESS FOR QUANTIFYING THE OPERABILITY OF A COMPUTER PROGRAM AND USE OF A COMPUTER PROGRAM OF QUANTIFIABLE OPERABILITY

摘要

Die Erfindung betrifft ein System (1) sowie ein Verfahren zur Erzeugung eines Rechnerprogramms mit quantifizierbarer Funktionsfähigkeit aus einer ersten Programmspezifikation mit einem Generator (2), einem Verifikator (3), welcher einen Translator (6) und einen Komparator (7) umfasst, sowie einem Qualifikator (5). Ein von dem Generator (2) erzeugtes Rechnerprogramm wird in dem Verifikator (3) auf Fehler überprüft, wobei der Translator (6) das Rechnerprogramm in eine zweite Programmspezifikation rücküberträgt und der Komparator (7) die beiden Programmspezifikationen vergleicht. Bei Gleichheit der Programmspezifikationen bestimmt der Qualifikator (5) eine Fehlerwahrscheinlichkeit bezogen auf eine Programmzeile des Rechnerprogramms. Diese Fehlerwahrscheinlichkeit ist ein Mass für die Funktionsfähigkeit des Rechnerprogramms.