Analiza tehnika programske opreme v katerem izvajanjem programa je simulirano z uporabo simbolov, kot so imena spremenljivk, namesto dejanskih vrednosti za vhodne podatke in program rezultati so izraženi kot logično ali matematičnih izrazov, ki vključujejo te simbole.