简述因果图方法生成测试用例的基本步骤。

典型的详细设计工具有程序流程图、盒图、问题分析图和____________。

若G是欧拉图，则其边数e合结点数v的奇偶性不能相反。

任何循环群必定是阿贝尔群，反之亦真。

简述软件工程与软件危机的概念以及提出软件工程概念的目的。