The delineation or determination of the specific steps required to produce the desired output or intelligence information from the given or ascertained input data. The logic studies are completed for many computer processes, programs, or runs.

• 描绘或测定由给定的或确定的输入数据产生欲求的输出或智能信息所要求的特定步骤。通常人们都采用这种逻辑分析的方法来验证许多计算机过程、程序或运行的正确性。