程式測試是驗證軟體品質的一個重要程序。它的目的在於儘可能地找出程式中的所有
錯誤，更進一步地確認程式是否達成預期的功能。一組優良的測試資料可以有效地偵
測程式的錯誤，並且有效地達行程式測試。因此，選取具有代表性的測試是我們研究
的主要動機與目的。程式測試在基本上可分成結構測試與兩種方法。直到目前為止，
結構測試的研究較多，但因其無法偵測芋些類型的錯誤，故在應用上有一定的限制。
而在功能測試方面，由於一向以經驗與直覺為基礎，往往受限於測試者的經驗深淺而
有不同程度的測試效果。本論文為發展一功能測試資料產生器，乃採用PEL 作為程式
的規格語言。將程式的功能與一般測試涵蓋率準則相結合，以作為建構有效且效率的
自動化測試資料產生方法的依據。最後，我們對於範例程式加以測試，分析所產生的
測試資料對於程式的偵錯有效性與涵率的影響，以作為實驗的評估。