US 11,914,507 B2
Software test apparatus and software test method
Hironobu Kuruma, Tokyo (JP); Naoto Sato, Tokyo (JP); Tomoyuki Myojin, Tokyo (JP); Hideto Ogawa, Tokyo (JP); and Makoto Ishikawa, Tokyo (JP)
Assigned to HITACHI, LTD., Tokyo (JP)
Filed by Hitachi, Ltd., Tokyo (JP)
Filed on May 26, 2022, as Appl. No. 17/825,564.
Claims priority of application No. 2021-092693 (JP), filed on Jun. 2, 2021.
Prior Publication US 2022/0391315 A1, Dec. 8, 2022
Int. Cl. G06F 11/36 (2006.01); G06N 5/046 (2023.01); G05B 17/02 (2006.01)
CPC G06F 11/3688 (2013.01) [G06F 11/3684 (2013.01); G06N 5/046 (2013.01)] 14 Claims
OG exemplary drawing
 
1. A software test method to be executed by an information processing device, the method comprising:
processing of storing, in a storage device, a prediction model generated by machine learning, the prediction model being a test target;
processing of accepting an input of a precondition for determining a range of a test input value;
processing of accepting an input of a constraint condition for an inference output value of a prediction model with respect to the test input value;
processing of accepting an input of an approximation threshold value;
processing of acquiring the prediction model from the storage device and converting the prediction model into a logical expression;
processing of analyzing an approximation range based on the approximation threshold value with respect to the logical expression to simplify the logical expression;
processing of generating an inspection expression by combining the simplified logical expression with the precondition and negation of the constraint condition;
processing of searching for, as a counterexample, a value satisfying the inspection expression;
processing of inputting the value to the prediction model to evaluate inspection accuracy when the counterexample exists; and
processing of outputting a result of the evaluation.