358.在不实际执行程序的前提下,将程序的输入表示成符号,根据程序的执行流程和输入参数的赋值变化,把程序的输出表示成包含这些符号的逻辑或算术表达式,这种技术被称为( )。

符号执行是一种在不实际执行程序的前提下，将程序的输入表示成符号，根据程序的执行流程和输入参数的赋值变化，把程序的输出表示成包含这些符号的逻辑或算术表达式的技术。通过符号执行，我们可以分析程序在不同输入条件下的行为，发现潜在的错误或漏洞。

举个生动有趣的例子来帮助理解符号执行：假设你是一名游戏开发者，正在开发一个角色扮演游戏。在游戏中，有一个技能系统，玩家可以通过输入不同的技能名称和参数来使用技能。通过符号执行技术，你可以将技能名称和参数表示成符号，并根据技能系统的执行流程和输入参数的变化，推导出不同技能在不同情况下的效果。这样，你可以在不实际执行游戏代码的情况下，预测和分析各种技能的表现，确保游戏的平衡性和稳定性。符号执行就像是你在游戏开发过程中的智能助手，帮助你理解和优化技能系统的设计。