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

摘要

The invention relates to a system (1) and a process for generating a computer program with quantifiable operability from a first program specification with a generator (2), a verifier (3) comprising a translator (6) and a comparator (7), and a qualifier (5). A computer program generated by the generator (2) is checked for errors in the verifier (3), while the translator (6) retranslates the computer program into a second program specification and the comparator (7) compares the two programs. If the program specifications are the same, the qualifier (5) determines a probability of error related to one program line. This probability of error gives a measure of the operability of the program.