GB T 18491.3-2010 信息技术 软件测量 功能规模测量 第3部分：功能规模测量方法的验证.pdf

1、ICS 35.080 L77 道自中华人民主七-、不日国国家标准GB/T 18491.3-201 O/ISO/IEC TR 14143-3: 2003 信息技术软件测量功能规模测量第3部分:功能规模测量方法的验证Information technology-Software measurement一Functional size measurement一Part 3: Verification of functional size measurement methods CISO/IEC TR 14143-3: 2003 , IDT) 2010-12-01发布2011-04-01实施数E马防伪

2、中华人民共和国国家质量监督检验检菇总局中国国家标准化管理委员会发布G/T 18491.3-201 O/ISO/IEC TR 14143-3: 2003 目次前言.m 引言.凹1 范围-2 规范性引用文件3 术语和定义4 验证3附录A(规范性附录)测试请求的表述8附录B(规范性附录)验证方法附录c(资料性附录)验证报告示例u参考文献.17 I G/T 1849 l.3-20 1 O/ISO/IEC TR 14143-3: 2003 目。吕GB/T 18491在信息技术软件测量功能规模测量总标题下目前由以下6个部分组成:第1部分:概念定义;一一第2部分:软件规模测量方法与GB/T18491. 1-

3、2001的符合性评价;一一第3部分:功能规模测量方法的验证;一一第4部分:基准模型;一一第5部分:功能规模测量的功能域确定;二第6部分:GB/T18491系列标准和相关标准的使用指南。本部分为GB/T18491的第3部分。本部分等同采用ISO/IECTR 14143-3 :2003(信息技术软件测量功能规模测量第3部分:功能规模测量方法的验证(英文版)。由于国际标准ISO/IEC14143-6: 2006发布晚于ISO/IECTR 14143-3: 2003，因此原国际标准ISO/IECTR 14143-3:2003的前言中不涉及ISO/IEC14143-6:20060而在将ISO/IEC T

4、R 14143-3:2003转化为本部分时，前言中补充了有关第6部分的说明。为便于使用，对于ISO/IECTR 14143-3:2003，本部分还做了下列编辑性修改=原文中的术语3.5measurand存在拼写错误，改为measured(待测物理量h由于原文的4.3.1.1和A.2. 5中引出了ISO/IEC14143-5，因此在第2章规范性引用文件中增加了GB/T18491. 50 本部分的附录A和附录B为规范性附录，附录C为资料性附录。本部分由全国信息技术标准化技术委员会(SAC/TC28)提出并归口。本部分起草单位:上海计算机软件技术开发中心、中国电子技术标准化研究所、东软集团股份有限公

5、司、辽宁北方实验室有限公司。本部分主要起草人:杨根兴、谢晓燕、宗宇伟、冯惠、邸贺华、蔡立志、李婷、刘振宇、陈达丽、金荣得。皿GB/T 1849 1.3-2010/ISO/IEC TR 14143田3:2003I 功能规模测量(FSM)是通过量化软件用户功能需求来测量软件规模的一种技术。最初发表包含这种概念的方法是由AllanAlbercht于20世纪70年代后期开发的功能点分析。此后，对原有方法开发出了许多扩展和变种。有多个变种可以供最终用户选择，每个变种在特定的条件下都有其自身的优势。制定GB/T18491的本部分是为了通过提供一个对FSM方法的某些性能属性陈述的真实程度进行验证的过程，以帮

6、助用户选择适合他们需要的方法。测试依据本部分中的条款包括对特定FSM方法的性能属性所做的陈述)执行。这些测试的结果将有助于FSM方法的潜在用户判断该方法是否适合他们的需要。制定GB/T1849 1. 12001是为了定义FSM的概念并为所有变体提供一个用于比较的基线。而GBjT18491的本部分:a) 建立了一个框架结构，用以验证FSM方法的某个性能属性;b) 定义了几个性能属性，可据此验证FSM方法;c) 描述了可执行的测试的类型;d) 定义了FSM方法的验证过程;e) 提供了验证报告的一个示例模板。验证由验证组执行，该组具有本部分中描述的能力。本部分假定读者熟悉GBjT18491. 1一2

