Modellabdeckungsanalyse auf Benutzeranwendungsdefinitionsdateien

Details

Veröffentlichungs-Nr.

EP4807566

Anmeldetag

26. Januar 2026

Veröffentlichung

16. September 2026

Rechtsraum

EP

IPC

G06F11/3668

Abstract

Systems and methods for model coverage analysis on user application definition files are described herein. In certain embodiments, a system includes one or more memory devices and one or more processors. Further, the processors are configured to execute a qualified tool, wherein the qualified tool is configured to generate a binary model file from a design model. Additionally, the processors are configured to perform a model coverage test of the design model. Also, the processors are configured to log accessed data from the binary model file into a logged binary file. Moreover, the processors are configured to access the binary model file and the logged binary file. Further, the processors are configured to perform a comparison of the binary model file to the logged binary file. Also, the processors are configured to generate a coverage report based on the comparison of the binary model file to the logged binary file.

Anmelder

Firma

Honeywell International Inc.

Land

🇺🇸 USA

Fachgebiete