计算机辅助静态分析利用 工具对测试程序进行 分析。
出自:河南理工大学软件工程