7、001中描述的概念和定义e设计验证过程以满足验证发起方的需求，并且验证过程应包括:a) 标识需要验证的性能属性;b) 标识需要执行的测试;c) 执行测试;d) 报告验证测试的结果。验证的输出是验证报告，验证报告为FSM方法某性能属性的展现程度提供了客观证据。验证报告由每个被执行的测试结果组成，并且可用作:a) 确定一个特定FSM方法所作陈述的正确性;b) 确定一个特定FSM方法展现被测的特定性能属性的程度;c) 帮助FSM方法的潜在用户做出有关哪个方法最能满足他们需要的明智决定。N GB/T 1849 1.3-2010/ISO/IEC TR 14143-3:2003 信息技术软件测量功能规模测

8、量第3部分:功能规模测量方法的验证1 范围GB/T 18491的本部分规定了一个框架，用以验证FSM方法的陈述和(或)执行验证发起方请求的测试。涉及以下性能属性za) 重复性和再现性;b) 准确性;c) 可转换性;d) 辨别阔值;e) 对功能域的适用性。注:涉及其他性能属性的陈述和测试请求超出了本部分的范围。本部分致力于保证验证输出是客观的、公正的、一致的和可重复的。作为应用本部分结果所产生的验证报告，将使潜在用户选择出最能满足他们需要的FSM方法。2 规范性引用文件下列文件中的条款通过GB/T18491的本部分的引用而成为本部分的条款。凡注日期的引用文件，其随后所有的修改单(不包括勘误的内容

9、)或修订版均不适用于本部分，然而，鼓励根据本部分达成协议的各方研究是否可使用这些文件的最新版本。凡不注日期的引用文件，其最新版本适用于本部分。GB/T 18491. 1-2001 信息技术软件测量功能规模测量第1部分:概念定义Cidt ISO/IEC 14143-1 :1 998) GB/T 18491. 2-2010信息技术软件测量功能规模测量第2部分:软件规模测量方法与GB/T 18491. 1-2001的符合性评价CISO/IEC 14143-2:2002 ,IDT) GB/T 18491. 4-2010 信息技术软件测量功能规模测量第4部分:基准模型CISO/IEC TR 14143-

10、4:2002 ,IDT) GB/T 18491. 5-2010信息技术软件测量功能规模测量第5部分:功能规模测量的功能域确定CISO/IECTR 14143-5:2004,IDT) 3 术语和定义3.1 GB/T 18491. 1-2001中界定的以及下列术语和定义适用于本部分。测量的准确性accuracy of measurement 测量结果与被测正确值接近一致的程度。注1:准确性是一个质的概念。注2:术语精确性不宜被用作准确性。引用参考文献【13J3.5的定义注3:参考文献口3J中定义，一个正确值是一个与某给定具体量的定义一致的值，且该值可通过一个理想的测量获得。在理想测量不切实可行的情

11、况下，由于存在合乎已知目标的不确定因素，按照惯例，约定的正确值是源自具体量并被接受的值。约定正确值在相同的参考资料中有时称作分配值、最佳估计值、约定值或参考值。宜采用相对误差的平均量表述准确性。GB/T 1849 1.3-2010/ISO/IEC TR 14143-3:2003 3.2 3.3 3.4 3.5 3.6 3. 7 3.8 3.9 2 功能域的适用性applicability to a functional domain FSM方法考虑与其所在功能域中相关的用户功能需求(FUR)的特性的能力。可转换性convertibility 应用两个或多个FSM方法对同一用户功能需求集进行功能

12、规模测量所得结果的转换能力。注:FSM方法的可转换性是GB/T18491. 1-2001的一个建议。辨别(阐值)discrimination (thr臼hold)一个激发引起的变化呈缓慢且单调时，使得测量手段产生可检出的最大变化。注:辨别度阂值可能取决于噪音内部的或外部的)或摩擦，也可能取决于激发值。引用参考文献口3J5. 1. 1的定义待测物理量measured 被测的特定量。例:20.C时给定样品水的液体压力。注1:对待测物理量的说明可能简要时间、温度、压力等量的陈述。引用参考文献13J2.6的定义注2:本部分中待测物理量指FUR.测量手段measuring instrument 用于进行

