软件测试的方法有三种。以下哪项(些)属于这些方法? Ⅰ．动态测试 Ⅱ．静态测试 Ⅲ．正确性证明

admin2007-11-28 40

问题软件测试的方法有三种。以下哪项(些)属于这些方法?
Ⅰ．动态测试
Ⅱ．静态测试
Ⅲ．正确性证明

选项 A、仅Ⅰ
B、仅Ⅰ和Ⅱ
C、仅Ⅱ和Ⅲ
D、Ⅰ、Ⅱ和Ⅲ

答案D

解析本题考查软件测试方法的概念。目前，软件测试的方法有三种：动态测试、静态测试和正确性证明。动态测试是指通常的上机测试，这种方法是使程序有控制地运行，并从多种角度观察程序运行时的行为，以发现其中的错误。静态测试一般是指人工评审软件文档或程序，借以发现其中的错误，由于被评审的文档或程序不必运行，所以称为静态的。动态测试和静态测试只能发现错误而不能证明程序中不存在错误，从理论上讲，只有借助于程序正确性证明才有可能证明程序的正确性。程序证明最常用的方法是归纳断言法，它对程序提出一组命题，如能永数学方法证明这些命题成立，就可保证程序中不存在错误，即它对所有的输入都会产生预测的正确输出。但目前正确性证明尚处于理论研究阶段，其技术尚不成熟，并未达到实用化阶段。正确答案为选项D。

转载请注明原文地址:https://jikaoti.com/ti/Vwl7FFFM

本试题收录于：三级信息管理技术题库NCRE全国计算机三级分类

三级信息管理技术

NCRE全国计算机三级

相关试题推荐

随机试题

最新回复(0)

软件测试的方法有三种。以下哪项(些)属于这些方法? Ⅰ．动态测试 Ⅱ．静态测试 Ⅲ．正确性证明

三级信息管理技术

NCRE全国计算机三级

利用日志技术进行数据库恢复时，为了使恢复子系统避免对整个日志文件进行检查，需要在日志文件中增加______记录。

ADO对象模型用于简化通过ODBC,OLEDB等接口访问数据库的编程工作。下列关于ADO的说法错误的是

事务是数据库技术中一个非常重要的概念。下列关于事务的说法，错误的是

关于检查点恢复技术，下列说法错误的是

分布式数据库是数据库技术和哪种技术结合的产物?______

校园一卡通的转账业务中学生的钱少了而系统收入账户的余额也没有增加，这一故障属于______。

下列用于数据库概念设计的方法是______。A)DFD方法和IDEF1X方法B)E-R方法和IDEF0方法C)E-R方法和IDEF1X方法D)DFD方法和IDEF0方法

体谅的，会照顾的，考虑周到的adj.c__________

下列哪种反流物不是胃食管反流病的主要攻击因子?

A．血行转移B．直接蔓延C．淋巴转移D．种植转移E．胃肠道腔内转移

A．低血糖症B．低血镁症C．婴儿痉挛症D．甲状旁腺功能减退E．手足搐搦症女婴，4个月，人工喂养，因枕部颅骨软化，肌内注射维生素D3，2日后清晨突然惊厥，应考虑

根据《公司法》的规定，公司法定代表人可以由()担任。

某次抽样调查研究显示，学生每天看电视的时间越多，他们的学习成绩越差。该研究属于()。(2009年)

下列表述正确的是()。

下列代码段声明了3个类：classPerson()；classStudent：publicPerson{};classUndergraduate：Student{}；下列关于这些类之间关系的描述中，错误的是()。