抽象分析法

method of abstract analysis