1977年美國密執安大學開發了PSL/PSA(問題陳述語言/問題陳述分析程式)系統。
這個系統是CADSAT(計算機輔助設計和規格說明分析工具)的一部分，它的基本結構類似於RSL。
基本介紹
- 中文名：PSL/PSA
- 外文名：PSL/PSA
- 時間：1977年
- 地點：美國密執安大學
- 簡稱：問題陳述語言／問題陳述分析程式
- 結構：RSL
用於需求分析的軟體工具,功能,優點,
用於需求分析的軟體工具
為了更有效地保證軟體需求的正確性，特別是為了保證需求的一致性，需要有適當的軟體工具支持需求分析工作。這類軟體工具應該滿足下列要求。
(1)必須有形式化的語法（或表），因此可以用計算機自動處理使用這種語法說明的內容。
(2)使用這個軟體工具能夠導出詳細的文檔。
(3)必須提供分析（測試）規格說明書的不一致性和冗餘性的手段，並且應該能夠產生一組報告指明對完整性分析的結果。
(4)使用這個軟體工具之後，應該能夠改進通信狀況。
作為需求工程方法學的一部分，RSL(需求陳述語言)於1977年設計完成。RSL中的語句是計算機可以處理的，處理以後把從這些語句中得到的信息集中存放在一個稱為ASSM（抽象系統語義模型）的資料庫中。有一組軟體工具處理ASSM資料庫中的信息以產生出用PASCAL語言書寫的模擬程式，從而可以檢驗需求的一致性、完整性和現實性。
1977年美國密執安大學開發了PSL/PSA(問題陳述語言/問題陳述分析程式)系統。
這個系統是CADSAT(計算機輔助設計和規格說明分析工具)的一部分，它的基本結構類似於RSL。其中PSL是用來描述系統的形式語言，PSA是處理PSL描述的分析程式。用PSL描述的系統屬性放在一個資料庫中。一旦建立起資料庫之後即可增加信息、刪除信息或修改信息，並且保持信息的一致性。PSA對資料庫進行處理以產生各種報告，測試不一致性或遺漏，並且生成文檔資料。
功能
PSL/PSA系統的功能主要有下述4種。
(1)描述任何套用領域的信息系統。
(2)創建一個資料庫保存對該信息系統的描述符。
(3)對描述符施加增加、刪除和更改等操作。
(4)產生格式化的文檔和關於規格說明書的各種分析報告。
PSL/PSA系統用描述符從系統信息流、系統結構、數據結構、數據導出、系統規模、系統動態、系統性質和項目管理共8個方面描述信息系統。
優點
一旦用PSL對系統做了完整描述，就可以調用PSA產生一組分析報告，其中包括所有修改規格說明資料庫的記錄，用各種形式描述資料庫信息的參照報告（包括圖形形式的描述），關於項目管理信息的總結報告，以及評價資料庫特性的分析報告。
藉助PSL/PSA系統可以邊對目標系統進行自頂向下的逐層分解，邊將需求分析過程中遇到的數據流、檔案、處理等對象用PSL描述出來並輸入到PSL/PSA系統中。PSA將對輸入信息作一致性和完整性檢查，並且保存這些描述信息。
PSL/PSA系統的主要優點是它改進了文檔質量，能保證文檔具有完整性、一致性和無二義性，從而可以減少管理和維護的費用。數據存放在資料庫中，便於增加、刪除和更改，這也是它的一個優點。
一旦用PSL對系統做了完整描述，就可以調用PSA產生一組分析報告，其中包括所有修改規格說明資料庫的記錄，用各種形式描述資料庫信息的參照報告（包括圖形形式的描述），關於項目管理信息的總結報告，以及評價資料庫特性的分析報告。
藉助PSL/PSA系統可以邊對目標系統進行自頂向下的逐層分解，邊將需求分析過程中遇到的數據流、檔案、處理等對象用PSL描述出來並輸入到PSL/PSA系統中。PSA將對輸入信息作一致性和完整性檢查，並且保存這些描述信息。
PSL/PSA系統的主要優點是它改進了文檔質量，能保證文檔具有完整性、一致性和無二義性，從而可以減少管理和維護的費用。數據存放在資料庫中，便於增加、刪除和更改，這也是它的一個優點。
