在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有:【】才
在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中存在错误，只有：【 】才可能证明程序的正确性。
程序正确性证明 解析：在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中存在错误，只有程序正确性证明才可能证明程序的正确。程序的正确性说明是用数学的方法来证明程序正确性的方法。
以下关于ARM处理器工作状态说法错误的是()。A.工作状态包括ARM状态、Thumb及Thumb－2 计算机类考试 2020-05-23 …
软件测试方法有很多种。其中,采用机器运行实例方式来发现程序的错误属于A.静态测试B.动态测试C.程 计算机类考试 2020-05-23 …
以下哪项是指查明程序错误时可能采用的工具和手段?A.纠错技术B.测试纠错C.跟踪法D.动态测试 计算机类考试 2020-05-23 …
软件测试中,发现错误产生的原因依赖于所使用的调试策略,而主要的调试方法包括动态测试、静态测试 计算机类考试 2020-05-23 …
在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有:【】才 计算机类考试 2020-05-23 …
______能发现程序中的错误并能证明程序中不存在错误。Ⅰ.静态测试Ⅱ.动态测试Ⅲ.正确性证明A.Ⅰ 计算机类考试 2020-05-23 …
哪项是指查明程序错误时可能采用的工具和手段?A.纠错技术B.测试纠错C.跟踪法D.动态测试 计算机类考试 2020-05-24 …
白盒测试也称结构测试或逻辑驱动测试,典型的白盒测试方法包括静态测试和动态测试。其中,静态测试 计算机类考试 2020-05-26 …
教育学判断题判断题（共10道试题,共20分.）V1.遗传素质的差异性,在一定程度上影响着人的个别特点 政治 2020-11-28 …
黄土高原是中国生态环境最脆弱的地区之一，该地区人地矛盾突出，治理黄土高原，改善生态环境，已成为人们的 其他 2020-12-10 …