13、测量的设施，单独使用或与其他辅助设施配合使用。注2本部分中测量手段的核心要东是FSM方法。FSM方法的拥有方owner of thc FSM method 拥有FSM方法知识产权的个人或组织。(测量结果的)重复性repcatability (of resuIts of measuremcnts) 相同测量条件下，对相同待测物理量执行连续测量所产生的结果接近一致的程度。注1:这些条件称作可重复条件。注2:可重复条件包括2a) 相同的测量过程;b) 相同的观察者;。在相同条件下使用相同的测量手段;d) 相同的位置;e) 在短期内重复。注3:重复性可以根据结果的分布特性定量地表示。引用参考文献口3J

14、3.6的定义(测量结果的)再现性reproducibility (of results of measurements) 在不同测量条件下，对相同待测物理量执行测量所产生的结果接近一致的程度。注1:再现性的有效陈述应有条件变化的说明。注2:变化的条件可包括:a) 测量原则;b) 测量方法;GB/T 1849 1.3-2010/ISO/IEC TR 14143-3:2003 3.10 c) 观察者;d) 测量手段;e) 引用标准;f) 位置;g) 使用条件;h) 时间。注3.再现性可以根据结果的分布特性定量地表示。注4:这里的结果通常都被认为是正确的。f引用参考文献13J3.7的定义验证方法ve

15、rification method 用于测试FSM方法并为特定性能属性的展现程度提供客观证据的方法。注:应用本部分的目的是使用户选择最能满足他们需要的FSM方法。因此验证FSM方法产生的结果宜表明:a) 性能属性展现的程度;b) 性能属性是否展现到了规定的程度。因此，没有成功或失败的概念。对于特定的性能属性，可基于是否已经对FSM方法执行了适当的验证来认为该方法是己验证的或未验证的。3. 11 验证发起方verification sponsor 要求执行验证并为执行验证提供资金或其他资源的个人或组织。4 验证4. 1 概述4. 1. 1 验证的目的是为FSM方法展现某些性能属性的程度提供客观证

16、据。可接受的级别可能依赖于验证发起方的周境和目的等，例如一个级别可能对于一个目的是可被接受的，但对于另一个目的是不可被接受的。4. 1. 2 FSM方法验证应由验证组执行，其目的是:a) 确定FSM方法陈述的正确性;b) 实施验证发起方所请求的测试。4.1.3 验证应包括以下活动za) 组建验证的组(验证组的组建基于被鉴别的能力，见4.2); b) 汇集验证的输入(验证输入是明示的或生成的，见4.3); c) 执行验证(验证的执行，见4.4);d) 编辑验证的输出(产生验证报告，见4.5)。注:图1提供了一个图示(图中的数字是本部分的条款)。4. 1. 4 验证报告应只对作为验证主体的FSM方

17、法的特定版本有效。方法的每一个版本(包括本地客户化)，都被看作另一个FSM方法并且应分别进行验证。如果验证组可以区分一个FSM方法与其先前已验证的一个版本之间的相同点和不同点，那么可以把先前的验证结果作为新验证的基础。如果对同-FSM方法先前已验证版本的验证测试已报告过，那么验证组应在当前验证中考虑这些验证测试。注:如果验证组根据先前已验证的FSM方法来验证一个FSM方法，那么他们需要意识到两个版本间可能存在的未被关注的不同之处所带来的风险。验证组必须注意在验证过程中考虑所有变更的实际结果。4.1.5 验证组应验证被评估FSM方法的版本的文档是完整的(如4.3.2中定义)和正确的。4.1.6

18、验证组宜在验证过程中与验证发起方保持联系。4. 1.7 如果能联系上FSM方法的拥有方，那么验证组应:3 GB/T 1849 1.3-20 1 O/ISO/IEC TR 14143-3 :2003 a) 在验证过程中与拥有方保持联系;b) 在验证报告中表述与拥有方联系的主题，并且在适当的地方交叉引用与之相关的条款或验证活动。4.1.8 在与FSM方法的拥有方进行联系的过程中获得的信息，验证组应确定是否将形成一个与所提交验证的FSM方法不同的新版本。在这种情况下，应运用4.1. 40 4. 1. 9 如果能联系上FSM方法的拥有方，那么应为拥有方提供机会去响应验证中的一些发现，并且在验证报告发布

