题目内容
（请给出正确答案）
检查控制武器系统的计算机程序，显示有54个“if”语句(其中23个带有“else”子句)、4个“switch”语句(分别带有5、7、4和8个“case”)，以及17个“for”或“while”循环，它们具有参数化的循环边界。如何穷尽测试这样一个程序，以证明其安全？
如果结果不匹配，请 联系老师 获取答案
更多“检查控制武器系统的计算机程序，显示有54个“if”语句（其中…”相关的问题
A.抽取出库单与领料单核对，检查领料单填制是否正确
B.抽取材料明细台账，检查是否经过仓储经理的复核
C.抽取出库单，检查仓储经理复核与电子签名的印记
D.抽取领料单，检查领料单是否有仓储经理的电子签名
A.设备有异常现象，如显示怪字符，磁盘读不出
B.在没有操作的情况下，磁盘自动读写
C.启动程序的时间比平时长，运行异常
D.计算机无法启动且电源指示灯不亮
A.火灾自动报警系统触发器件有火灾探测器、手动报警按钮
B.火灾报警控制器可以接受、显示和传递火灾报警信号，并能发出控制信号
C.采用减光率为11.5dB的减光片遮挡光路，线型光束感烟火灾探测器应发出火警信号或故障报警信号
D.使用温度不低于54°C的热水持续对线型缆式感温火灾探测器的感温电缆进行加热，探测器应在40s以内发出火灾报警信号，探测器红色报警确认灯点亮
A.使用通用审计软件随机抽取当前应用的样本，从这些样本追踪至程序更改批准表
B.对所有程序更改申请进行抽样，从这些申请追查至适当的批准和程序库中的更改
C.使用通用审计软件比较当前程序库中的内容表和内部审计师以前得到的副本，比较并确认差异，选取差异样本进一步调查
D.获取过去六个月中由数据处理经理完成的程序设计清单，从清单中抽取样本并追查至程序更改批准表
