软件规格说明.pptxVIP

软件规格说明软件程序要求目录说明标准简介0201方法表示方式0304基本信息软件研究人员往往根据自己的研究对象和研究范围对软件规格说明做了相应的限定和要求。例如,软件工程的传统观点假定软件需求规格说明在需求分析的基础上产生,软件设计规格说明在软件设计的基础上产生。然而,根据程序设计方法学的观点,则干脆把对程序的要求统称为程序规格说明。简介简介接口规定说明功能规格说明性能规格说明设计规格说明功能规格说明对软件所应具备的功能作出规定；性能规格说明对软件所应具备的性能，如计算精度、响应速度和占用存储空间的大小等作出规定；接口规定说明对软件与其环境之间、软件各组成部分之间的接口关系作出规定；设计规格说明对软件的设计加以说明。典型的内容包括使用的算法、控制逻辑、数据结构、模块间接口关系,以及输入-输出格式等。说明标准说明标准软件规格说明的使用者包括用户、设计人员、程序员、管理人员等,涉及产品鉴定、质量保证、配置管理、软件维护、人员培训、市场分析、软件版权等诸多问题。可以把软件规格说明看成是一个具有概述、图示、例子等多视角的信息库。它既是用户和开发者的一份协议,又是指导软一件开发、测试和维护的依据。标准化的软件规格说明以统一的形式为各类相关人员提供各自所需要的信息。实践表明,广泛推行软件规格说明标准有助于提高软件开发的效率和质量。软件工程只有在广泛采用各种标准化技术以后方能成为一门真正的工程学科。但是涉及软件规格说明的标准太多了,以至于让人无所适从。闭由静态和动态的观点可知软件规格说明的标准化工作应从产品和过程两方面展开。根据软件开发的特点,软件规格说明标准应加大软件过程标准化的比重。但是,目前关于软件柳格说明的标准往往主要是软件产品“了的标准。近年来新提出的软件过程模型(和快速原型模型、增量开发模型、面向对象喷泉开发模型)的标准化工作则显得很薄弱。关于软件规格说明的国际或国家标准址一用范围广,具有较高的理论价值。相比之下,根据~应用领域的特点,结合具体开发方法而制定的软件规格说明标准则具有更好的实用性。因而,国外许多大公司都制定有自己的软件规格说明标准。我国一些部门和单位也进行过类似的工气作。开发这种具体部门运用的软件规格说明标准要考虑以下问题。方法方法目前,对软件规格说明认识的深度远不如软件设计和程序开发。所以,尽管大多数人认为软件规格说明应与软件设计和实现充分分离,但是软件规格说明中的许多观点不可避免地继承了软件设计和实现的经验。软件规格说明方法研究的问题是如何产生软件规格说明。可以从空间和时间两方面来考察软件规格说明。1从空间的角度考察从空间的角度观察,广义上来说,软件规格说明描述的是整个软件系统;狭义来说,软件规格说明描述的是软件系统的组成部件。软件规格说明方法主要提供分解和精化的手段。例如,结构化分析设计方法和逐步求精法均提供了这种手段。反过来,软件规格说明方法还要提供抽象的手段。在产生软件规格说明的过程中需要对其组成部件进行抽象.否则,如果每一个组成部件都以自己特有的行为方式运转,不同的组成部件交织在一起,那么软件规格说明可能同软件实现一样复杂。这样也就失去了软件规格说明存在的意义。过程抽象和数据抽象是两种有用的抽象方法。过程抽象把一组输人映射到一组输出上,包含了数据抽象,并通过数据抽象的行为来定义。数据抽象提供了一组数据以及施加在这组数据上的操作。尽管这些操作也可视为一种过程抽象,但是把数据抽象当作一个整体更能体现出它和现实世界实体的对应关系。表示方式表示方式软件开发人员和用户之间以及软件开发人员内部之间的交流在相当程度上决定了软件规格说明的质量。表示方式就是这种交流的媒介。这是关于软件规格说明的争论较多的话题。目前认为,软件规格说明表示方式要:①适用于不同的应用领域②有良好的数学基础③允许表示软件规格说明的不同侧面以及把它们组合成一个完整的软件规格说明④能保留待定的问题,表示方式不强迫做出不愿或不能做出的设计决定等。形式化软件规格说明和图形软件规格说明是当前的两个十分活跃的领域。1形式化软件规格说明形式化软件规格说明有精确定义的语法和语义,可进行一致性、完整性检查,有利于程序自动化生成,倍受学术界推崇.目前,已研制出许多形式化规格说明语言。这些形式化软件规格说明语言按语义学方法可以分以下两类:( 1 )面向模型的语言。这类形式化软件规格说明语言可根据数学结构(如集合、序列、函数)描述系统的行为模型。在串行系统中有VDM语言、Z语言,在并行系统和分布式系统中有PetriNets、CCS、CSP。谢谢观看