19、前添加一些备注说明。4. 1. 10 如果FSM方法的拥有方在合理的时间段内未对验证报告的发现作出响应，那么验证组就可以继续进行报告的发布。这个时间段，宜在验证开始时宜由FSM方法的拥有方和验证组达成共识。4 活动组建验证组(4.2) 汇集验证输入(4.3) 执行验证(4.4) 编辑验证输出(4.5) 任务确定验证组的能力(4.2. 1) 创建测试请求列表(4.3.4) 执行请求的测试(4.4-a)记录结果(4.4一b)分析测试结果(4.4-c)必要时，评审结果并评价陈述的正确性(4.4-d)生成验证报告(4.5.1)图1验证参与者验证发起方验证发起方验证组验证发起方FSM方法拥有方验证组验证

20、发起方FSM方法拥有方验证组验证发起方验证组验证组验证组验证组验证组GB/T 1849 1. 3-2010/ISO/IEC TR 14143-3:2003 4.2 组建验证组4.2.1 确定验证组的能力依据本部分，要验证一个FSM方法，验证组宜具有:a) GB/T 18491所有部分的概念知识;b) 对GB/T18491. 3和GB/T18491. 4细节的完全理解;c) 对测量概念的完全理解;d) 待验证FSM方法的经验;e) 在软件环境中执行以国家或国际标准为依据的验证测试方面的经验(本部分中不是必要的)。注2测量概念包括2a) 统计方法;b) 测量理论;c) 软件规模测量的概念。4.2.

21、2 验证组的职责验证组应保证验证中所有的活动都被完成。这些活动应包括:a) 制定验证计划;b) 定义验证规程;c) 执行验证(应用验证方法，记录和分析测试结果，以及评价每个陈述的正确性hd) 生成验证报告。4.3 汇集验证输入4.3. 1 准备验证输入4.3. 1. 1 验证输入至少应包括以下信息:a) GB/T 18491的第3部分、第4部分和第5部分pb) FSM方法文档;c) 依据GB/T18491. 2-2010，FSM方法符合GB/T18491. 1-2001的证据Fd) 验证发起方指定的验证目的、范围和周境;e) 待验证的陈述列表和/或测试请求列表;f) 验证计划;g) 验证规程。

22、4.3. 1. 2 验证输入还宜包括:a) 基准用户需求;b) 基准FSM方法。基准用户需求和基准FSM方法宜适合于待测FSM方法的适应性所对应的功能域。对于独立研究人员依据本部分条款完成的测试结果，验证组可以有选择地接受。4.3.2 收集FSM方法文档FSM方法文档应包括使用GB/T18491. 2-2010对FSM方法进行GB/T18491. 1-2001的符合性评价时提交的所有材料，但并不局限于此。4.3.3 编辑待验证的陈述列表陈述列表应包括与性能属性列表有关的FSM方法陈述。只有FSM方法文档中的陈述才被看作FSM方法陈述。陈述列表应由验证发起方与验证组协商后编制。可能时，FSM方法

23、的拥有方宜参与该过程。4.3.4 创建测试请求列表测试请求应仅与性能属性列表有关。验证组在与验证发起方协商后，应通过检查下列内容来制定测试列表:5 GB/T 1849 1. 3-2010/ISO/IEC TR 14143-3 :2003 a) 陈述列表(如果有)并标识可用于验证每个陈述的测试;b) 验证发起方的附加要求(如果有)并标识可用于满足这些要求的测试。可能时，FSM方法的拥有方宜参与该过程。注:测试结果的有用性将取决于请求是如何构成的。验证组可在测试详细说明中帮助保证验证结果对验证发起方是有用的。正确地构成测试请求也将简化验证。例:如果验证发起方提问方法A的准确性如何，那么验证报告可能

24、包含以下所有的陈述:a) 对于60%的测量，方法A产生的功能规模在80%以内是准确的;b) 对于70%的测量，方法A产生的功能规模在75%以内是准确的;c) 对于80%的测量，方法A产生的功能规模在65%以内是准确的。如果验证发起方要求的测量准确度是90%，那么上述结果就不是很有用。应依据附录A中规定的框架表示测试请求。4.3.5 计划验证(验证计划)验证组应在与验证发起方协商后制定验证计划。验证计划至少应za) 描述验证规程所需要的活动、任务、时间表和资源;b) 提供待用验证方法的详细描述;注z附录B中描述了一些验证方法。c) 唯一标识验证过程的每个输入;d) 包括验证组成员的姓名和详细联系

