填空题

在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中不存在错误，只有【4】才能证明程序的正确性。

【参考答案】

程序正确性证明

<上一题目录下一题>

热门试题

填空题

在“学生—选课—课程”数据库中的3个关系如下：S(S#，SNAME，SEX，AGE)，SC(S#，C#，GRADE)，C(C#，CNAME，TEACHER)查找选修“数据库技术”这门课程的学生的学生名和成绩。若使用连接查询的SQL语句是：SELECT SNAME，GRADE FROMS，SC，CWHERE CNAME=“数据库技术”ANDS．S#=SC．S#AND 【6】

填空题

数据库管理系统(DBMS)提供数据库操纵语言(DML)及它的翻译程序，实现对数据库数据的操作，包括数据插入、删除、更新和【8】。

相关试题