Program verifying method and system

   
   

A program development support system scans a program beforehand, extracts an essential process specification that should be actualized by an individual program and automatically extracts a part of the program that is not coincident with the process specification. A method of verifying an execution program executed by a computer for generating the execution program into blocks each including one or more processes and defined as a part of the program, which correspond to a verifying specification for verifying the program, generating a plurality of combinations of the two or more blocks as check route corresponding to the verifying the specification, and extracting the process corresponding to the verifying specification executed in a predetermined number or greater number of check routes, as a process specification that should be executed also in other check route.

Система поддержки программы развития просматривает программу заранее, извлекает необходимую отростчатую спецификацию которая должна быть актуализирована индивидуальной программой и автоматически извлекает часть программы которая не сопадающая с отростчатой спецификацией. Метод проверки программы исполнения исполненной компьютером для производить программу в блоки каждое исполнения включая one or more процессы и определенной как часть программы, которые соответствуют к подтверждая спецификации для проверки программы, производя множественность комбинаций двух или несколько блоков по мере того как трасса проверки соответствуя к проверке спецификации, и извлекать процесс соответствуя к подтверждая спецификации исполненной в предопределенном количестве или большом числе трасс проверки, как отростчатая спецификация которая должна быть исполнена также в другой трассе проверки.

 
Web www.patentalert.com

< Workflow management system, method, and medium with personal subflows

< Process for obtaining HMG-CoA reductase inhibitors of high purity

> System, apparatus and method for providing maintenance instructions to a user at a remote location

> Q-switched cavity dumped CO2 laser for material processing

~ 00102