25、方式;e) 包括验证发起方的姓名和详细联系方式;f) 描述参与验证的所有人员和组织的角色和职责;g) 描述在验证过程中如何使用输入产生验证输出。4.4 执行验证验证应包括以下活动:a) 执行请求的测试;注:对测试列表中的每项测试都必须应用验证方法。b) 记录测试结果;c) 分析测试结果;d) 评审测试结果并评价陈述的正确性(必要时)。4.5 编辑验证输出4.5.1 验证组应生成一个验证报告，它记录了支持验证结果的详细证据。验证组宜从验证发起方那里获得一个认可签名。4.5.2 验证报告至少应包括以下各项:a) 执行概要;b) 验证发起方的目的、范围以及背景zc) 待验证的陈述列表(如果有); d

26、) 测试请求列表(如果有); e) 验证计划;f) 测试结果(包括所有对得出结论有用的信息hg) 测试结果的分析;h) 陈述正确性的评价(如适用)。4.5.3 执行概要部分至少应包括以下内容:a) FSM方法的完整的定义细节;6 GB/T 18491.3-2010/ISO/IEC TR 14143-3 :2003 b) 验证日期;c) 每个陈述的验证结果;d) 每个测试请求的验证结果;e) 验证组成员的姓名和详细联系方式。注:附录C包含了一个验证报告的例子，该例子展现了本部分的最低要求。7 GB/T 1849 1.3-201 O/ISO/IEC TR 14143-3: 2003 附录A(规范性

27、附录)测试请求的表述A.1 测试请求的一般要求测试请求列表中的每个测试请求应:a) 编号，以能被唯一性地识别;b) 标识FSM方法中的相应陈述(如果适用hc) 标识测试所涉及的性能属性;d) 说明验证测试所用的验证方法;注:附录B中描述了验证方法。e) 依据A.2中的条款准确地描述。A.2 测试请求的描述A.2.1 有关FSM方法重复性和再现性的测试测试FSM方法重复性和再现性的请求应说明:a) 待测FSM方法的功能域;b) 待测FSM方法的FUR的规模范围;c) 待测FSM方法的测试条件;示例1:这样的条件可以是必须由组织C认可的测量者来应用方法A，以测试该方法是可重复和再现的。d) 应用验

28、证方法所必需的其他所有信息。示例2:当由组织C认可的方法A测量者将FSM方法A重复地应用到同一的FUR(属于管理信息系统功能域的;且规模范围是100600个方法A单元;方法A单元所得结果间的标准偏差是多少。示例3:当3.05版本的FSM方法A由不同的测量者应用到任一来自任意给定功能域和任意规模的FUR集时，方法A单元所得结果间的标准偏差是多少。A.2.2 有关FSM方法准确性的测试A. 2. 2.1 概要测试FSM方法准确性的请求应说明应用验证测试必需的所有信息。示例z我们能否建立FSM方法B的准确性，1) 通过建立FSM方法A的结果与FSM方法B的结果间的关联;2) 用于实时系统功能域;3)

29、 用于所有规模小于600个方法A单元的FUR;的验证方法B的准确性?A. 2. 2. 2 通过引用外部准则的准确性陈述8 通过引用一个外部准则陈述FSM方法是准确的应说明:a) 用于说明准确性的外部准则;b) FSM方法的结果与外部准则的值之间的相关性可以或已经建立的条件;c) FSM方法的结果与外部准则的值之间的相关性的类型(相等、错误率等)。示例:1) 待验证FSM方法的名称:方法B;2) 用来说明准确性的外部准则:方法A;D 版本号:10; 的作者姓名:Fred Smith和EthelJ ones; 5) 发布日期:1990;GB/T 1849 1.3-201 O/ISO/IEC TR

30、14143-3: 2003 的发布者姓名和详细联系方法:B.C Publishir毡，Mawson，Antarctica o 陈述:在测量任何功能域的FUR时，可以统计地表示为:A(FURi)句2头B(FURi)(士10个方法B单元)式中:A(FURi)-把FSM方法A应用到任何FURi所得到的结果;B(FURi)一二把FSM方法B应用到任何FURi所得到的结果。因为FSM方法A是100%准确的(在使用本部分测试后)，FSM方法B的准确性大约是士10个方法B单元。A. 2. 2. 3 使用引用的理论作准确性陈述通过引用理论陈述FSM方法是准确的应说明:a) 用以说明FSM方法准确性的理论的完整

