设S是至少含有两个元素的集合，在S上定义了一个二元运算“*”（即对任意的a，b∈S，对于有序元素对（a，b），在S中有唯一确定的元素a*b与之对应）．已知对任意的a，b∈S，有a*（b*a）=b；则对任意的a，b∈S，给出下面四个等式：

（1）（a*b）*a=a  （2）[a*（b*a）]*（a*b）=a   （3）b*（a*b）=a  （4）（a*b）*[b*（a*b）]=b  

上面等式中恒成立的有（　　）

A．（1）、（3）

B．（3）、（4）

C．（2）、（3）、（4）

D．（1）、（2）、（3）、（4）

以下是软件系统总体设计阶段的一些工作，其中能够确定软件模块间关系的是（）。

A．设想可能的方案

B．数据库设计

C．软件结构设计

D．制订测试计划