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 процессы и определенной как часть программы, которые соответствуют к подтверждая спецификации для проверки программы, производя множественность комбинаций двух или несколько блоков по мере того как трасса проверки соответствуя к проверке спецификации, и извлекать процесс соответствуя к подтверждая спецификации исполненной в предопределенном количестве или большом числе трасс проверки, как отростчатая спецификация которая должна быть исполнена также в другой трассе проверки.
