当前位置：文档之家 › 功能点分析方法的一种形式化定义

功能点分析方法的一种形式化定义

  • 格式：pdf
  • 大小：334.76 KB
  • 文档页数：4

［ ｂ ｔａ ｉ ｉｇａ ｅｐｏ ｌ ｔａ ｔｅｐｅｉ ｅ ｎｔ ｎｆｒＦ ｎ ｔ ｎＰ ｉｔ Ａｎｌｓｓ Ｐ ｉ ｌｃｅ ．ｈ ｒ ａｉ ｉｎｂ ｔ ｅ ｅｍｅ Ａ ｓ ￣ｌＡ ｍ ｎ ｔｈ ｒｂｅ ｈ ｔｈ ｒｃｓ ｄｆ ｉｏ ｕ ｃｉ ｏｎｓ ａｙｉ Ｆ Ａ）ｓ ａｋｄ ｔｅｅｉ ｖｒ ｔ ｅｗｅｎｔ 砸ｃ ｒ ｔ ｍ ｅ ｉ ｉ ｏ ｏ （ ｓ ａｏ ｈ
ＧＵ ｎ ｍｅ ＹＵ ｉｑ ｎ Ｘｕ ． ｉ． Ｈｕ － ｕ
（ ． ｐ ｒｍｅ ｔｏ Ｃｏｍｐ ｔｒＳ ｉｎ ｅ Ｈｕ ｉ ｉ ｎ ｔｕ ｅｏ Ｔｅ ｈ ｏｌｇ ， ａ ｙｕ ｇ ｎ ２ ０ ； １ Ｄｅ ａｔ ｎ ｆ ｕｅ ｃｅ ｃ ， ａｈａ ｓｉ ｔ ｆ ｃ ｎ ｏ ｙ Ｌｉｎ ｎ ａ ｇ２２ ０ ５ Ｉ ｔ
Ｂ 方法较其他形 式化方法的优点在于它支持整个软件开 发的生命周期 ，首先从需求分析建模到规格说明的书写，然
后 对模 型逐 步 求 精 ，直 到 代码 自动 生成 。
２ 功能点分析 ． ２ 功 能 点 分析 是在 ２ 世 纪 ７ 年 代 初 期 由 Ｉ Ｍ 委 托 Ａ ｌ ０ Ｏ Ｂ ｌｎ ａ Ａｌｒｃｔ ｂｅｈ 工程师及其同事为解决 Ｌ Ｃ度量所产生的问题和局 Ｏ 限性而研究发布 的， 随后被 国际功能点 用户协会 （ Ｐ Ｇ） Ｉ Ｕ 提出 Ｆ 的 ＩＰ Ｇ方法继承 ， ＦＵ 并从单纯的规模度量发展到倾 向于软件 工程整个生命周期中的应 用。２０ ０ ４年，ＩＰ Ｇ发布 了 ４２ ＦＵ ．版
２ Ｃ ｌ ｇ ｆ ｎｏ ｍａｉｎＳ ｉ ｃ ｎ ｎ ｉｅ ｒ ｇ Ｅ ｓＣｈｎ ｉｅｓ ｙｏ ｃｅ ｃ ｎ ｅ ｈ ｏｏ ｙ Ｓ ａ ｇ ａ ２ ０ ３ ） ． ｏ ｌ ｅｏ ｆｒ ｔ ｃｅ ｅ ｄＥ ｇ ｎ ｅｉ ， ａｔ ｉａ ｅ Ｉ ｏ ｎ ａ ｎ Ｕｎｖ ｒ ｔ ｆ ｉｎ ｅａ ｄＴ ｃ ｎ ｌｇ ， ｈ ｎ ｈ ｉ ０ ２ ７ ｉ Ｓ
１ 概述
软件 的功能规模是一个用来合理地管理和控制软件开发 项 目的基本要素。功能点分析（ｕ ｃ ｏ ｏｎｓ ａｙｉ Ｆ Ａ） Ｆ ｎ ｔ ｎＰ ｉｔＡｎｌｓ ， Ｐ ｉ ｓ
表示 法 来 书 写 ， 程 序 规 格 说 明 处于 一 个 统 一 的数 学框 架 下 ， 使
减少 了出现语义错误的可能性 。Ｂ规格说明语 言使用 ３种记 法来描述软件开发过程 ： 数学 ， 广义代换语言和抽象机记法…。
４ 第 ３ 卷 第 １ 期 ６
Ｖ １３ ｏ．６
・
计
算
机
工
程
２１ 年 ７ ００ 月
Ｊ ｌ ０ ０ ｕｙ２ １
Ｎｏ １ ．４
Ｃｏｍ ｐｕｔ ｒＥｎｇｎｅ ｒｎｇ ｅ ｉ ｅｉ
博 士论文 ・
文章 编号： Ｉ ３ ８ ００ ４一０ｏ一３ 文献标识 Ａ １ ｌ ４ （ １） ＿ １ － Ｉ Ｍ － ２ ２ １ ｌ 码：
Байду номын сангаас
形式化定义 ，即为功能点计算提供一个明确的定义 。实例应 用表 明， Ｂ方法应 用到软件度量 中，能够提高软件项 目管理的效率 ， 把 为软件
功能规模的 自动化度量奠定基础。
关奠词 ：功能点分析 ；Ｂ方法 ；度量 ；形式化 定义
Ｆｏ ｍ ａ ｆｎｉｉ ｎ ｏ ｒ ｌ ｉ ｔｏ ｆＦｕｎｃ ｉ ｎ Ｐｏ ｎｔ Ｄｅ ｔｏ ｉ ｓＡｎａ ｙ ｉ ｅ ｈｏ ｌ ｓｓＭ ｔ ｄ
中 圈分类号ＩＴ３１ Ｐ１
功 能 点分析 方 法 的一种 形 式化 定 义
顾勋梅 。 ，虞慧群
（．淮海工学院计算机科学系 ，连云港 ２ ２ ０ ；２ 华东理工大学信息科学与工程学院 ，上海 ２ ０ ３ ） １ ２０５ ０ ２ ７
Ｉ
要 ：ｄｘ 功能点分析（Ｐ ） 因缺少精确化定义而导致度量结果与实 际之间有一定偏差 的问题 ，基于 Ｂ方法对 Ａ的度量规则进行 ｒ ￣ － Ｆ Ａ 方法
ｐｏｅｔ ｎ ａｅ ｎ， ｄ ｒｖｄ ｓ ａｉｆｒ ｕｏ ｔ ｎｔ ｎｌｉｅ ａｕｅ ｎ． ｒｊｃｍａ ｇ ｍｅｔａ ｏ ｉｅ ｂ ｓ ｔｍａｉｆ ｃｉ ａ ｚ ｓｒｍｅｔ ｎ ｐ ａ ｓ ａ ｏ ｃ ｕ ｏ ｓ ｍｅ ［ ｙｗ ｒ ｓ ｕ ｃｉｎＰ ｉｔＡｎ ｌｓ （Ｐ ； ｔｏ ； ａｕｅ ｎ；ｏ ａｄ ｆ ｉｏ Ｋｅ ｏ ｄ ］Ｆ ｎ ｔ ｏｎｓ ａｙｉ ＦＡ）Ｂｍｅｈ ｄ ｍｅｓｒｍｅ ｔｆｒ ｌ ｅ ｎｔ ｎ ｏ ｓ ｍ ｉ ｉ
是一种基于软件系统的软件功能规模度量方法 ，用 “ 功能点 数量”来表示软件 的规模。与代码行这种度量单位相比 ，功
能点数量与编程语言无关 ，而且在项 目开发早期确定了软件 需求后即可计算 。
虽 然 Ｆ Ａ方 法应 用 很 广 泛 ， 其 方法 本 身 还 是存 在 不 足 ， Ｐ 但
ｒ ｓ ｌ ａ ｄ ｔ ｅ ｐ ａ ｔｃ ． ｃ ｅ ｒａ ｄ ｕ ａ ｉ ｕ ｕ ｅ ｉ ｉｉ ｎ ｉ ｒ ｏ ｅ ｒｃ ｕ ｔ ｇ ｆ ｎ ｔ ｎ ｐ ｉ ｔ ． ｈ ｔｉ． ｈ ｓ ｏ ｎ ｉ ｇ ｒ ｌ ｓｆ ｒＦＰ ｓ ｅ ｅ ｕ ｔ ｎ ｒ ｃ ｉｅ Ａ ｌ ａ ｎ ｎ ｍｂ ｇ ｏ ｓ ｄ ｆｎ ｔｏ ｓ ｐ ｏｐ ｓ ｄ ｆ ｏ ｎ ｉ ｕ ｃ ｉ ｏ ｎ ｓ ｔ ａ ｓ ｔ ｅ ｅ ｃ ｕ ｔ ｕ ｅ ｏ Ａ ｍｕ ｔｂ ｈ ｏ ｎ ｏ ｎ ｆ ｒ ａｉ ｅ ａ ｅ ｎ Ｂ ｍｅ ｏ Ｐｒ ｃ ｉａ ｘ ｍｐ ｅ ｓ ｏ ｈ ｔｃ ｍｂ ｎ ｎ ｔ ｏ ｔ ｏ ｔ ｒ ｔｉｓ ｃ ｎ ｉ ｒ ｖ ｅ ｅ ｃ ｅ ｃ ｆｓ ｆｗａ ｅ ｏ ｍ ｌｚ ｄ ｂ ｓ ｄ ｏ ｔ ＆ ｈ ａ ｔ ｌ ａ ｌ ｈ ｗｓ ｔ ａ ｏ ｉ ｉ ｇ Ｂ ｍｅ ｈ ｄ ｗｉ ｓ ｆｗａ ｅ ｍｅ ｒｃ ａ ｍｐ ｏ ｅ ｔ ｆ ｉ ｎ ｙ ｏ ｏ ｔ ｒ ｃ ｅ ｈ ｈ ｉ

