发明名称 |
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.
|
申请公布号 |
CA2193515(A1) |
申请公布日期 |
1995.12.28 |
申请号 |
CA19952193515 |
申请日期 |
1995.06.20 |
申请人 |
SIEMENS AKTIENGESELLSCHAFT |
发明人 |
MERTENS, UWE;SCHULZE, WERNER;GRAF, ARNOLD |
分类号 |
G06F11/36;(IPC1-7):G06F11/00 |
主分类号 |
G06F11/36 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|