搜题

【判断题】

程序的静态验证是利用数学方法证明程序的正确性。

查看正确答案

更多“程序的静态验证是利用数学方法证明程序的正确性。”相关的问题

第1题

[单选题] 从指导思想上来说，程序调试工作的实质目标是（）。

A、证明程序的正确性 B、发现错误和纠正错误 C、检查程序的可靠性 D、验证程序功能的完备性

点击查看答案

第2题

[单选题] 下列不属于检验程序方法的是（）

A、正确性验证 B、动态检查 C、静态检查 D、人工复核

点击查看答案

第3题

[填空题] 验证指证明任何程序、（）、设备、物料、活动或系统确实能达到预期结果的有文件证明的一系列活动。

点击查看答案

第4题

[简答题] 利用穷举法编写一个算法判断给定的正整数n是否是素数的程序，即判断n是否只能被1和自身整除。

点击查看答案

第5题

[简答题] 利用堆栈传递子程序参数的方法是固定的，在子程序中通常是利用什么访问栈中的参数。

点击查看答案

第6题

[单选题] 字典攻击是黑客利用自动执行的程序猜测用户名和密码，审计这类攻击通常需要借助（）。

A、全面的日志记录和强壮的加密 B、全面的日志记录和入侵监测系统 C、强化的验证方法和强壮的加密 D、强化的验证方法和入侵监测系统

点击查看答案

第7题

[判断题] 软件测试就是设计测试用例，并利用这些测试用例去运行程序，以证明程序没有错误的过程。

点击查看答案

第8题

[判断题] 程序是指令的集合，是一个静态概念，进程和程序相同，也是一个静态概念。

点击查看答案

第9题

[判断题] 数学模型不是唯一的，如果采用不同的测量方法和不同的测量程序，就可能有不同的数学模型。

点击查看答案

账号：登录

TOP

请使用微信扫码支付

订单号：
遇到问题请联系在线客服