通过分析系统调用行为特征，提出了程序的系统调用行为可以用有限状态自动机来描述的方法，证明了算法产生的自动机的完整性，并给出算法性能分析结果。