Program verification device and computer-readable storage medium

Abstract

This program verification device includes templates for creating a program that transforms data from a primary database and writes the result to a structured secondary database, where said primary database stores data output by a factory device. The program verification device displays the templates, receives definitions for the arrangement of program components and their respective conditions (where said components are the selection of data from the primary database, its transformation, and its writing to the secondary database), executes the program created with the component arrangement and condition definitions, and outputs the input or output of the components as a log.

Images