网友您好， 请在下方输入框内输入要搜索的题目：
题目内容
（请给出正确答案）
算法的正确性,一般不进行形式化的证明,而是用测试来验证。()
此题为判断题(对，错)。
参考答案
更多 “ 算法的正确性,一般不进行形式化的证明,而是用测试来验证。() 此题为判断题(对，错)。 ” 相关考题
考题
以下关于软件开发方法的叙述，错误的是（ ）。A.对于较为复杂的应用问题，适合采用形式化方法进行需求分析 B.形式化方法的优势在于能够精确地表述和研究应用问题及其软件实现 C.净室软件工程将正确性验证作为发现和排除错误的主要机制 D.净室软件工程强调统计质量控制技术，包括对客户软件使用预期的测试
考题
● 净室软件工程是软件开发的一种（24）方法，可以开发出具有较高质量的软件。它使用盒结构规约进行分析和建模，并将 （25） 作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。（24）A.形式化B.迭代式C.瀑布式D.交互式（25）A.测试B.仿真C.实验D.正确性验证
考题
2、在算法设计与分析过程中，有算法设计，算法的正确性证明，算法的复杂性分析,程序设计等几个重要步骤，下面哪种顺序是正确的？A．算法的正确性证明-＞算法设计-＞算法的复杂性分析-＞程序设计B．算法的正确性证明-＞算法的复杂性分析-＞算法设计-＞程序设计C．算法设计-＞算法的正确性证明-＞算法的复杂性分析-＞程序设计D．算法设计-＞算法的复杂性分析-＞算法的正确性证明-＞程序设计
考题
在算法设计与分析过程中，有算法设计，算法的正确性证明，算法的复杂性分析,程序设计等几个重要步骤，下面哪种顺序是正确的？A．算法的正确性证明-＞算法设计-＞算法的复杂性分析-＞程序设计B．算法的正确性证明-＞算法的复杂性分析-＞算法设计-＞程序设计C．算法设计-＞算法的正确性证明-＞算法的复杂性分析-＞程序设计D．算法设计-＞算法的复杂性分析-＞算法的正确性证明-＞程序设计
考题
59、需求验证是指以需求规格说明为输入，通过符号执行、模拟或快速原型等途径，分析需求规格的正确性和可行性，包含有效性检查、一致性检查、可行性检查和可验证性确认等。如果需求能够表达成形式化的方式，就可以通过一些符号的执行、逻辑的判断来验证需求规格的正确性。有些时候可以通过模拟或仿真来判断。需求验证过程中需要进行________。A．其它各项都包括B．需求评审C．原型法确认D．模型验证E．接受性测试
热门标签
最新试卷