| 图片标题 | 程序验证 |
| 所属词条 | 程序验证
程序验证正文 研究程序正确性的理论。为了解一个程序是否正确地实现了预定的目标,通常是规定一些初始数据,试验性地执行这个程序,测试其是否能产生所要的答案。如果发现有误,就检查和修改所编的程序,直至对所有规定的初始数据,都能产生预期的结果。这种方法称为程序调试。但是,程序对不同的初始数据的加工过程是不同的,而初始数据的取值范围往往又十分广泛。因此,使用调试方法穷尽程序的各种可能加工过程以确保程序的正确性,几乎是不可能实现的。因此,调试方法… [ 进入词条 ][ 进入程序验证维吧 ] |
| 图片尺寸 | 599X519 pixels |
| 图片大小 | 23k |
| 图片格式 | jpg |
| 上传作者 | 匿名用户 |
此内容为用户上传,可能受著作权保护,互动百科与内容的出处无关,请在获得权利人(如有)合法授权后使用。