Method and system for verifying a computer program

摘要

A method and system for verifying resolution of attributes of a computer program. The verification system analyzes a command-based computer program prior to runtime to determine whether the input attributes associated with a command would be properly resolved prior to execution of that command at runtime. During verification, the verification system processes the commands of the program in sequence. For each input attribute of a command, the verification system identifies a source (e.g., output attribute of a command) of the value for the input attributes. The verification system then determines whether that source would be properly resolved during execution of the computer program.