G - Physics – 06 – F
Patent
G - Physics
06
F
G06F 11/00 (2006.01) G06F 11/36 (2006.01)
Patent
CA 2193515
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.
L'invention concerne un système (1) ainsi qu'un procédé pour la production d'un programme d'ordinateur à capacité fonctionnelle quantifiable à partir d'une première spécification de programme, comprenant un générateur (2), un vérificateur (3) présentant un traducteur (6) et un comparateur (7), ainsi qu'un qualificateur (5). Un programme d'ordinateur fourni par le générateur (2) est contrôlé, quant aux erreurs, dans le vérificateur (3), le traducteur (6) retransmettant le programme d'ordinateur dans une deuxième spécification de programme, et le comparateur (7) comparant les deux spécifications de programme. Pour une identité des spécifications, le qualificateur (5) détermine une probabilité d'erreur par rapport à une ligne de programme du programme d'ordinateur. Cette probabilité d'erreur est une mesure de capacité fonctionnelle du programme d'ordinateur.
Graf Arnold
Mertens Uwe
Schulze Werner
Aktiengesellschaft Siemens
Fetherstonhaugh & Co.
LandOfFree
System and process for generating a computer program with... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with System and process for generating a computer program with..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System and process for generating a computer program with... will most certainly appreciate the feedback.
Profile ID: LFCA-PAI-O-1558939