白盒测试工具函数信息提取模块设计与实现

• The Design and Realization of the Information Extracting Module for White-box Testing