歸納綜合法

歸納綜合法簡稱“歸納法”，是藉助反映程式的實例，利用歸納推理導出程式的方法。

解釋

用戶通過反映目標程式輸入輸出行為的實例來指明需求。

基本方法

基本方法主要有實例法和軌跡法，以及基於推理的程式假設空間構作的歸納法。

套用

實現技術較難，不適合複雜套用領域。