需求規(guī)格說(shuō)明語(yǔ)言

需求規(guī)格說(shuō)明語(yǔ)言計(jì)算機(jī)原理術(shù)語(yǔ)01自然語(yǔ)言結(jié)構(gòu)化語(yǔ)言形式化需求描述語(yǔ)言目錄0302基本信息軟件需求規(guī)格說(shuō)明是對(duì)分析和綜合過(guò)程的結(jié)果描述，它包含了軟件的功能、性能、接口、有效性等需求的描述信息。通常，描述需求規(guī)格說(shuō)明的語(yǔ)言主要分為自然語(yǔ)言、形式化需求描述語(yǔ)言、結(jié)構(gòu)化語(yǔ)言。自然語(yǔ)言自然語(yǔ)言自然語(yǔ)言是日常使用的中文或英文等，這是最自然的描述需求規(guī)格說(shuō)明的語(yǔ)言。它的優(yōu)點(diǎn)是閱讀和編寫(xiě)都不需要經(jīng)過(guò)專門訓(xùn)練，可以表示任何領(lǐng)域的需求。但不足之處是由于自然語(yǔ)言的語(yǔ)義具有二義性，在自然語(yǔ)言中經(jīng)常使用代名詞和定性表示的詞，如顯著、迅速等，這使得它描述的內(nèi)容會(huì)產(chǎn)生二義性，并造成軟件需求理解上的錯(cuò)誤。例如，一個(gè)用自然語(yǔ)言表達(dá)的含糊的需求如下：將出差信息和出錯(cuò)信息寫(xiě)入出差文件或出錯(cuò)文件中。這個(gè)需求可以理解為：1)出差信息和出錯(cuò)信息兩者同時(shí)寫(xiě)入出差文件中或同時(shí)寫(xiě)入出錯(cuò)文件中。2)出差信息寫(xiě)入出差文件中，而出錯(cuò)信息寫(xiě)入出錯(cuò)文件中。又如：“操作員標(biāo)識(shí)由操作員姓名和密碼組成，密碼由6位數(shù)字構(gòu)成。當(dāng)操作員登錄系統(tǒng)時(shí)，它被存放在注冊(cè)文件中?！?/p>

形式化需求描述語(yǔ)言形式化需求描述語(yǔ)言形式語(yǔ)言是基于數(shù)學(xué)方法而提出的一種抽象描述語(yǔ)言，該語(yǔ)言具有嚴(yán)格的語(yǔ)法和語(yǔ)義。通常把描述需求的形式語(yǔ)言稱為形式化需求描述語(yǔ)言。該語(yǔ)言的優(yōu)點(diǎn)是能排除自然語(yǔ)言中的二義性，從而減少需求規(guī)格說(shuō)明中的錯(cuò)誤。由于這種語(yǔ)言的語(yǔ)法和語(yǔ)義被嚴(yán)格定義，故能對(duì)形式化需求描述進(jìn)行語(yǔ)法和語(yǔ)義分析，以證明需求規(guī)格說(shuō)明的正確性等。此外，形式化的需求描述能由計(jì)算機(jī)自動(dòng)處理，如可以解釋執(zhí)行形式化的需求規(guī)格說(shuō)明，生成可執(zhí)行的程序代碼，以及研制有效地編輯或理解形式化需求規(guī)格說(shuō)明的工具或環(huán)境等。形式化需求描述語(yǔ)言的不足是概念符號(hào)過(guò)于抽象，需要具有較好的數(shù)學(xué)基礎(chǔ)和經(jīng)過(guò)嚴(yán)格的專門訓(xùn)練后才能掌握和使用，而且可能增加軟件開(kāi)發(fā)費(fèi)用。形式化需求描述語(yǔ)言的典型代表有VDM、Z方法和B方法等。

結(jié)構(gòu)化語(yǔ)言偽語(yǔ)言RSLPSL結(jié)構(gòu)化語(yǔ)言偽語(yǔ)言偽語(yǔ)言是將過(guò)程型程序設(shè)計(jì)語(yǔ)言中的if—then—else、case(選擇)和dowhile(循環(huán))作為控制結(jié)構(gòu)、其他部分利用自然語(yǔ)言表示的語(yǔ)言。該語(yǔ)言通?？捎糜诒硎卷樞蜻^(guò)程，并可表示程序的算法。也稱為程序描述語(yǔ)言(ProgramDescriptionLanguage，PDI。)。在偽語(yǔ)言中除控制結(jié)構(gòu)外，語(yǔ)法基本與自然語(yǔ)言類似，但不使用修飾語(yǔ)、復(fù)合語(yǔ)句、腳注等，目的是明確地描述需求規(guī)格說(shuō)明。PSLPSL(ProblemStatementLanguage)是美國(guó)密歇根大學(xué)在開(kāi)發(fā)ISDOS(InformationSystemDesignandOptimizationSystem)項(xiàng)目中提出的需求描述語(yǔ)言。該語(yǔ)言是基于實(shí)體關(guān)聯(lián)模型的語(yǔ)言，主要以數(shù)據(jù)流、數(shù)據(jù)結(jié)構(gòu)和功能結(jié)構(gòu)等功能需求為描述對(duì)象。RSLRSL(RequirementStatementLanguage)是美國(guó)TRW公司開(kāi)發(fā)出來(lái)的需求描述語(yǔ)言，并已在美國(guó)軍事系統(tǒng)的開(kāi)發(fā)中使用。該語(yǔ)言以導(dǎo)彈防衛(wèi)系統(tǒng)一類的實(shí)時(shí)系統(tǒng)的功能需求和性能需求為描述對(duì)象。類似于PSL，RSL也是以實(shí)體關(guān)聯(lián)模型為基礎(chǔ)的。在分析方面，主要用REVS(RequirementEngineeringandValidatio