（2）证明你写出的等式的正确性．

[主观题]程序正确性证明是用______来证明程序正确性的方法。

[单选题]下列哪个对输入数据的正确性校验是利用会计恒等式进行的（）.A . 人工校对B . 二次键入校对C . 根据输入数据之间的逻辑关系校对D . 用程序设计实现校对

[主观题]余额试算平衡是根据会计恒等式的平衡关系检验账户记录的正确性。 （ ）

[单选题]测试的目的是（），而不是对正确性进行形式化证明。A .要暴露程序中的bugB .要纠正程序中的错误C .要暴露程序中的错误D .要纠正程序中的bug

[判断题] 爱因斯坦通过物理实验证明了广义相对论的正确性。A . 正确B . 错误

[主观题]写出不等式的解集:(1)x£«2>6 ; (2)2x 0.1 ;写出不等式的解集：（1）x+2＞6 ；（2）2x＜10 ;（3）x-2 > 0.1 ;（4）-3x＜10 。

[多选题] 哪些因素影响SpO2的正确性（）A . 存在于搏动性血液中的可吸收660nm和940nm光的任何物质B . 碳氧血红蛋白C . 正铁血红蛋白D . 美蓝E . 荧光素

[多选题] 哪些因素影响SpO2的正确性（）。A . 存在于搏动性血液中的可吸收660nm和940nm光的任何物质B . 碳氧血红蛋白C . 正铁血红蛋白D . 美蓝E . 荧光素

[单选题]（）是指为保证会计账务处理的正确性，依据会计等式或复式记账原理，对本期各账户的全部记录进行汇总和测算，以检查账户记录的正确性和完整性的一种方法。A . 资产平衡B . 试算平衡C . 负债平衡D . 权益平衡

[单选题]软件测试的目的是______。A．) 证明软件的正确性B．) 尽可能多地发现软件系统中的错误C．) 找出软件系统存在的所有错误D．) 证明软件系统中存在错误A．B．C．D．