软件静态分析一般包括：控制流分析、数据流分析、接口分析，以及______。

A) 表达式分析
B) 功能分析
C) 边界值分析
D) 因果图分析

对称分量法是将三相不对称的正弦量、分解为（）、（）、（）三组对称分量。