31、描述(文档、作者等hb) 理论如何解释FSM方法行为的完整描述。A.2.3 有关FSM方法可转换性的测试测试FSM方法可转换性的请求应说明:a) 与待验证FSM方法对照的测试方法的唯一标识(依据GB/T18491. 2-2010中的4.3.2);b) 被测的待验证FSM方法所对应的FUR的规模范围;注:规模范围可以用待测FSM方法的单元或其他测茸方法的单元表示。c) 已建立的关联功能域;d) 使得FSM方法与第二测量方法之间能够进行转换的算法或推导，如果已经定义;e) 应用验证方法所必需的其他所有信息。示例1:使用验证方法y测试可转换性，确定当FSM方法A和B都应用到FUR时，FSM方法A的结

32、果是否可以转换成FSM方法B的结果。其中的FUR:1) 属于电子银行系统功能域;2) 规模小于600个方法A的单元。示例2:待验证FSM方法的名称:方法Bo已建立相关性的测量方法:1) 方法名称2方法A;2) 版本号:10; 3) 作者姓名:Fred Smith和EthelJ ones; 的发布日期:1990;5) 发布者的姓名和详细联系方法:B.C Publishing , Mawson , Antarcticao 陈述:在应用到过程控制系统功能域内任何规模的FUR时，可以统计地表示为:A(FURi)句2祷B(FURi)+7式中:A(FURi)-将FSM方法A应用到任何FURi所得到的结果;

33、B(FURi)-将FSM方法B应用到任何FURi所得到的结果。A.2.4 有关FSM方法辨别度的测试测试FSM方法辨别度的请求应说明:a) 执行测试的功能域;b) 应用验证方法所必需的其他所有信息。示例1:应用验证方法Z测试辨别度，确定实时系统功能域FUR的已测量特性的最小变化，该变化使得FSM方GB/T 18491.3-201 O/ISO/IEC TR 14143-3: 2003 法生成的测盐结果产生了改变。示例2:在FSM方法K(版本1.3. 1)中，一个数据元类型在输入或输出上的变化会分别产生0.01和0.02个FSM方法K单元规模的变化。A. 2. 5 有关FSM方法的功能域适用性的测

34、试测试FSM方法的功能域适用性的请求应说明:a) 待测FSM方法的功能域，符合GB/T18491的第5部分;b) FSM方法适用的FUR的规模范围;c) 适用性方面的其他约束;注:方法可以应用到功能域的一个子集。d) 应用验证方法所必需的其他所有信息。10 GB/T 1849 1.3-201 O/ISO/IEC TR 141日-3:2003 附录B(规范性附录)验证方法B.1 评估FSM方法重复性和再现性的验证方法B. 1. 1 重复性要执行重复性验证，验证组应2a) 选择测试所需的n个FUR的列表(n二月0); 注1:数字30是普遍接受的样本规模，其对获得正态分布的统计平均数是必要的。b)

35、任命一个测量者组，该组在使用被验证FSM方法方面接受过正规培训，并具有相关经验;c) 保证实验的客观性;d) 要求每个测量者将FSM方法应用到每个FUR;e) 检查每个测量者获得的结果，以保证FSM方法的规则被正确应用;f) 计算每个FUR的结果的平均值和标准偏差;g) 确定测量方法的统计重复性。注2:用到的统计数字依赖于获得的结果。例如，假如获得的结果正常地分布在平均值附近，那么测量者获得的结果中有99.7%宜在土3X标准偏差内。然而，必须关注系统的错误，如许多测量者系统地未能识别某些与FSM方法相关的BFC类型。测茸者1测量者2. 测垃者m平均值标准偏差FUR 1 123 130 咽.12

36、8 127 3.109 FUR 2 250 245 . 254 249 3. 741 . . . . FURn 417 430 . 425 424 5. 35 B.1.2 再现性除了在验证过程中必须改变一些条件外，再现性与重复性的验证活动是一样的。B.2 评估FSM方法准确性的验证方法B. 2.1 应用FSM方法的准确性的验证要执行应用FSM方法的准确性的验证，验证组应:3X标准偏差9.327 11. 223 . 16.06 a) 确定FSM方法A方面的一个专家组，他们将根据FSM方法A对特定FUR集的最佳应用情况来建立一个规模共识。该共识值将作为FSM方法A对此FUR集所产生的功能规模正确值

