需求规格说明语言

需求规格说明语言计算机原理术语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