Module Program Verification for Sequence Program Debugging

The patent applies preliminary action by automatically generating expected output values before the verification process. The verification support device creates a correspondence between input values and expected output values in advance, so that when verification is performed, both input and expected output are ready for comparison. This eliminates the manual work of setting expected outputs and improves debugging efficiency without complicating the operation process.

The verification support device applies self-service by automatically performing the verification process. The device automatically sets input values, executes the module program, obtains actual output values, and compares them with expected output values. This automated self-service verification process eliminates manual intervention, significantly reduces debugging time, and improves verification speed without requiring additional human resources.

The patent applies the intermediary principle by introducing a verification support device as a mediator between the module program and the verification process. This device manages the correspondence between input and output values, automatically executes verification, and provides clear verification results. The intermediary device simplifies the debugging process while ensuring accurate verification by systematically comparing actual outputs with expected outputs, thereby improving verification accuracy without increasing overall system complexity.