需求規格說明語言計算機原理術語01自然語言結構化語言形式化需求描述語言目錄0302基本信息軟件需求規格說明是對分析和綜合過程的結果描述，它包含了軟件的功能、性能、接口、有效性等需求的描述信息。通常，描述需求規格說明的語言主要分為自然語言、形式化需求描述語言、結構化語言。自然語言自然語言自然語言是日常使用的中文或英文等，這是最自然的描述需求規格說明的語言。它的優點是閱讀和編寫都不需要經過專門訓練，可以表示任何領域的需求。但不足之處是由于自然語言的語義具有二義性，在自然語言中經常使用代名詞和定性表示的詞，如顯著、迅速等，這使得它描述的內容會產生二義性，并造成軟件需求理解上的錯誤。例如，一個用自然語言表達的含糊的需求如下：將出差信息和出錯信息寫入出差文件或出錯文件中。這個需求可以理解為：1)出差信息和出錯信息兩者同時寫入出差文件中或同時寫入出錯文件中。2)出差信息寫入出差文件中，而出錯信息寫入出錯文件中。又如：“操作員標識由操作員姓名和密碼組成，密碼由6位數字構成。當操作員登錄系統時，它被存放在注冊文件中。”

形式化需求描述語言形式化需求描述語言形式語言是基于數學方法而提出的一種抽象描述語言，該語言具有嚴格的語法和語義。通常把描述需求的形式語言稱為形式化需求描述語言。該語言的優點是能排除自然語言中的二義性，從而減少需求規格說明中的錯誤。由于這種語言的語法和語義被嚴格定義，故能對形式化需求描述進行語法和語義分析，以證明需求規格說明的正確性等。此外，形式化的需求描述能由計算機自動處理，如可以解釋執行形式化的需求規格說明，生成可執行的程序代碼，以及研制有效地編輯或理解形式化需求規格說明的工具或環境等。形式化需求描述語言的不足是概念符號過于抽象，需要具有較好的數學基礎和經過嚴格的專門訓練后才能掌握和使用，而且可能增加軟件開發費用。形式化需求描述語言的典型代表有VDM、Z方法和B方法等。

結構化語言偽語言RSLPSL結構化語言偽語言偽語言是將過程型程序設計語言中的if—then—else、case(選擇)和dowhile(循環)作為控制結構、其他部分利用自然語言表示的語言。該語言通常可用于表示順序過程，并可表示程序的算法。也稱為程序描述語言(ProgramDescriptionLanguage，PDI。)。在偽語言中除控制結構外，語法基本與自然語言類似，但不使用修飾語、復合語句、腳注等，目的是明確地描述需求規格說明。PSLPSL(ProblemStatementLanguage)是美國密歇根大學在開發ISDOS(InformationSystemDesignandOptimizationSystem)項目中提出的需求描述語言。該語言是基于實體關聯模型的語言，主要以數據流、數據結構和功能結構等功能需求為描述對象。RSLRSL(RequirementStatementLanguage)是美國TRW公司開發出來的需求描述語言，并已在美國軍事系統的開發中使用。該語言以導彈防衛系統一類的實時系統的功能需求和性能需求為描述對象。類似于PSL，RSL也是以實體關聯模型為基礎的。在分析方面，主要用REVS(RequirementEngineeringandValidatio