Methods and systems for verifying a software program

A data processing system (100) comprising:

• a processing unit (102);
• and
• a memory (104) coupled to the processing unit (102), wherein the memory (104) comprises a model-driven development module (114) configured to:
• generate a source code of a software program comprising logging statements based on a specification of the software program;
• execute the source code with the logging statements;
• generate one or more log files during execution of the source code based on the logging statements;
• and
• generate a representation of the source code (500) in a modeling language using the one or more log files.

A non-transitory computer-readable storage medium, having instructions stored therein, which when executed by a data processing system (100), cause the data processing system (100) to perform a method of verifying a software program in an integrated-development environment (113), the method comprises steps of:

• generating a source code of a software program comprising logging statements based on a specification of the software program;
• executing the source code with the logging statements;
• generating one or more log files during execution of the source code based on the logging statements;
• and
• generating a representation of the source code (500) in a modeling language using the one or more log files.