Systeme und Verfahren zur Bestimmung von Systemzwischen- und Ausgabewerten mit Teilweise Definierten Systemeingangswerten

Details

Veröffentlichungs-Nr.

EP4600829

Aktenzeichen

EP25151742

Anmeldetag

14. Januar 2025

Veröffentlichung

13. August 2025

Rechtsraum

EP

IPC

G06F11/277G06F11/3668G06F30/20G01R31/317G01R31/3183

Abstract

In one example, a method includes receiving one or more test scenarios based on requirements for a system under test having one or more inputs, wherein a value for at least one input of the one or more inputs is undefined for at least one test scenario of the one or more test scenarios. The method further includes determining system intermediate values and system output values that are unambiguously derivable from defined system inputs for the one or more test scenarios. The defined system inputs are defined in the one or more test scenarios and not assumed or default input values. The method further includes determining coverage of one or more functional characteristics of each function of the system under test executed based on the defined system inputs. The method further includes validating the determined system output values that are unambiguously derivable from the defined system inputs.

Anmelder

Firma

Honeywell International Inc.

Land

🇺🇸 USA

Fachgebiete