软件工程导论

1、 Software EngineeringCCUTSE2013234软件项目软件项目目标目标技术技术管理管理5工程工程项目项目67合理使用与配置合理使用与配置89估算估算工作量工作量软件软件需求需求KLOCFP估算估算规模规模人月人月估算估算进度进度GanttPert模型模型模型模型模型模型1011产品转移产品转移产品运行产品运行产品修改产品修改SQA小组小组计划计划监督监督记录记录分析分析报告报告活动活动措施措施基于非执行的测试基于非执行的测试基于执行的测试基于执行的测试程序正确性证明程序正确性证明12软件配置项软件配置项变化管理变化管理标识变化标识变化版本控制版本控制变化控制变化控制报告报

2、告配置审计配置审计13141516171819工程师工程师a ab bm m唐唐 僧僧111312孙悟空孙悟空101311沙沙 僧僧91210猪八戒猪八戒131714白龙马白龙马121513均值均值111412202122输入项数（输入项数（Inp）输出项数（输出项数（Out）查询数（查询数（Inq）主文件数（主文件数（Maf）外部接口数（外部接口数（Maf）23输入项数输入项数(Inp):(Inp):用户向软件输入的项数，这些输入给软件提供面向应用的用户向软件输入的项数，这些输入给软件提供面向应用的数据数据,不包括查询。不包括查询。输出项数输出项数(Out):(Out):查询数查询数主文件数

3、主文件数外部接口数外部接口数24计算未调整的功能点计算未调整的功能点UFP计算技术复杂性因子计算技术复杂性因子TCF计算功能点数计算功能点数FP25计算未调整的功能点计算未调整的功能点UFPUFP=aUFP=a1 1Inp+aInp+a2 2Out+aOut+a3 3Inq+aInq+a4 4Maf+aMaf+a5 5InfInf 复杂级别复杂级别 特性系数特性系数简单简单平均平均复杂复杂输入系数输入系数a a1 1346输出系数输出系数a a2 2457查询系数查询系数a a3 3346文件系数文件系数a a4 471015接口系数接口系数a a5 5571026计算技术复杂性因子计算技术复

4、杂性因子TCF确定技术因素对软件规模的影响值确定技术因素对软件规模的影响值F1F14； 0Fi 5计算技术因素对软件规模的综合影响程度计算技术因素对软件规模的综合影响程度DI；DI= Fi计算技术复杂性因子计算技术复杂性因子TCF。 TCF=0.65+0.01DIi=11427序号序号Fi技术因素技术因素1F1数据通信数据通信2F2分布式数据处理分布式数据处理3F3性能标准性能标准4F4高负荷的硬件高负荷的硬件5F5高处理率高处理率6F6联机数据输入联机数据输入7F7终端用户效率终端用户效率序号序号Fi技术因素技术因素8F8联机更新联机更新9F9复杂的计算复杂的计算10F10可重用性可重用性1

5、1F11安装方便安装方便12F12操作方便操作方便13F13可移植性可移植性14F14可维护性可维护性技术因素技术因素计算技术复杂性因子计算技术复杂性因子TCF28计算功能点数计算功能点数FPFP=UFPTCF2930313233343536373839404142主程序员主程序员编程秘书编程秘书后备程序员后备程序员程序员程序员程序员程序员程序员程序员43主程序员主程序员编程秘书编程秘书后备程序员后备程序员程序员程序员程序员程序员程序员程序员44主程序员主程序员编程秘书编程秘书后备程序员后备程序员程序员程序员程序员程序员程序员程序员45主程序员主程序员编程秘书编程秘书后备程序员后备程序员程序员

6、程序员程序员程序员程序员程序员46主程序员主程序员编程秘书编程秘书后备程序员后备程序员程序员程序员程序员程序员程序员程序员47技术组长技术组长行政组长行政组长程序员程序员程序员程序员程序员程序员48程序员程序员程序员程序员程序员程序员组长组长程序员程序员程序员程序员程序员程序员程序员程序员程序员程序员组长组长组长组长项目经理项目经理49程序员程序员程序员程序员程序员程序员组长组长程序员程序员程序员程序员程序员程序员程序员程序员程序员程序员组长组长组长组长项目经理项目经理50产品转移产品转移产品运行产品运行产品修改产品修改SQA小组小组计划计划监督监督记录记录分析分析报告报告活动活动措施措施基于

7、非执行的测试基于非执行的测试基于执行的测试基于执行的测试程序正确性证明程序正确性证明51明确地叙述的功能和性能需求、明确地叙述的功能和性能需求、文档中明确描述的开发标准。文档中明确描述的开发标准。任何专业开发的软件产品都任何专业开发的软件产品都应该具有的隐含特征。应该具有的隐含特征。5253产品转移产品转移产品运行产品运行产品修改产品修改正确性（它按我的需要工作吗？）正确性（它按我的需要工作吗？）健壮性（对意外环境它能适当地响应吗？）健壮性（对意外环境它能适当地响应吗？）效率效率 （完成预定功能时它需要的计算机资源多吗？）（完成预定功能时它需要的计算机资源多吗？）完整性（它是安全的吗？）完整性

