单项选择题

净室软件工程是软件开发的一种（）方法，可以开发较高质量的软件。它使用盒结构规约进行分析和建模，并将（）作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。

A.形式化
B.迭代式
C.瀑布式
D.交互式
<上一题 目录 下一题>
热门 试题

单项选择题
根据GBT8566—2007（信息技术软件生存周期过程）标准，企业为实现ERP系统而准备招标书的活动属于生存周期基本过程中的（）过程，与该活动属于同一过程的活动还有（）。
A.总体规划
B.系统实施
C.获取
D.供应
单项选择题
说明性语言的特点之一是（），（）就是一种说明性语言，它又是一种（）程序设计语言。Horn子句是逻辑程序设计语言中的重要概念。设P，Q，R为原子公式，则（）为Horn子句。
A.没有程序呼叫
B.描述处理过程
C.没有赋值语句
D.描述用户需求
相关试题