变量访问一贯性检查装置、变量访问一贯性检查方法

摘要

访问一贯性检查装置确定由基于规定的条件而切换并执行多个分支处理的一组语句构成的分支程序块，检测在分支程序块内进行写入的变量(S01)。检测能够在分支程序块内切换的分支处理的数量，检测对变量进行写入的分支处理的数量(S04)，判断能够在分支程序块内切换的分支处理的数量是否与对变量进行写入的分支处理的数量一致(S06)。而且，在判断为能够在分支程序块内切换的分支处理的数量与对变量进行写入的分支处理的数量不一致的情况下，将变量以及分支程序块的至少一方输出(D07)。