[发明专利]程序代码生成装置和程序代码生成程序

说明书

分支要素确定部(110)根据示出多个程序要素和程序要素间的关系的模型图，确定分支的程序要素即分支要素。组确定部(120)根据所述模型图，按照所述分支要素的每个分支目的地确定构成分支目的地的一连串程序要素即分支目的地组。顺序决定部(130)决定各分支目的地组在所述程序代码中的排列顺序。代码生成部(140)根据所述模型图生成程序代码。程序代码按照各分支目的地组的排列顺序包含与各分支目的地组对应的代码。

技术领域

本发明涉及用于自动生成程序代码的技术。

背景技术

存在根据事前生成的程序规格自动生成源代码这样的程序代码的方法。

例如，存在根据示出程序规格的模型图生成程序代码的方法。模型图由多个块和连接块之间的连接线构成。在各块中定义处理步骤的要素。具体而言，在各块中定义汇总的数据处理。在模型图中记述有从程序取得输入值到程序输出输出值为止的处理步骤、或从程序接收事件到程序完成与事件对应的处理为止的处理步骤。此外，在模型图中还记述有控制构造。

专利文献1公开有根据模型图生成程序代码的技术。

在专利文献1公开的技术中，在模型图的各块中事前设定值，在生成程序代码时，开发者选择在代码生成中重视的特性(代码尺寸或速度等)，从相同的模型图输出特性不同的程序代码。

在专利文献2和专利文献3中公开有如下技术：将模型图与不适当的框图的图案进行比较，在模型图与不适当的模型图的图案一致的情况下，通知模型图不适当。

现有技术文献

专利文献

专利文献1：日本特开2006-301989号公报

专利文献2：日本特开2011-13887号公报

专利文献3：日本特开2016-57715号公报

发明内容

发明要解决的课题

存在针对硬件的攻击即故障注入攻击。

故障注入攻击是对硬件施加物理刺激等而产生意图的故障的攻击。通过故障注入攻击，能够进行躲避通过软件实现的安全对策的攻击。具体而言，通过故障注入攻击跳过程序命令。由此，程序的控制流程被变更，因此躲避安全对策。

根本地讲，仅安装软件无法防止故障注入攻击。

但是，需要即使控制流程被变更也不会陷入最差的事态。

另一方面，专利文献1、专利文献2和专利文献3中的任何文献公开的技术都没有考虑模型图所示的控制流程。因此，可认为通过这些技术生成的程序代码容易受到故障注入攻击。

本发明的目的在于，使得能够生成不容易受到故障注入攻击的程序代码。

用于解决课题的手段

本发明的程序代码生成装置具有：分支要素确定部，其根据示出多个程序要素和程序要素间的关系的模型图，确定分支的程序要素即分支要素；组确定部，其根据所述模型图，按照所述分支要素的每个分支目的地确定构成分支目的地的一连串程序要素即分支目的地组；以及顺序决定部，其决定各分支目的地组在程序代码中的排列顺序。

发明效果

根据本发明，能够决定各分支目的地组在程序代码中的排列顺序。因此，能够生成按照所决定的排列顺序包含与各分支目的地组对应的代码的程序代码。因此，能够生成不容易受到故障注入攻击的程序代码。

附图说明

图1是实施方式1中的程序代码生成装置100的结构图。

图2是实施方式1中的程序代码生成方法的流程图。