摘 要: | <正> 一、引言有关程序正确性的问题,是一个软件设计中最中心的、极其重要的、而又不能回避的问题之一,因此,在一个软件系统设计的开始,设计人员总是将程序的正确性,可靠性作为最重要的目标之一。但是由于软件的复杂性,加上我们对设计软件的性能标准所持有的主观肊断性,总会有一些事与愿违的事情发生。因为,机器对软件程序的执行是严格的实践检验,有一些走向和路经的组合往往出乎预料。因此,尽管已经对一个软件进行过周密的设计和施工,也必须进行程序正确性调试和验证,特别是象 SCP 这样的大型软件更是如此。并且,在一般常识上,人们对程序最终的信任程度与所需要的调试反复的次数直接有关。
|