【单选题】验证(verification)是保证软件正确地实现了一些特定功能的一系列活动,下列不属于验证活动的是:______。
A.
审查、测试、检查、审计等各类活动,或对某些项处理、服务或文件等是否和规定的需求相一致进行判断和提出报告
B.
通过执行程序做分析,测试程序的动态行为,以证实软件是否存在问题
C.
程序正确性的形式证明,即采用形式理论证明程序符号设计规约规定的过程
D.
确定软件生存周期中的一个给定阶段的产品是否达到前阶段确立的需求的过程
【单选题】下列不属于动态分析的软件行为是______。
【单选题】没有如下定义: int(*ptr)(): 则以下叙述中正确的是( )。
C.
ptr是指向函数的指针,该函数返回一个int型数据
D.
ptr是一个函数名,该函数的返回值是指int型数据的指针
【简答题】什么是绝对误差和相对误差?它们各表明什么概念?
【单选题】下述旅游景点中有"火山地貌博物馆"之美誉的是( )。
【单选题】设有如下程序段: 则以下叙述中正确的是( )。
D.
输出语句中格式说明符的个数少于输出项的个数,不能正确输出
【单选题】下列不属于动态分析的软件行为是______。 A) 屏幕仿真 B) 建模 C) 结构分析 D) 分支执行分析