假设栈Stack的容量是2，栈元素的数据类型是char类型，该栈对象有三种状态，分别为：S1——栈空状态；S2——非空非满状态；s3——栈满状态。转换到各个状态的条件如下。 S1：(c0)创建并初始化栈。 (c1)在S2下执行置空运算Clear()。 (c2)在S2下执行出栈运算Pop()。 (c3)在S3下执行置空运算Cleai。()。 S2：(c4)在S1下执行进栈运算Push()。 (c5)在S3下执行出栈运算Pop()。 S3：(c6)在S2下执行进栈运算Push()。 要求： (1)根据题设条件，画出栈对象的状态迁移图。 (2)计算该状态迁移图的McCabe环路复杂性。 (3)确定基本的测试路径，要求测试路径从S1出发，最后回到S1，同时在状态转换时注明转换条件。