Program code generation apparatus

• US 10,628,140 B2
• Filed: 11/17/2016
• Issued: 04/21/2020
• Est. Priority Date: 11/17/2016
• Status: Active Grant

• Current Assignee: Mitsubishi Electric Corporation
• Original Assignee: Mitsubishi Electric Corporation
• Inventors: Ueda, Takeshi, Kobayashi, Nobuhiro
• Primary Examiner(s): Zhen, Wei Y
• Assistant Examiner(s): Wu, Junchun
• Application Number:
  US16/336,791
• Publication Number:
  US 20190272158A1
• Time in Patent Office: 1,251 Days
• CPC Class Codes: G06F 11/302 where the computing system component is a software system
• CPC Class Codes: G06F 11/323 Visualisation of programs or trace data
• CPC Class Codes: G06F 11/36 Preventing errors by testing or debugging software
• CPC Class Codes: G06F 11/3604 Software analysis for verifying properties of programs byte-code verification G06F9/44589
• CPC Class Codes: G06F 8/34 Graphical or visual programming
• CPC Class Codes: G06F 8/41 Compilation
• CPC Class Codes: G06F 8/433 Dependency analysis; Data or control flow analysis
• CPC Class Codes: G06F 9/44 Arrangements for executing specific programs
• CPC Class Codes: G06F 9/445 Program loading or initiating bootstrapping G06F9/4401; security arrangements for program loading or initiating G06F21/57
• CPC Class Codes: G06F 9/44578 Preparing or optimising for loading

Abstract

A block-diagram acquisition unit acquires a block diagram that defines by connection among a plurality of blocks, a data processing procedure to be reflected in a program code. An inconsistency inspection unit inspects whether there is an inconsistency in the data processing procedure defined in the block diagram by tracing the connection among blocks in the block diagram.

Claims

1. A program code generation apparatus comprising:

processing circuitry to;

acquire a block diagram that defines by connection among a plurality of blocks, a data processing procedure to be reflected in a program code, and in which a processing procedure element being an element of the data processing procedure is allocated to each of the blocks;

set any one of the blocks as a starting block;

extract a block on which the starting block depends as a dependence destination block by tracing the connection among the blocks in the block diagram from the starting block;

repeat an operation to further extract a block on which the extracted dependence destination block depends as a dependence destination block, thereby extracting dependence destination blocks on which the starting block depends directly and indirectly; and

inspect whether there is an inconsistency in any of a data type, a maximum value, and a minimum value between the processing procedure element allocated to the starting block and the processing procedure elements allocated to the extracted dependence destination blocks.

2. The program code generation apparatus according to claim 1,

wherein, when there is the inconsistency in the data processing procedure defined in the block diagram, the processing circuitry outputs violation information notifying of the inconsistency in the data processing procedure.

3. The program code generation apparatus according to claim 1, wherein the processing circuitry generates a program code from the block diagram when there is no inconsistency in the data processing procedure defined in the block diagram.

4. A program code generation apparatus comprising:

processing circuitry to;

acquire a block diagram that defines by connection among a plurality of blocks, a data processing procedure to be reflected in a program code, and in which a processing procedure element being an element of the data processing procedure is allocated to each of the blocks;

set any one of the blocks as a starting block;

extract a block on which the starting block depends with regard to data handled by the processing procedure element allocated to the starting block as a dependence destination block by tracing the connection among the blocks in the block diagram from the starting block;

repeat an operation to further extract a block on which the extracted dependence destination block depends with regard to data handled by the processing procedure element allocated to the extracted dependence destination block as a dependence destination block, thereby extracting dependence destination blocks on which the starting block depends directly and indirectly; and

inspect whether there is an inconsistency between a processing procedure element allocated to the starting block and processing procedure elements allocated to the extracted dependence destination blocks.

5. The program code generation apparatus according to claim 4

wherein, when there is the inconsistency in the data processing procedure defined in the block diagram, the processing circuitry outputs violation information notifying of the inconsistency in the data processing procedure.

6. The program code generation apparatus according to claim 4, wherein the processing circuitry generates a program code from the block diagram when there is no inconsistency in the data processing procedure defined in the block diagram.

7. A program code generation apparatus comprising:

processing circuitry to;

acquire a block diagram that defines by connection among a plurality of blocks, a data processing procedure to be reflected in a program code, and in which a processing procedure element being an element of the data processing procedure is allocated to each of the blocks;

set any one of the blocks as a starting block;

extract a block on which the starting block depends with regard to control at the processing procedure element allocated to the starting block as a dependence destination block by tracing the connection among the blocks in the block diagram from the starting block;

repeat an operation to further extract a block on which the extracted dependence destination block depends with regard to control at the processing procedure element allocated to the extracted dependence destination block as a dependence destination block, thereby extracting dependence destination blocks on which the starting block depends directly and indirectly; and

inspect whether there is an inconsistency between a processing procedure element allocated to the starting block and processing procedure elements allocated to the extracted dependence destination blocks.

8. The program code generation apparatus according to claim 7,

wherein, when there is the inconsistency in the data processing procedure defined in the block diagram, the processing circuitry outputs violation information notifying of the inconsistency in the data processing procedure.

9. The program code generation apparatus according to claim 7, wherein the processing circuitry generates a program code from the block diagram when there is no inconsistency in the data processing procedure defined in the block diagram.