37、的最佳估计值或参考值;b) 确定该方法的一个用户组以独立地测量同-FUR集。这个用户组在FSM方法A方面的经验宜被记录;c) 将各测量结果与专家建立共识的参考值进行比较，以确定这组实验条件下FSM方法的准确性。B.2.2 关于参考理论的验证要执行关于参考理论的验证方法的准确性的验证，验证组应:a) 使用理论进行预测;b) 将实际观测与理论进行比较。11 GB/T 18491.3-201 O/ISO/IEC TR 14143-3: 2003 B.3 FSM方法可转换性的验证方法要执行可转换性验证，使用相关的第二个FSM方法，验证组应核实待验证FSM方法与第二个FSM方法测量同一的量。示例1:两点

38、之间的距离可用以下尺来测量:a) 以米为刻度的尺;b) 以英尺为刻度的尺。第一种方法(第一种尺获得的结果可以转换成第二种方法获得的结果。该转换以lm=3.28in的事实为基础。所以进行该转换操作使用了下面的等式z以英尺为单位的距离等于3.28乘以米为单位的距离。示例2:可转换性可以是准确的，即通过数学公式或统计相关性。在有直接的数学公式转换时，仅转换公式需要测试。下面描述的方法仅仅在假定两种方法之间最多只有一个统计相关性的时候应用。要执行可转换性验证，验证组应:a) 选择适合测试的个FUR的列表(n注30);b) 任命一个在使用FSM方法方面接受过正规培训并具有相关经验的测量者;c) 任命一个

39、在使用第二个FSM方法方面接受过正规培训并具有相关经验的测量者Ed) 保证实验的客观性;e) 要求每个测量者将FSM方法应用到每个FUR;f) 检查测量者获得的结果，以保证方法的规则被正确应用;g) 确定两种方法的结果间的相关性等式;h) 确定相关性系数并分析所得结果的协方差。注:可转换性可用下列的一种表示:a) 完全可转换性:在任何条件下，使用一个算法或一个数学模型可以将功能规模转换成另一种软件规模测量;b) 受限的可转换性z在某些条件(如对于有限的规模范围或在特定的准确性程度内)下，使用一个算法或一个数学模型可以将功能规模转换成另一种软件规模测量;。不可转换性:功能规模不能转换成另一种软件

40、规模测量。B.4 FSM方法辨别度的验证方法要执行辨别度验证，验证组应:12 a) 选择适合测试的n个FUR的列表(注30);b) 任命一个测量者，该测量者在使用FSM方法方面接受过正规培训并具有相关经验zd 保证实验的客观性;d) 要求每个测量者将FSM方法运用到每个FUR中;e) 检查测量者获得的结果，以保证方法的规则被正确应用;f) 通过以下方式确定最小辨别度:1) 鉴别FUR的最小变化，FSM方法能据此识别出功能规模值的变化;2) 从零往上移动，在FSM方法可识别出功能规模值的变化前鉴别FUR中的最大变化;示例1:如果一个天平以克为单位，那么比1g小的东西就元法测量。g) 通过以下方式

41、确定最大辨别度:1) 鉴别FUR的最大变化，FSM方法能据此识别出功能规模值的变化;2) 从元穷大往下移动，在FSM方法可识别出功能规模值的变化前鉴别FUR中的最小变化。示例2:如果一个天平的量程只有1比，那么比1kg大的东西就元法测量。GBjT 1849 1. 3-2010jISOjIEC TR 14143-3 :2003 B.5 对于功能域的适用性(FSM方法的)的验证方法要执行对于功能域的适用性的验证，验证组应:a) 确定FSM方法是否考虑或识别了用以定义或区分功能域的特性;b) 确定FSM方法考虑功能域的主要功能规模影响参数的程度。注1:GB/T 18491. 1-2001对功能域做了

42、一般定义，而GB/T18491. 5-200 X中扩展了特定功能域的定义。注2:如果一个FSM方法不符合特定的BFC类型(给定要求的准确性)，并且该BFC类型对于功能域上软件的功能规模是至关重要的，那么该FSM方法对该功能域不适用。注3:一个近似的FSM方法可以不考虑所有可能的BFC类型(这些BFC类型能完全区分一个特定的功能域)，但是可能对该功能域上近似规模的软件是适用的。13 GB/T 1849 1.3-20 1 O/ISO/IEC TR 14143-3 :2003 附录C(资料性附录)验证报告示例C.1 介绍本附录提供了一个依据本部分生成验证报告的示例。以下是该报告的主要元素:a) 执行

