单项选择题 静态分析通过解析程序文本从而识别出程序语句中可能存在的缺陷和异常之处；静态分析所包含的阶段中（）的主要工作是找出输入变量和输出变量之间的依赖关系。

单项选择题 复杂系统是指（）

单项选择题 软件测试是为了发现错误而执行程序的过程。黑盒测试法主要根据（）来设计测试用例。