安全软件验证与确认中的单元模块测试技术