下列规范性法律文件中，其作用主要在于执行社会公共事务的是：

A．《中华人民共和国刑法》

B．《中华人民共和国合同法》

C．《中华人民共和国民法通则》

D．《中华人民共和国环境保护法》

软件测试可分为白盒测试和黑盒测试。逻辑覆盖测试属于______测试。