43、概要;b) 验证发起方的目的、范围和背景;c) 待验证的陈述列表(如果有); d) 测试请求的列表(如果有); e) 验证计划;f) 测试结果(包括所有对得出的结论有用的信息hg) 测试结果的分析;h) 陈述的正确性评价(如适用)。C.2 执行概要14 报告标题方法识别名称版本号作者发布日期发布者评价组织验证结果日期结果方法A(版本11)的验证方法A版本11Fred Smith and Ethel Jones 2001 B. C. Publishing , Mawson Antarctica Acme Evaluators 1999.7.21 重复性和再现性:当FSM方法A(版本11)由组织C

44、认可的方法A测量者重复应用到同一FUR(属于公共银行系统功能域)，且获得的结果少于600个方法A单元(近似地)，那么结果的标准偏差少于9个方法A单元。可转换性:当应用到薪资系统功能域的FUR时，可以统计地表示为:A(FURi)3. 14159兴B(FURi)+2.71828式中:a) A(FURi)是将FSM方法A(版本11)应用到被测FURi集所得到的结果;b) B(FURi)是将FSM方法B(版本4)应用到被测FURi集所得到的结果。测试请求准确性:当应用到管理信息系统功能域的FUR(该FUR的规模少于600个方法A(版本11)单元)时，可以统计地表示为:A(FURi)臼42祷B(FURi

45、)(土10方法B单元); 验证组评估组长GBjT 1849 1.3-2010jISOjIEC TR 14143-3:2003 式中:a) A(FURi)是将FSM方法A(版本11)应用到被测FURi集所得到的结果zb) B(FURi)是将FSM方法B(版本4)应用到被测FURi集所得到的结果。John Acm巳电话:123456789传真:987654321E-mail:johnacme. com. xyz 助理评估员John Acme 电话:123456789传真:987654321E-mail .johnacme. com. xyz Janet Acme 电话:123456789传真:98

46、7654321E-mail . xyz C.3 验证发起方的目的、范围和周境验证发起方正在研究FSM方法A的实施。他已经请求验证FSM方法中所作的两个陈述，并想在最终决定实施方法A前知道两个性能属性的验证测试结果。C.4 陈述列表陈述陈述的位置关注的性能属性陈述主体陈述陈述的位置关注的性能属性已建立的相关测量方法陈述主体C.5 测试请求列表陈述1第2页第4段重复性和再现性当FSM方法A(版本11)由组织C证明合格的方法A使用者重复应用到同FUR(属于客户注册系统功能域)，且获得的结果少于600个方法A的单元(近似地)，那么结果的标准偏差少于12个方法A单元。陈述2第2页第5段可转换性名称和版本

47、号:方法B，版本号:4作者姓名:Fred and Ethel 发布日期:1990发布者的姓名和具体联系方式:B. C. Publishing, Vostok Antarctica 当应用到薪资系统功能域的FUR时，可以统计地表示为:A(FURi)句2美B(FURi)+7式中za) A(FURi)是将FSM方法A应用到任意FURi所得到的结果;b) B(FURi)是将FSM方法B应用到任意FURi所得到的结果。测试测试请求1关注的性能属性准确性15 G/T 18491.3一-201 O/ISO/IEC TR 14143-3:2003 测试请求的主体确定我们是否能通过建立FSM方法B(版本4)和F

48、SM方法A之间的相关性来证明FSM方法B(版本4)的准确性:a) 针对管理信息系统功能域;b) 针对所有规模小于600个方法A单元的FUR;c) 使用从附录B中选出的准确性验证方法。C.6 验证计划本报告的该部分宜包括验证计划。C.7 结果本报告的该部分宜包括验证组执行的每个测试的详细结果。C.8 测试结果的分析本报告的该部分宜包括验证组执行的每个测试的结果的分析。C.9 陈述正确性的评价本报告的该部分宜包括方法所作陈述的评价。16 GB/T 1849 1.3-201 O/ISO/IEC TR 14143-3: 2003 参考文献lJ A. ABRAN, V. T. Ho, S. OLIGNY, T. FETCKE, Convertibility Study of Functional Size Measurement Methods COSMIC-FFP and IFPUG methods. UQAM, 2000