程什么分什么的词语

程序分析   chéng xù fēn xī 对计算机程序行为进行自动分析的过程，主要包括静态分析和动态分析两种策略。