填空题为了把握软件开发各个环节的正确性和协调性,人们需要进行()和()工作。()的目的是想证实在一给定的外部环境中软件的逻辑正确性。它包括()和(),()则试图证明在软件生存期各个阶段,以及阶段间的逻辑()、()和正确性。

您可能感兴趣的试卷

你可能感兴趣的试题

7.单项选择题汇编程序是指()

A.用汇编语言写的程序
B.符号程序
C.汇编语言的处理程序

8.多项选择题从下列关于模块化程序设计的叙述中选出正确的叙述()

A.只要模块之间的接口关系不变,各模块内部实现细节的修改将不会影响别的模块
B.便于由多个人分工编制大型程序
C.软件的功能便于扩充
D.程序易于理解,也便于排错
E.模块间的单向调用关系叫做模块的层次结构
F.模块之间的接口叫做数据文件