Programmanalysenunterstützungsvorrichtung

摘要

Es wird eine Programmanalysenunterstützungsvorrichtung bereitgestellt, die Programmanalysenbedingungen frei kombinieren und eine gewünschte Programmanalyse durchführen kann. Ein Analysenbedingungseinstellabschnitt (10) gibt eine Programmanalysenbedingung in Form einer Bedingungsgleichung (Analysenbefehl, Analysengegenstand und Analysenbedingung) mit einer eigenen Gleichungsnummer ein. Ein POU-Listenextraktionsverarbeitungsausführungsabschnitt (14) führt einen Analysenbefehl aus, der ein Programm ausliest, um eine Zusammenstellung von als Analysengegenstände dienenden POUs zu generieren, aus denen das Programm aufgebaut ist, und ein Variablenlistenextraktionsverarbeitungsausführungsabschnitt (12) führt einen Analysenbefehl aus, der einen Querverweis einer Variablen extrahiert, um einen Querverweis einer Variablen zu der als Analysengegenstand dienenden POU-Zusammenstellung zu extrahieren. Beide Abschnitte (14, 12) extrahieren darüber hinaus einen Querverweis einer Variablen auf eine andere POU-Zusammenstellung. Ein UND-Verarbeitungsabschnitt (17) führt darüber hinaus eine Verarbeitung eines logischen Produkts des Querverweises der beiden Variablen durch und gibt ein Ergebnis davon an einen Analysenergebnisanzeigeabschnitt (20) aus.