合集下载

形式化方法

形式化方法


15.1 概 述
15.1.1 非形式化方法的缺点 15.1.2 软件开发过程中的数学 15.1.3 应用形式化方法的准则
15.1.3 应用形式化方法的准则
关于形式化方法是有争议的。这种方法 对某些软件工程师很有吸引力，其拥护 者甚至宣称这种方法可以引发软件开发 的革命，另一些人则对把数学引入软件 开发过程持怀疑甚至反对的态度。编者 认为，对形式化方法也应该“一分为二 ”，既不要过分夸大它的优点也不要一 概排斥。
15.1.1 非形式化方法的缺点
假设在系统规格说明中还规定，系统的 某个命令是：
AVERAGE命令的功能是在PC上显示由某 个特定传感器在两个日期之间获取的平 均水深。
15.1.1 非形式化方法的缺点
抽象层次混杂是指在非常抽象的陈述中 混进了一些关于细节的低层次陈述。这 使得系统规格说明的读者很难了解系统 的整体功能结构。
S (D, e, f ) + DC (e, f ) → M (D, e, f−1) S (N, e, f ) + DC (e, f ) → W (e, f )
15.2 有穷状态机
15.2.1 基本概念 15.2.2 电梯问题 15.2.3 评论
15.2.3 评论
有穷状态机方法采用了一种简单的格式 来描述规格说明
15.2.1 基本概念
15.2.1 基本概念
15.2.1 基本概念
从上面这个简单例子可以看出，一个有 穷状态机包括下述5个部分：状态集J、 输入集K、由当前状态和当前输入确定下 一个状态（次态）的转换函数T、初始态 S和终态集F。
15.2.1 基本概念
有穷状态机的概念在计算机系统中应用 得非常广泛，如每个菜单驱动的用户界 面都是一个有穷状态机的实现。一个菜 单的显示和一个状态相对应，键盘输入 或用鼠标选择一个图标是使系统进入其 他状态的一个事件。状态的每个转换都 具有下面的形式
软件开发形式化方法

