PSA/PSL，即PSL Problem statement Language、PSA Problem statement Analyzer，是利用計算機生成和維護需求文檔的軟件工程工具。
PSL是問題陳述性語言，是按照一定的語法描述用戶對系統的功能需求和性能需求，有確定的語法，是一種計算機可以處理的語言。在PSL系統中描述的基本單元是對象，一個系統可以由許多對象組成，每一個對象都有一個名字和類型，對象間的相互聯繫由關係來刻畫。
PSA是問題陳述分析器，PSA對用PSL描述的信息進行完整性和統一性檢查，形成計算機管理的詞典，可提供各種總結報告，並可以產生數據流程圖。
