点击下载:华中科技大学:《程序设计方法学》第六课 程序的正确性证明
正在加载图片...
黑盒子测试方法 在VAX计算机上(字长 32位),输入XY整数, 运行程序后输出乙则输 入数据可能值有2的64 次方种可能。 如果执行程序一次要1毫 秒,那么对所有数据进 行测试需要5亿年 7黑盒子测试方法 ◼ 在VAX计算机上(字长 32位),输入X,Y整数, 运行程序后输出Z,则输 入数据可能值有2的64 次方种可能。 ◼ 如果执行程序一次要1毫 秒,那么对所有数据进 行测试需要5亿年
<<向上翻页
向下翻页>>
点击下载:华中科技大学:《程序设计方法学》第六课 程序的正确性证明
©2008-现在 cucdc.com 高等教育资讯网 版权所有