程序設(shè)計(jì)說(shuō)明書(shū)應(yīng)包括：程序名、所屬系統(tǒng)及子系統(tǒng)名、功能、數(shù)據(jù)關(guān)系圖。輸入文件和輸出文件的格式和程序。

邏輯校驗(yàn)是校驗(yàn)數(shù)據(jù)的邏輯性或邏輯關(guān)系，例如檢查月份是否超過(guò)12，如果超過(guò)12，就是輸人的月份有錯(cuò)。