单选题
程序测试是指（）
发布日期：2021-03-18
找出编码中错误的代码执行活动
对软件计划、软件设计，软件编码进行查错的活动
对软件计划、软件设计，软件编码进行纠错的活动
纠正编码中的错误的代码执行活动
试题解析
基准程序测试法
基准程序法又分为：Dhrystone基准程序、Linpack基准程序、Whetstone基准程序、SPEC基准程序、TPC基准程序
形式程序测试
测试是一种通过执行系统或分析系统来检查系统正确实现的一种方法。执行测试过程时，将得出的测试结果与规约的结果进行比较来检查系统的正确性。形式程序测试是指在程序测试中采用形式化方法。形式程序测试可以提高程序测试效率，发现程序错误。
- 中文名
- 形式程序测试
- 学科
- 计算机
- 有关术语
- 形式化方法
- 外文名
- formal program testing
- 定义
- 程序测试中采用形式化方法
- 领域
- 软件测试
白箱测试法
它是一种程序测试的概念，与黑箱测试相对应。
题王网让考试变得更简单
扫码关注题王，更多免费功能准备上线！
此试题出现在
“差异不属于矛盾”这一观点是否正确？为什么？
上市公司
长输管道最后施工流程应是管组对、焊接→()→地貌恢复。
会计分录题：开出现金支票一张，提取现金67200元支付全部职工的工资。
压缩机制冷装置做气密试验时应将（）阀通外接管端堵死。
在波的传播方向上，有相距3m的两质元，两者的相位差为π/6，若波的周期为4s，则此波的波长和波速分别为（ ）。[2017年真题]
案例 董爱梅是广州某文化单位图书编辑，其丈夫是一大型企业的基层管理人员，他们已结婚5年，一直过着幸福的生活。但是，自从丈夫升职为基层主管之后，好像变了一个人，开始早出晚归，甚至夜不归宿，一回到家就乱发脾气，甚至出手打董爱梅，而且越来越频繁。一天，董爱梅再也无法忍受，提出离婚，其丈夫却坚决不同意，又打了董爱梅。现在，董爱梅非常害怕再遭毒打，很想尽快离婚但又不知如何是好。 【问题】 1．上述案例中，案主董爱梅面临的困境主要有哪些？ 2．针对董爱梅的困境，社会工作者可以采取哪些介入策略？
根据税收征管法的规定，纳税人办理税务登记时，应根据不同情况相应提供下列哪些有关资料？（）
女性，12岁，反复巩膜黄染6年。体检：巩膜轻度黄染，肝肋下1cm，脾肋下3cm。检验：血红蛋白90g／L，白细胞及血小板正常，网织红细胞11.2％；总胆红素34μmol／L，间接胆红素28μmol／L，HBsAg（+）；Coombs试验（-），红细胞渗透脆性增加。最可能的诊断是（）
抗原脱敏治疗支气管哮喘的机制是（）
暂无相关推荐~