软件开发形式化方法

软件开发形式化方法
形式化方法是一种使用数学和形式化语言来描述和验证软件系统的开发方法。

它通常包括以下步骤：
1. 需求分析：使用数学符号和形式化语言来描述系统的需求，例如使用逻辑表示系统的功能和性能要求。

2. 设计规约：使用形式化方法来定义软件系统的设计规范，包括系统结构、模块接口和行为规范。

3. 验证与验证：使用数学推导和模型检验等形式化技术来验证系统设计的正确性和一致性。

4. 实现与编码：将形式化设计规约转换为实际的软件代码，通常需要使用支持形式化方法的编程语言和工具。

形式化方法的主要优点包括提高系统的可靠性和可维护性，减少修改和调试的成本，以及提供形式化证明系统的正确性。

然而，形式化方法也面临着复杂性高、学习和应用难度大的挑战。

因此，形式化方法通常在对系统的正确性和可靠性要求较高的领域得到广泛应用，如航空航天、铁路信号系统、医疗设备等。

人工智能习题答案-第6章-专家系统

人工智能习题答案-第6章-专家系统

⼈⼯智能习题答案-第6章-专家系统第六章专家系统6-1 什么叫做专家系统?它具有哪些特点与优点?专家系统是⼀种模拟⼈类专家解决领域问题的智能计算机程序系统，其内部含有⼤量的某个领域专家⽔平的知识与经验，能够利⽤⼈类专家的知识和解决问题的⽅法来处理该领域问题。

