The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Feb. 24, 2004
Filed:
Jun. 14, 2000
Fumio Shimada, Kawasaki, JP;
Fujitsu Limited, Kawasaki, JP;
Abstract
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.