首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
软件测试的方法有三种。以下哪项(些)属于这些方法? Ⅰ.动态测试 Ⅱ.静态测试 Ⅲ.正确性证明
软件测试的方法有三种。以下哪项(些)属于这些方法? Ⅰ.动态测试 Ⅱ.静态测试 Ⅲ.正确性证明
admin
2007-11-28
35
问题
软件测试的方法有三种。以下哪项(些)属于这些方法?
Ⅰ.动态测试
Ⅱ.静态测试
Ⅲ.正确性证明
选项
A、仅Ⅰ
B、仅Ⅰ和Ⅱ
C、仅Ⅱ和Ⅲ
D、Ⅰ、Ⅱ和Ⅲ
答案
D
解析
本题考查软件测试方法的概念。目前,软件测试的方法有三种:动态测试、静态测试和正确性证明。动态测试是指通常的上机测试,这种方法是使程序有控制地运行,并从多种角度观察程序运行时的行为,以发现其中的错误。静态测试一般是指人工评审软件文档或程序,借以发现其中的错误,由于被评审的文档或程序不必运行,所以称为静态的。动态测试和静态测试只能发现错误而不能证明程序中不存在错误,从理论上讲,只有借助于程序正确性证明才有可能证明程序的正确性。程序证明最常用的方法是归纳断言法,它对程序提出一组命题,如能永数学方法证明这些命题成立,就可保证程序中不存在错误,即它对所有的输入都会产生预测的正确输出。但目前正确性证明尚处于理论研究阶段,其技术尚不成熟,并未达到实用化阶段。正确答案为选项D。
转载请注明原文地址:https://jikaoti.com/ti/Vwl7FFFM
本试题收录于:
三级信息管理技术题库NCRE全国计算机三级分类
0
三级信息管理技术
NCRE全国计算机三级
相关试题推荐
数据库在运行的过程中,由于磁盘损坏使得数据库中的数据部分或全部丢失的一类故障称为______。
下述不属于数据库维护工作的是______。
设有关系模式W(C,P,S,G,T,R),其中各属性的含义是:C为课程,P为教师,S为学生,G为成绩,T为时间,R为教室,根据定义有如下函数依赖属性:F={C→G,(S,C)→G,(T,R)→C,(T,P)→R,(
按照数据库应用系统生命周期模型,系统设计阶段细分为概念设计、______设计和物理设计三个步骤。
数据库管理系统为用户和应用程序提供了______语言,用此语言可以定义数据库的模式结构,但此语言执行后的结果不能回滚。
设在某应用系统的需求分析阶段,已经收集到大量的各种原始数据,现需要对这些数据进行分类、抽象与建模。下列方法中较适用于数据建模的是
一级封锁协议解决了事务的并发操作带来的哪种不一致性的问题?______
要写出高质量的SQL语句,提高系统的可用性,需要对查询进行优化,下面哪一项不是优化查询的常用方法?______
A、 B、 C、 D、 D在软件开发中,开发人员的交流是非常主要的,而一个开发人员进入一个新的软件系统做开发,需要相当长的一个阶段以适应软件的开发,这主要是由于新的人员需要一定时间的培训以熟悉软件系统的开发状
要写出高质量的SQL语句,提高系统的可用性,需要对查询进行优化,下面哪一项不是优化查询的常用方法?______
随机试题
写在嘉奖令正文最前面的部分应当是()
鉴定ABO亚型所需要的试剂红细胞不包括
A.热则寒之B.寒则热之C.阳病治阴D.阴病治阳E.阴中求阳适用于虚热证的治法是
图示桁架的所有杆件EA值均相同,哪一种桁架A点的竖向位移最小?
下列关于建筑工程费估算方法的说法,正确的是()
以下选项中,属于李白著名诗句的是()。
你单位决定组织一次公益活动,组织员工去公园捡垃圾,请问你怎么组织?
开放的社会流动机制是_________下层社会怨气的根本手段,但同时也意味着主流社会空间将面临巨大的风险。尤其是在身份制并未完全_______的今天,稍有不慎,来自下层的政治风险就会随之而来。依次填入画横线部分最恰当的一项是()。
下列情况下不属于刑法规定的立功表现的是()。
ActiveinOldAgeKeepsPeopleMobilePeopleover70whoaren’tactivearemorelikelytodevelopproblemswalkingorclimbi
最新回复
(
0
)