也就是说，专家系统是⼀个具有⼤量的专门知识与经验的程序系统，它应⽤⼈⼯智能技术和计算机技术，根据某领域⼀个或多个专家提供的知识和经验，进⾏推理和判断，模拟⼈类专家的决策过程，以便解决那些需要⼈类专家处理的复杂问题。

特点：(1)启发性专家系统能运⽤专家的知识与经验进⾏推理、判断和决策(2)透明性专家系统能够解释本⾝的推理过程和回答⽤户提出的问题，以便让⽤户能够了解推理过程，提⾼对专家系统的信赖感。

(3) 灵活性专家系统能不断地增长知识，修改原有知识，不断更新。

优点：(1) 专家系统能够⾼效率、准确、周到、迅速和不知疲倦地进⾏⼯作。

(2) 专家系统解决实际问题时不受周围环境的影响，也不可能遗漏忘记。

(3) 可以使专家的专长不受时间和空间的限制，以便推⼴珍贵和稀缺的专家知识与经验。

(4) 专家系统能促进各领域的发展，它使各领域专家的专业知识和经验得到总结和精炼，能够⼴泛有⼒地传播专家的知识、经验和能⼒。

(5) 专家系统能汇集多领域专家的知识和经验以及他们协作解决重⼤问题的能⼒，它拥有更渊博的知识、更丰富的经验和更强的⼯作能⼒。

(6) 军事专家系统的⽔平是⼀个国家国防现代化的重要标志之⼀。

(7) 专家系统的研制和应⽤，具有巨⼤的经济效益和社会效益。

(8) 研究专家系统能够促进整个科学技术的发展。

专家系统对⼈⼯智能的各个领域的发展起了很⼤的促进作⽤，并将对科技、经济、国防、教育、社会和⼈民⽣活产⽣极其深远的影响。

6-2 专家系统由哪些部分构成?各部分的作⽤为何?(1) 知识库(knowledge base)知识库⽤于存储某领域专家系统的专门知识，包括事实、可⾏操作与规则等。

产品模型概念

产品模型概念

产品模型概念一、什么是产品模型1.1 定义产品模型是指描述产品的一种形式化表示或表达，它包括产品的结构、功能、性能、属性等方面的描述。

产品模型可以是物理的、数学的或计算机生成的，其目的是帮助人们更好地理解和设计产品。

1.2 作用产品模型在产品开发过程中起到了至关重要的作用。

它可以用来进行产品设计、分析和优化，帮助设计师更好地理解产品的特性和问题。

同时，产品模型也是生产制造和质量控制的基础，可以帮助制造工艺和质量控制人员更好地理解产品的要求和限制。

二、产品模型的种类2.1 几何模型几何模型是描述产品形状和尺寸的数学表示，通常包括点、线、面和体等几何要素。

几何模型可以采用不同的表示方法，例如曲面网格模型、B样条曲线和曲面模型等。

几何模型可以用来进行产品设计、形状优化和模具制造等。

2.2 功能模型功能模型是描述产品功能和行为的模型，它通常采用数学方程或逻辑表达式表示。

功能模型可以用来进行产品功能分析和优化，帮助设计师理解产品的功能要求和性能限制。

2.3 物理模型物理模型是一种实物的、可触摸的表示方式，通常由原材料或代表产品形状和结构的材料构建而成。

物理模型可以用来进行产品外观设计和展示，帮助人们更好地理解产品的外观和结构。

2.4 数学模型数学模型是用数学语言描述产品特性的模型，它可以采用数学方程、统计方法或优化算法等表示。

数学模型可以用来进行产品分析、优化和决策，为产品设计和制造提供科学的依据。

三、产品模型的建立方法3.1 手工建模手工建模是最传统的建模方法，通常使用纸笔或绘图软件进行。

手工建模的优点是简单易行，可以快速地表达设计想法。

然而，手工建模往往难以满足精确性和复杂性的要求，不能进行大规模的建模工作。

3.2 计算机辅助设计（CAD）计算机辅助设计是目前最常用的产品建模方法之一，它利用计算机软件辅助进行产品设计和建模。

CAD软件具有丰富的功能和工具，可以高效地进行产品建模和分析。

同时，CAD软件还可以生成几何和功能模型，并与其他工具进行数据交换和共享。