- 我们在哪一颗星上见过 ，以至如此相互思念 ；我们在哪一颗星上相互思念过，以至如此相互深爱
- 我们在哪一颗星上分别 ，以至如此相互辉映 ；我们在哪一颗星上入睡 ，以至如此唤醒黎明
- 认识世界 克服困难 洞悉所有 贴近生活 寻找珍爱 感受彼此
12.1 概述
用“未知数（比如代数里的x、y）”代替真实数值去“模拟运行”程序，看所有可能的分支路径会得出什么结论。
12.1.1 符号执行与正常执行的对比
想象你在玩一个解谜游戏，游戏里有很多岔路，每条岔路门口有个守卫，他会根据你手里的钥匙（输入值）决定让不让你通过。
普通执行（具体执行）：
你拿一把真的钥匙（比如 x=5, y=3）去试试，能通过就走这条路线，不通就换钥匙再试。这样要试很多次才能知道哪条路能通……继续阅读 »
9个月前 (11-26)
696浏览
0个赞
