证明下列等价式，

A. 为了使得系统容易测试，应该使用高级的程序设计语言设计语言编制程序

B. 系统测试是一个程序的执行过程，目的是为了发现系统中隐藏的错误

C. 如果程序中连锁式连接了8个判定（IF）结构，则程序中总的路径数达28条

D. 白盒测试仅与程序的内部结构有关，完全可以不考虑程序的功能要求

E. 为了快速完成集成测试，采用一次性集成方式是适宜的

F . 对一批模块进行测试，被发现的错误多的模块中残留的错误将比其他的模块少

G . 好的测试用例应能证明软件是正确的

H . 边界值分析方法是取输入输出等价类的边界值作为测试用例

I . 等价类划分方法考虑了各等价类之间取值的组合情况下可能的结果

J . 判定覆盖法可能查不出在判定中逻辑运算符使用有误时产生的错误

1)S₁与S₂都有单位元，但不相等;

2)S₁与S₂有相同的单位元;

3)S₁有单位元，S₂无单位元;

4)S₁无单位元,S₂有单位元;

5)S₁与S₂都无单位元