US 12,066,911 B2
Method and system for testing operation of target computer system
Reiya Noguchi, Rennes (FR); Thierry Jeron, Le Chesnay-Rocquencourt (FR); Nicolas Markey, Paris (FR); and Ocan Sankur, Paris (FR)
Assigned to Mitsubishi Electric Corporation, Tokyo (JP)
Appl. No. 17/919,340
Filed by MITSUBISHI ELECTRIC CORPORATION, Tokyo (JP)
PCT Filed Apr. 28, 2021, PCT No. PCT/JP2021/017786
§ 371(c)(1), (2) Date Oct. 17, 2022,
PCT Pub. No. WO2021/225180, PCT Pub. Date Nov. 11, 2021.
Claims priority of application No. 20305452 (EP), filed on May 6, 2020.
Prior Publication US 2023/0153216 A1, May 18, 2023
Int. Cl. G06F 11/00 (2006.01); G06F 11/22 (2006.01); G06F 11/26 (2006.01); G06F 11/27 (2006.01); G06F 11/34 (2006.01)
CPC G06F 11/27 (2013.01) [G06F 11/2273 (2013.01); G06F 11/26 (2013.01); G06F 11/3495 (2013.01)] 9 Claims
OG exemplary drawing
 
1. A computer implemented method for testing the operation of a target computer system, said operation of the target computer system being constrained by a set of timed requirements, wherein said method comprises defining subsets of timed requirements of the set, and for each subset of a plurality of subsets, and wherein said method comprises:
searching for an execution sequence of the target computer system, referred to as witness trace, satisfying a criterion for detecting a conflict between timed requirements of the subset;
when a witness trace is found: searching for a contradicting timed requirement among the timed requirements of the set which are not present in the subset, which prevents the witness trace to occur when considered with the subset;
when a contradicting timed requirement is found: augmenting the subset by including the contradicting timed requirement in the subset;
wherein an inconsistency of the operation of the target computer system constrained by the set of timed requirements is detected when a witness trace is found for at least one subset and no contradicting timed requirement is found for said witness trace.