| 摘要 |
PROBLEM TO BE SOLVED: To improve the logic verification efficiency. SOLUTION: The logic verification program allows a personal computer 100 to function as a verification item input editor (S1) which enables an input of a verification item in a natural language on a tabular display screen and to function as a verification result feedback means (S5) which enables the creation of a test report by feeding-back the verification result to the verification item input editor. The processing of the personal computer 100 reduces the time required for creating the test report as compared with the case of manual operation, and also reduces man-made mistakes due to the unnecessity for troublesome manual operations. COPYRIGHT: (C)2005,JPO&NCIPI
|
