Title:
プログラム検査装置及びプログラム検査用プログラム
Document Type and Number:
Japanese Patent JP6893752
Kind Code:
B2
Abstract:
To provide a program inspection device with which it is possible to inspect whether a program is completed precisely, even when computation is performed continuously and the results are succeeded.SOLUTION: The program inspection device comprises a database 200, a CPU 100, an input unit 150, and display means 300. The database is provided with a definition information file 210 having definition information in which a source file name for identifying a source file and the function names of functions included in the source file are correlated, and a computation numerical rule information file 220 in which is stored computation numerical rule information in which rule information in a program relating to numeric values pertaining to computation written in the source file and function names are correlated. Determination means 110 analyzes the function to be inspected and refers to the definition information and computation numerical rule information for each step of computation, and determines whether or not the condition that the computation should satisfy is satisfied. Output control means 120 outputs the determination result to display means.SELECTED DRAWING: Figure 1
Inventors:
Akira Yamanaka
Tomoyoshi Yokokawa
Tomoyoshi Yokokawa
Application Number:
JP2019174721A
Publication Date:
June 23, 2021
Filing Date:
September 25, 2019
Export Citation:
Assignee:
Toshiba Information Systems (Japan)
International Classes:
G06F11/36
Domestic Patent References:
| JP201222688A | ||||
| JP201986953A |
Attorney, Agent or Firm:
Takashi Matsuura
Honda Takashi
Hiroki Ogura
Honda Takashi
Hiroki Ogura