点击下载:华中科技大学:《程序设计方法学》第六课 程序的正确性证明
正在加载图片...
白盒子测试方法(续) 一程序流程如前图所示。其中从a到b有5 种路径,再外套循环20次,这样一个小 程序的路径测试就有5的20次方种 如果程序执行一次从a到b平均花1分钟, 整个路径需要运行2亿年才能走遍白盒子测试方法(续) ◼ 一程序流程如前图所示。其中从a到b有5 种路径,再外套循环20次,这样一个小 程序的路径测试就有5的20次方种。 ◼ 如果程序执行一次从a到b平均花1分钟, 整个路径需要运行2亿年才能走遍
<<向上翻页
向下翻页>>
点击下载:华中科技大学:《程序设计方法学》第六课 程序的正确性证明
©2008-现在 cucdc.com 高等教育资讯网 版权所有