根据我国法律规定，关于法人，下列哪一表述是正确的？

A．成立社团法人均须登记

B．银行均是企业法人

C．法人之间可形成合伙型联营

D．一人公司均不是法人

在软件测试设计中，软件测试的主要目的是______。

A．实验性运行软件

B．证明软件正确

C．找出软件中的全部错误

D．发现软件错误而执行程序