Actual outcome: The behaviour actually produced when the object is tested under specified conditions. Basic block: A sequence of one or more consecutive, executable statements containing no branches.

• 基本块:一个由不包含任何分支的一个或者多个连续的、可执行的指令组成的序列。