程序庫

一些經常使用、經過檢驗的規範化程序或子程序的集合。程序庫裏的程序必須是經常使用的，如開方、三角函數、指數和對數函數、代數方程、微分方程和積分方程的求解程序等。這些程序往往被收入程序庫中，構成通用程序庫。另有一些具有專門用途的應用程序，如計帳、貨單、工資計算等，可以構成專用程序庫。只有經過嚴格檢驗的程序才能放在程序庫裏。檢驗，就是對程序作充分的測試。通常進行的有正確性測試、精度測試、速度測試、邊界條件和出錯狀態的測試。經過檢驗的程序不但能保證計算結果的正確性，而且對錯誤調用也能作出反應。程序庫中的程序都是規範化的。所謂規範化有三重含義：① 同一庫裏所有程序的格式是統一的；② 對這些程序的調用方法是相同的；③ 每個程序所需參數的數目、順序和類型都是嚴格規定好的。程序庫通常以文卷方式保存在各種存儲設備上，最常見的是放在磁盤或磁帶中。程序庫必須具有完整的使用説明供用户查詢，以便正確地調用庫中的程序。使用説明一般包括程序名、程序功能、變量表、調用方式、結果格式、計算精度和速度的説明、錯誤信息報告以及算法和例題等。