软件需求工程 课件 第10章 面向软件行为和视点的需求建模与检测方法.pptx

第10章面向软件行为和视点的 需求建模与检测方法

目录基本原理视点表示模型和视点管理需求模型的具体构建方法基于行为模型的需求可视化需求模型的检测方法需求建模方法的特点10-110-210-310-410-510-6进一步的研究10-7

引言将需求工程中的需求分析与需求验证阶段的工作通过一个实际的方法给予有机的结合，能更系统和完整地了解和熟悉需求工程的研究内容。该方法也使用了一些形式化方法和技术，试图将理论研究与实际应用较好地结合起来。此外，在本章介绍的内容中，也将第5章中自动取款机软件系统作为实例，目的是使我们可以对两种不同风格的需求建模方法进行比较和评价。在学习和理解本章介绍的方法之后，建议结合一个实际系统应用本方法建立该系统的需求模型。面向软件行为和视点的需求建模与检测方法

10-1基本原理

复杂系统该系统是一个抽象概念，通常指规模大且内部逻辑关系复杂、涉及相关人员较多的软件系统。传统的策略：通常是把复杂的问通过分解而给予解决。

特点：相关的问题域复杂=利用分解策略涉及人员较多=根据不同用户建立相应视点。需求建模方法应提供的内容：使用该方法的步骤=从自然语言逐步过渡到行为模型。描述问题的手段=视点表示模型和行为描述语言（BDL)。面向软件行为和视点的需求建模方法是一种可用于建立复杂的软件系统（以下简称复杂系统）需求模型的方法。10-1基本原理

软件的行为研究软件行为的原因指主体施用一个服务、操作或动作于客体。软件行为的正确与否决定了软件能否满足用户需求软件特性如可信特性也是通过软件行为来验证的可以从自然语言抽取和描述与软件行为相关的细节10-1基本原理研究软件行为的方法与现有的需求分析方法不同，基于软件行为和视点的需求分析过程将主要考虑如何发现软件需求信息中的行为，然后有步骤地实施需求建模，具体为:1）如何根据自然语言描述的需求，建立相应场景信息。2）如何根据场景信息抽取与行为相关的信息，并利用行为描述语言建立行为表达式。3）如何建立行为描述语言的语义模型，为检验复杂系统的各种特性奠定基础。4）如何利用模型检验方法和技术检测复杂系统的一些特性。

10-1-1基本概念1）视点一个观察者（视点源）根据其关注点和某个问题域而提出的需求信息的集合构成一个视点。2）视点模板视点模板是视点信息的存放形式，并由一些信息槽构成。每个信息槽记录了视点某方面的信息。3）视点间关系视点间关系是指两个视点之间在问题域或者需求信息方面的联系。重叠关系：指两个视点的视点源的观察领域存在一定程度的重合，其包括两种情况：部分重合和完全重合。顺序关系：指两个视点在行为方面存在着先后关系，如两个视点间存在着传递信息的行为等。无关系：指两个视点在观察领域上不存在重合，并且不具备行为上的先后关系，如两个并行的视点等。当且仅当两个视点是重叠关系或者顺序关系时，它们具备依赖关系。10-1基本原理

10-1-1基本概念4）软件行为软件的行为是指软件运行时作为主体，依照自身的功能对客体的施用、操作或动作的过程，或主体施用一个服务、操作或动作于客体。软件的行为由行为主体和客体、操作或动作、行为输入/出和行为属性等组成。5）行为主体行为主体可以是用户或者问题域中的实体或概念。行为主体可以是复合主体，即一个行为可以有多个主体，且行为的主体必须是确定的。6）行为客体即行为的受体，通常指人或问题域中的实体或概念等。行为客体可以是复合客体，并且也可以是未确定的。10-1基本原理

10-1-1基本概念7）主体的行为踪迹：将同一主体在某一观察时间段内的行为以发生的时间顺序用串的格式记录下来，成为主体的行为踪迹。8）行为的分类：目标行为：为实现目标需求而施行的行为。功能行为：直接面向功能需求的行为。目标行为可以分解成一系列的功能行为，目标是通过这些功能行为达到的。复合行为：由功能行为分解出的行为，且功能行为也可视为复合行为。每个功能行为可分解为一系列的复合行为，功能是由这些复合行为完成的。每个复合行为还可进一步分解为原子行为。原子行为：不能再被分解的行为，具体为某个动作或操作。10-1基本原理

10-1-1基本概念9）场景:(见第3.7节的介绍）此处场景是指软件系统在某一执行期间内按顺序出现的一系列行为。场景描写的范围并不是固定的，既可以包括系统中发生的全部行为，也可以只包括由某些特定对象的行为。软件需求可被描述成一系列场景，而每个场景则由一个或多个具体的行为所组成。10）行为的描述语言用于描述软件系统行为的语言11）行为的操作语义行为的操作语义是行为描述语言的语义模型，其又分为静态操作语义（用于定义行为表达式）和动态操作语义。动态操作语义是以动作作为对象来研究在给定环境中行为状态的变化。10-1基本原理

10-1-2基本步骤面向软