在软件工程中，当前用于保证软件质量的主要技术手段还是（）A、正确性证明B、测试C、自动程序设计D、符号证明
在软件工程中，当前用于保证软件质量的主要技术手段还是（）
- A、正确性证明
- B、测试
- C、自动程序设计
- D、符号证明
相关考题：
软件工程学的提出是由于软件产生中的软件危机引起的,软件工程学的目的应该是最终解决软件生产的什么问题() A.消除软件的生产危机B.加强软件的质量保证C.提高软件的开发效率D.使软件生产工程化
软件工程思想产生于解决20世纪60年代的软件危机，下列叙述中Ⅰ．软件需求定义不准确Ⅱ．软件进度难以控制Ⅲ．软件生产的高成本Ⅳ．软件质量不易保证哪些是当时软件危机的主要表现?A．Ⅰ和ⅡB．Ⅱ和ⅢC．Ⅲ和ⅣD．全部
在软件工程中主要存在3类过程管理模型,下列选项中,那些不属于软件工程中的3类过程管理模型:()。 A.ISO9000质量管理和质量保证体系;B.CMM过程能力成熟度模型;C.CASE工具D.企业文化(微软企业文化、敏捷文化现象等)
以下关于软件质量保证的叙述中，（ ）是不正确的。A.质量保证活动贯穿于软件工程始终 B.质量保证活动目的是尽量预防错误，防患于未然 C.质量保证小组记录所有不符合质量要求的情况 D.质量保证应由程序员承担主要责任
以下关于软件质量保证的叙述中，（ ）是不正确的。A.质量保证活动惯穿软件工程始终B.质量保证活动的目的是尽量预防错误，防患于未然C.质量保证小组记录所有不符合质量要求的情况D.质量保证应由程序员承担主要责任
软件工程管理集成了过程管理和项目管理，以下关于软件工程管理过程的描述中，（ ）最为准确和完整。A.范围定义、项目计划、项目实施、评审和评价、软件工程度量B.需求分析、设计、测试、质量保证、维护C.需求分析、设计、测试、质量保证、软件复用D.需求分析、设计、测试、验证与确认、评审和评价、维护
●（7）是软件生存期中的一系列相关软件工程活动的集合，它由软件规格说明、软件设计与开发、软件确认、软件改进等活动组成。（8）是以追求更高的效益和效率为目标的持续性活动。（7）A. 软件过程B. 软件工具C. 质量保证D. 软件工程（8）A. 质量策划B. 质量控制C. 质量保证D. 质量改进
单选题软件工程中的各种方法是完成软件工程项目的技术手段，它们支持软件工程的（）阶段。A各个B前期C中期D后期