在软件过程改进的IDEAL模型中，描述当前的过程状态和期望的状态，提出过程改进的建议。这些活动属于IDEAL模型的
A、启动阶段
B、诊断阶段
C、行动阶段
D、提高阶段
A、及早地发现程序中隐藏的错误
B、快捷有效地理解程序结构
C、以上全部
D、帮助分析和测试程序
A、数据流图设计
B、实体-联系图设计
C、索引设计
D、关系模式设计
不需要运行程序，通过收集有关代码的结构信息来对程序进行的测试是
A、性能测试
B、黑盒测试
C、静态测试
D、白盒测试
设F是属性组U上的一组函数依赖，下列哪一条不属于Armstrong公理系统中的基本推理规则
A、若X→Y及X→Z为F所逻辑蕴含，则X→YZ为F所逻辑蕴含
B、若YXU，则X→Y
C、若X→Y为F所逻辑蕴含，且ZU，则XZ→YZ为F所逻辑蕴含
D、若X→Y及Y+Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含