8、（它是安全的吗？）可用性（我能使用它吗？）可用性（我能使用它吗？）风险风险 （能按计划完成它吗？）（能按计划完成它吗？）可理解性（我能理解它吗？）可理解性（我能理解它吗？）可维修性（我能修复它吗？）可维修性（我能修复它吗？）灵活性灵活性 （我能改变它吗？）（我能改变它吗？）可测试性（我能测试它吗？）可测试性（我能测试它吗？）可移植性可移植性( (我能在另一台机器上使用它吗？我能在另一台机器上使用它吗？) )可再用性可再用性( (我能再用它的某些部分吗？）我能再用它的某些部分吗？）互运行性互运行性( (我能把它和另一个系统结合吗？我能把它和另一个系统结合吗？) )54产品转移产品转移产品运行产品

9、运行产品修改产品修改措施措施基于非执行的测试基于非执行的测试 （也称为复审或评审）：用来保证在（也称为复审或评审）：用来保证在编码之前各阶段产生的文档的质量。编码之前各阶段产生的文档的质量。基于执行的测试基于执行的测试 在程序编写出来之后保证软件质量的在程序编写出来之后保证软件质量的最后一道防线。最后一道防线。程序正确性证明程序正确性证明 使用数学方法严格验证程序是否与它说使用数学方法严格验证程序是否与它说明的完全一致。明的完全一致。55产品转移产品转移产品运行产品运行产品修改产品修改软件工程师软件工程师 采用先进的方法和度量，进行正式的采用先进的方法和度量，进行正式的技术复审以及完成计划周密

10、的软件测试来技术复审以及完成计划周密的软件测试来保证软件质量。保证软件质量。SQA小组小组 通过计划、监督、记录、分析和报告通过计划、监督、记录、分析和报告等活动，辅助软件工程师，通过确保软件等活动，辅助软件工程师，通过确保软件过程的质量来保证软件产品的质量。过程的质量来保证软件产品的质量。软件工程师软件工程师SQA小组小组56(1)技术复审技术复审=走查走查(walkthrough)+审查审查(inspection)(2)技术复审的必要性技术复审的必要性 能够较早发现软件错误，从而防止错误传播到软件过程的后能够较早发现软件错误，从而防止错误传播到软件过程的后续阶段。续阶段。4030%其它错误

11、其它错误复审发现规格说明或复审发现规格说明或设计错误的设计错误的75%57(3)走查走查小组小组：4 46 6人组成人组成走查方式：走查方式：参与者按照事先准备好的列表，提出他们不理解的术参与者按照事先准备好的列表，提出他们不理解的术语和认为不正确的术语。文档编写组的代表必须回答每个质疑，要么语和认为不正确的术语。文档编写组的代表必须回答每个质疑，要么承认确实有错误，要么对质疑作出解释。承认确实有错误，要么对质疑作出解释。文档编写者向走查组成员仔细解释文档。走查组成文档编写者向走查组成员仔细解释文档。走查组成员在此过程中针对问题进行质疑。员在此过程中针对问题进行质疑。（这是更有效的方法）（这是

12、更有效的方法）58(4)审查审查 小组：小组：4 4人组成人组成综述准备审查返工跟踪文档编写者综述文档文档编写者综述文档评审员仔细阅读文档评审员仔细阅读文档评审组仔细走查文档评审组仔细走查文档确保问题解决确保问题解决文档作者解决问题文档作者解决问题59(5)程序正确性证明程序正确性证明 测试只能证明程序中有错误，不能证明程序中没有错误。测试只能证明程序中有错误，不能证明程序中没有错误。 如果在程序中的若干点上，设计者可以提出关于程序变量及它们的如果在程序中的若干点上，设计者可以提出关于程序变量及它们的关系的断言，那么在每一点上的断言都应该永远是真的。关系的断言，那么在每一点上的断言都应该永远是

13、真的。60(5)程序正确性证明程序正确性证明P1P2PiPnPi+1a1a2an语句语句断言断言输出断言输出断言输入断言输入断言如果如果和和都是正确的且都是正确的且则则PiPi+1是正确的是正确的从而所有语句是正确的从而所有语句是正确的61变化容易失控，一旦失控造成混乱或严重错误变化容易失控，一旦失控造成混乱或严重错误管理整个生命周期的变化管理整个生命周期的变化在软件开发的过程中，变化（或称变动）既是必要的，又是不可避免的在软件开发的过程中，变化（或称变动）既是必要的，又是不可避免的软件配置管理软件配置管理626364软件配置项软件配置项计算机程序计算机程序（源代码和可执行程序）（源代码和可执

14、行程序）描述计算机程序的文档描述计算机程序的文档（供技术人员或用户使用）（供技术人员或用户使用）数据数据（程序内包含的或在程序外的）（程序内包含的或在程序外的）65软件配置项软件配置项软件配置项（基线）软件配置项（基线）可以迅速而非正式修改可以迅速而非正式修改 必须用特定的、正式的过程来必须用特定的、正式的过程来 评估、实现和验证每个变化评估、实现和验证每个变化66标识变化标识变化版本控制版本控制变化控制变化控制报告报告配置审计配置审计单独命名每个配置项，并用单独命名每个配置项，并用OOOO方法组织它们方法组织它们标识两类对象：标识两类对象：（1）基本对象：软件工程师在软件过程中创建的文本单元，如一个文档片段）基本对象：软件工程师在软件过程中创建的文本单元，如一个文档片段、一个模块清单、一组测试用例。、一个模块清单、一组测试用例。（2）聚集对象：基本对象和其它聚集对象的集合。）聚集对象：基本对象和其它聚集对象的集合。对象标识：对象标识：名字、描述、资源表、实现。名字、描述、资源表、实现。67标识变化标识变化版本控制版本控制变化控制变化控制报告报告配置审计配置审计单独命名每个配置项，并用单独命名每