单选题
程序测试是指（）
发布日期：2020-04-11
A
找出编码中错误的代码执行活动
B
对软件计划、软件设计，软件编码进行查错的活动
C
对软件计划、软件设计，软件编码进行纠错的活动
D
纠正编码中的错误的代码执行活动
试题解析
基准程序测试法
基准程序法又分为：Dhrystone基准程序、Linpack基准程序、Whetstone基准程序、SPEC基准程序、TPC基准程序
形式程序测试
测试是一种通过执行系统或分析系统来检查系统正确实现的一种方法。执行测试过程时，将得出的测试结果与规约的结果进行比较来检查系统的正确性。形式程序测试是指在程序测试中采用形式化方法。形式程序测试可以提高程序测试效率，发现程序错误。
- 中文名
- 形式程序测试
- 学科
- 计算机
- 有关术语
- 形式化方法
- 外文名
- formal program testing
- 定义
- 程序测试中采用形式化方法
- 领域
- 软件测试
白箱测试法
它是一种程序测试的概念，与黑箱测试相对应。
题王网让考试变得更简单
扫码关注题王，更多免费功能准备上线！
此试题出现在
CMS专题
CMS专题
其他考试
热门试题热门资讯 相关试题
犀角地黄汤中含有（）。
权变组织理论的核心是什么？
下列公式中，（）是资金回收公式。
患者关节痛、腰痛、各种皮疹、反复口腔溃疡、阴部溃疡、口干／眼干、眼睛充血伴红肿疼痛、视力下降、耳朵红肿疼痛、鼻梁红肿疼痛、听力下降、咳嗽伴呼吸困难、白细胞／血小板减少、蛋白尿／血尿、心包／胸腔积液、肺部阴影／包快等。如血常规、尿常规、肝肾功能异常、血沉快、类风湿因子增高、抗核抗体阳性等。SSA（+），SSB（+）。该患者最可能为（）
政府的转移性支出没有使政府获得任何资产或服务。
投保人发生哪些情况才有资格享受工伤保险待遇？
对财务管理目标的实现起保证、监督作用的是（）。
肾结核血尿特点是（ ）
魏晋南北朝的三省制对以后官僚体制有重大影响。
超声检查发现膀胱内中等强度回声块影，不伴声影，可随体位改变而移动，最可能是下列哪种情况（）。
暂无相关推荐~