将一个可执行程序翻译成某种高级程序设计语言源程序的过程称为( )。