Title:
PROCESS NUMBER CALCULATION SUPPORT APPARATUS AND PROCESS NUMBER CALCULATION SUPPORT METHOD
Document Type and Number:
Japanese Patent JP2022153030
Kind Code:
A
Abstract:
To determine, before automatic generation of verification data, whether or not the automatic generation is successful, to allow estimation of the number of generation of the verification data.SOLUTION: A process number calculation support apparatus 100 according to the present invention has: a storage device 103 for storing a verification object table, an automatic generation limiting factor table, an automatic generation object determination threshold value, and a process number setting table; and an arithmetic device 101 for specifying a verification object function based on the verification object table, calculating the number of the automatic generation limiting factors for each verification object function, calculating success probability in automatic generation of verification data relating to a predetermined program based on the number of the verification object function, determining whether or not each verification object function is a target of automatic generation of verification data based on the success probability, and calculating the number of generation of the verification data for each verification object function based on the determination result.SELECTED DRAWING: Figure 1
More Like This:
Inventors:
SOGA RYO
KANUKA HIDEYUKI
KURITA SHIGERU
OHARA TAKATOSHI
INAGAKI MITSUO
YONEMITSU TETSUYA
SUGAO HIROO
KANUKA HIDEYUKI
KURITA SHIGERU
OHARA TAKATOSHI
INAGAKI MITSUO
YONEMITSU TETSUYA
SUGAO HIROO
Application Number:
JP2021056049A
Publication Date:
October 12, 2022
Filing Date:
March 29, 2021
Export Citation:
Assignee:
HITACHI LTD
International Classes:
G06F8/70; G06F11/36
Attorney, Agent or Firm:
Isshiki International Patent Service Corporation