介绍一种程序走查的方法

根据实际工作的经验,总结出一种程序走查的方法,并提出库值和库值运算定理等新概念,有利于走查程序人员在走查程序时少犯错误,并用实例说明了怎样使用这种程序走查方法。