Title:
ソフトウェアプログラムを検証するための方法およびシステム
Document Type and Number:
Japanese Patent JP6748307
Kind Code:
B2
Abstract:
Methods and Systems for verifying a software program in an integrated-development environment are disclosed. In one embodiment, a method of verifying the software program in the integrated-development environment includes generating a source code of a software program in comprising logging statements based on a specification of the software program. Furthermore, the method includes executing the source code with the logging statements and generating one or more log files during execution of the source code based on the logging statements. Moreover, the method includes generating a representation of the source code in a modeling language based on the one or more log files. The method includes verifying compliance of the source code with the specification by comparing the representation of the source code in the modeling language with the specification in the modeling language.
Inventors:
Sangit Mishra
Application Number:
JP2019542430A
Publication Date:
August 26, 2020
Filing Date:
September 05, 2017
Export Citation:
Assignee:
Siemens Industry Software NV
International Classes:
G06F11/36; G06F8/30
Domestic Patent References:
| JP2009295021A | ||||
| JP2004038741A |
Foreign References:
| WO2006038394A1 |
Attorney, Agent or Firm:
Einzel Felix-Reinhard
Morita Taku
Junichi Maekawa
Hiroyasu Ninomiya
Ueshima
Morita Taku
Junichi Maekawa
Hiroyasu Ninomiya
Ueshima