山东大学的-软件过程与管理复习重点整理.docVIP

IDEAL模型包含那几个阶段及含义？ IDEAL模型解决了软件组织在各种质量改进环境下的需要，包括了软件过程改进周期中的五个阶段 I: Initiating 开始 D: Diagnosing 诊断、评价 E: Establishing 建立 A: Acting 执行 L: Leveraging 调整 CMM/CMMI、PSP、TSP、RUP、XP、SCRUM、PDCA、MSG、SEPG、WBS、SPI CMM：软件能力成熟度模型。五个级别：初始级、可重复级、已定义级、已经管理级、优化级 CMMI：软件能力成熟度模型集成（整合三个模型：SE-CM、SW-CMM、SDCE） PSP：个体软件过程（着重于软件开发人员的个人能力提升，体现在估算能力、计划能力、计划执行以及质量管理等方面） TSP：团队软件过程（能够提供：①一个已经定义的团队构建过程②一个团队作业框架③一个有效的管理环境） RUP：统一过程（6条开发经验“最佳实践”：迭代式开发、管理需求、使用基于构件的体系结构、可视化建模、验证软件质量、控制软件变更） XP：极限编程（是敏捷过程中最负盛名的一个，有效实践有：重构、使用隐喻、TDD、验收测试、结对编程） SCRUM：是一种迭代式增量软件开发过程，通常用于敏捷软件开发 PDCA：Plan-Do-Check-Action计划-执行-检查-行动/戴明环 MSG：管理层指导组 SEPG：软件工程过程组 WBS：工作分解结构（以可交付成果为导向的对满足项目目标和开发交付产物的项目相关工作进行的分解） SPI：软件过程改进 软件过程与软件质量的关系 软件工程是为了以一种高效的方式提供高质量的软件产品的工程学科。以往的经验和理论表明，产品的质量取决于过程的质量。只有很好地控制了生产过程的质量，才能获得高质量的产品。软件的开发效率也部分取决于软件过程的效率。 低劣的设计是导致在软件开发中返工、不易维护以及用户不满的主要原因。 充分设计可以显著减少最终程序的规模，提升质量。 设计本身也是一种排错的过程 PROBE估算产品规模的基本流程 相关性和显著性描述什么 相关性——描述的是两组变化的数据之间相互关联的程度。 显著性——描述的是两组数据的相关关系出现的偶然程度，显著性越小越好。 应用PROBE方法估算规模时，A，B，C，D四类方法的数据要求是什么 质量指标的含义和计算 ① Yield指标用度量每个阶段在消除缺陷方面的效率Phase Yield（某个阶段缺陷消除的效率）= 100 * (某阶段发现的缺陷个数)/(某阶段注入的缺陷个数+进入该阶段前遗留的缺陷个数) Process Yield= 100 * (第一次编译前发现的缺陷个数)/(第一次编译前注入的缺陷个数)； A/FR ：用以指导软件工程师合理安排评审和测试时间的指标 = PSP质检成本/PSP失效成本Review Rate 评审速度：用以指导软件工程师开展有效评审的指标不同缺陷消除手段消除缺陷的效率操作规格模板OST 描述系统与外界的交互用来定义测试场景和测试用例，也可以作为和系统用户讨论需求的基础功能规格模板FST 描述系统对外的接口，是一种静态信息的描述状态规格模板SST可以精确定义程序的所有的状态、状态之间的转换以及伴随着每次状态转换的动作 逻辑规格模板LST可以精确描述系统的内部静态逻辑。为了消除描述的二义性，一般建议用伪代码配合形式化符号来描述设计结果 正确的状态机设计应该满足哪些要求（完整性和正交性） 状态转换完整性：对于状态机中任何一个状态，对应的所有条件组合，下一个状态的转换都有定义。 状态转换正交性：对于状态机中任何一个状态，其所有下一个状态的转换条件不能相同，简言之，在一个正确状态机中，任何一个状态，当对应的条件组合一样时，其下一个状态必须唯一定义 验证方法 检验状态机，消除死循环和陷阱状态。 检查状态转换，验证完整性和正交性。 评价状态机，检验是否体现设计意图将描述设计的逻辑规格（一般用伪代码程序表示）用代数符号来表示，然后系统地开展分析和验证实施简单，可以给出一般化的验证结果，很多时候是唯一提供全面验证的方式 复杂算法，特别是遗留系统的改造，来识别和理解原有的设计 不适用于有复杂逻辑的场合，纯手工的验证容易引入一些人为的错误用一种有序的方法来跟踪伪码程序的执行状况，分析程序行为，从而验证设计识别伪码程序的关键变量； 构建表格，表格左侧填入主要程序步骤，右侧填入关键变量； 初始化被选定的变量； 跟踪被选择的关键变量的变化情况，从而判断程序行为可以用以复杂逻辑的验证，实施简单，结果可靠每次只能验证一个用例，手工验证既耗时，容易出错是对执行表验证方法的一种扩充识别伪码程序的关键变量； 构建表格，表格左侧填入主要程序步骤，右侧填入关键变量； 初始化被选