白盒测试过程中使用静态分析技术主要目的为:程序逻辑和编码检查、一致性检查、接口分析、I/O规格说明分析、数据流、变量类型检查和()。
出自:国家开放大学《信息系统测试》