產生-檢驗法和手段-目的分析、逆向工作、計畫簡化法為重要的啟發式策略，用於進行問題解決，一般策略是指一種用來使問題發生某種變化並由此提供一定信息的處理、實驗或探索，因為具體的手段不同，而區分出不同的問題解決策略。
基本介紹
- 中文名：產生-檢驗法
- 外文名：General-Test Method
定義,性質,使用難度,相似理論,不足,
定義
產生-檢驗法是一種最簡單的啟發式策略，由Newell和Simon提出。
性質
舉例說明產生-檢驗法，思考我國一條江的名字，要求是以黃字開頭的，為找到答案，需要以下兩步，一是產生一位答案的“候選者”；二是驗證是否為正確答案。若初次“候選者”不是正確答案，則另外產生一位“候選者”，並再度進行檢測，直到找到真正的答案為止。
使用難度
1. 難以產生出每一位“候選者”；
2. 即使“候選者”是真正答案，也很難檢驗；
3. 搜尋空間的範圍可能相當大；
4. 在產生“候選者”中也許不一定存在正確的答案。
相似理論
1. 手段目的分析:是一種非常普通而有效的問題解決方法，基本思想是把需要解決的問題分析成一系列子問題，通過解決這樣子問題而達到最終的目標。
2. 逆向工作:是一種從目標出發往回推理而解決問題的啟發式策略。
3. 計畫簡化法:實際上就是指定計畫。
不足
1. 沒有提供好的候選者以供檢驗的訣竅，如果搜尋空間很大，則有可能需要很多時間；
2. 運用這種方法應當是在進行檢驗之前所找出的答案是完整的，否則難以檢驗，然而要迅速找到完整的答案不是一件容易的事。
