1、 软件工程自考复习资料 第1章?软件：计算机程序及说明程序的各种文档。“程序”是计算任务的处理对象和处理规则的描述；?“文档”是有关计算机程序功能、设计、编制、使用的文字或图形资料。?软件生产的发展：程序设计时代，程序系统时代，软件工程时代。?软件工程：用科学知识和技术原理来定义、开发、维护软件的一门学科。?软件工程性质：它涉及计算机科学、工程科学、管理科学、数学等领域，计算机科学着重于原理和理论，而软件工程着重于如何建造一个软件系统。软件工程要用工程科学中的观点来进行费用估算、制定进度、制定计划和方案。软件工程要用管理科学中的方法和原理进行软件生产的管理。软件工程要用数学的方法建立软件开发中
2、的各种模型和各种算法，如可靠性模型，说明用户需求的形式化模型等。?软件工程研究的主要内容是软件开发技术和软件开发管理 个方 。 软件开发技术中，主要研究软件开发方法、软件开发 程、软件开发工 和 。 软件开发管理中，?主要是研究软件管理学、软件 学、软件理学等。?软件工程 的 ：软件费用；软件可靠性；软件维护；软件生产 ；软件重用。?软件工程 程： 程； 程；开发 程； 程；维护 程；管理 程； 程。?软件生 ：可行性 和 开发计划；需求 ； 要设计； 设计；编 ；维护。?软件生 模型是描述软件开发 程中各种如何行的模型。?模型是currency1软件生 各个规定“性序fi的fl 的模型。?模
3、型是一种 开发的模型。模型是一种开发的模型?模型currency1模型”模型来， ，用于复的型软件开发； 个 ：第一，制定计划；第， ；第，开发 ；第，用户估。?模型是一种用户需求，对象 的模型， 于 对象的开发方法。 模型使开发 程 有 代性和 性。?知识的模型 能模型，它 模型和 系统 一。?模型是一种 于形式化开发方法的模型。软件需求形式化说明开 ， 一系 ， 系统的 程序。?软件开发方法：?化方法化 、化设计、化程序设计。它是一种 数 的开发方法。化方法的 是自 、 求 。它的 原则是功能的 ”象，它是软件工程中 的开发方法， 于数 处理领域的 。?Jackson方法是一种 数 的开发
4、方法。?维 纳开发方法（VDM）是一种形式化的开发方法，软件的需求用严格的形式语言描述。?对象的开发方法包括 对象 、 对象设计、 对象 。 对象开发方法有?Booch方法、Coad方法?第2章?软件可行性研究的 的就是用 小的代价 尽可能短的时 内确定该软件 是否能够开发，是否值 去开发。注意，可行性研究的 的不是去开发一个软件 ，而是研究这个软件 是否值 去开发，其中的 提能否决。可行性研究质上是要进行一次简化、压缩 的需求 、设计 程，要 较高层次上较象的方式进行需求 和设计 程。?可行性研究的任务?技术可行性：对要开发 的功能、性能、限制条件进行 ，确定 有的资源条件 ，技术有多，是否
5、能 。包括：开发的；资源的有效性；技术；开发人员 估技术可行性时，一旦估计错误，currency1会 灾难性后果。?可行性包括 效果 、公司 营长 策略、开发所需的 和资源、潜 的市场前景。?社会可行性包括：同、责任、侵权、用户组织的管理模式及规范，其他一些技术人员常常不 的陷阱等。?典型的可行性研究有 骤：确定 规模和 ；研究正 运行的系统；建立新系统的高层逻辑模型； 和价各种方案；推荐可行的方案；编写可行性研究报告。?可行性研究报告的主要内容：引言；可行性研究前提；对 有系统的 ；所建议系统的技术可行性 ；所建议系统的 可行性 ；社会因素可行性 ；其他可 选择方案；论意见。? 效益 首先是
6、估算currency1要开发的系统的开发 ，然后”可能 的效益进行比较和权衡。效益 有形效益和 形效益 种。有形效益可用货币的时 价值、投资回收 、纯收等 进行度； 形效益主要性质上、 理上进行衡，很难直fi进行的比较。?投资回收 就是使累计的 效益等于 初的投资费用所需的时 。?的纯收， 就是 个生 之内的累计 效益（折 值）”投资之差。?开发计划： 述； 计划；人员组织及 工；交付 限。?第3章?进行可行性研究和软件计划后，如果确认开发一个新的软件系统是必要的而且是可能的，那么就进需求。?需求 是 ，开发人员要准确理用户的要求，进行 致的调查 ，currency1用户 形式的需求陈述转化
7、的需求定义， 需求定义转 的形式功能规 （需求规格说明）的 程。?它的难点主要 个方 ： 的复性；交 ；不 性和不一致性；需求 性。?需求 的 任务是要准确 定义新系统的 ， 用户需要，回 系统必 “ 么”的 。?要进行 方 的工 ：?识 ：功能需求；性能需求； 需求；用户 需求?” ： 软件的逻辑模型?编写文档：需求规格说明 ；初 用户使用 ；确认计划； 软件开发计划。?化 （SA）是 数 进行需求 的方法。?SA方法 用图形等 形式化的描述方式 需求，简明 ，用它 形需求说明 中的主要 。这些描述工 是：数 图；数 字典；描述 工逻辑的化语言， 定 、 定 。?“数 图（DFD）”描述的
8、， 描述系统 组，各 之 有 么系等等。?“数 字典”定义 数 图中一个图形素。化语言、 定 或 定 则 描述数 ?图中不能 的一个 工。?数 是数 系统内的currency1，因“一组 定的数 组。?工（ 数 处理）。对数 进行些 或 。?数 （ 文件）， fi时fl 的数 ，它可是数 文件或任何形式的数 组织。?数 源点或 点：是 软件系统 中的，统 。?数 字典（DD）就是用来定义数 图中的各个 的 义的，它和数 图同 系统的逻辑模型，是需求规格说明 的主要组 。?数 字典的内容及格式?数 是组数 和数 的 小素。?数 条 ；数 条 ；数 条 ； 工条 数 字典中的 工逻辑主要描述该 工
9、“ 么”， 工的策略，而不是 工的 ，它描述如何 数 数 的 工规则。?工逻辑 “小说明”，描述 工逻辑一用 种工 ：化语言、 定 、 定 。?化语言是于自然语言和形式语言之 的一种 形式语言。它的可 层和内层 层：层用来描述制，”用序、选择、重复种 ；内层对于序行和 行的 ，用化语言描述。对于 多个条件复组的 ,用 定 和 定 。?IDEF0：用来描述系统的功能及其系，建立系统的功能模型。?IDEF1：用来描述系统的 及其系，建立系统的 模型。?IDEF2：用来进行系统模，建立系统的 模型。?统的SA方法主要用于数 处理方 的 ，主要工 DFD 系统“ 么”的功能，它是一个模型，有处理的序，
10、 制 程。?形式化方法是currency1需求规格说明用形式规 语言来描述。典型的有 于模型的Z语言及VDM开发方法。?第4章 软件需求 ， 软件“ 么”的 ， 这些需求 规格说明 描述 来，这 是 系统的逻辑模型。进 设计，要 软件“ 么”的逻辑模型 “么 ”的理模型， 着 软件的需求，currency1设计的果 “设计规格说明”文档中，软件设计是一个 软件需求转 软件 的 程， 初这种 是描述 软件的 的系， 软件 要设计或设计。然后对进一 ， 设计或 程设计。 要设计的 任务： 1设计软件系统（简 软件）”用种设计方法，currency1一个复的系统 功能划 模 ；确定个模 的功能；确定
11、模 之 的fi ， 模 之 的 ；价模 的质。 软件设计是模 的， 需求 ， 系统 层次。设计，需求 的果“ ， 的 度进一 划 模 ，组模 的层次。 2数 及数 设计 数 的设计 数 文件的设计（ 设计、逻辑设计、理设计） 数 的“ 设计”、“逻辑设计” 对 于系统开发中的“需求 ”“ 要设计”，而数 的“理设计”模 的“ 设计” 对 。 3编写 要设计文档（ 要设计说明 、数 设计说明 、用户 、 计划，对策略、方法、骤提明确要求。） 4 ：对设计 是否 需求中规定的功能、性能等要求，设计方案的可行性，关 的处理及内 fi 定义正确性、有效性，各 之 的一致性等等 一一进行 。 模 的 性
12、：fi 模 的”；功能 模 么功能；逻辑描述内 如何 要求的功能及所需的数 ； 该模 的运行 ， 模 的调用”调用关系。 功能、 ”fi 模 的 性，逻辑它的内 性。 模 化是 决一个复 时自 层 软件系统划 fl 模 的 程。模 一个 定的 功能，所有的模 种方法组 来，一个， 个系统所要求的功能。 开发一个而复的软件系统，currency1它进行 的 ，不可 其复性，可 开发工 ，而 开发 ，提高软件生产 ，这就是模 化的“ 。 象是认识复 象 程中使用的维工 ， 质的同的 性而fi不考 它的 ，不考 其他因素。 象，可确定组软件的 程。 ，可定义和 对模 的 程 和 数 的 限制。 设计
13、和确定模 时，使 一个模 内 包的 （ 程或数 ），对于不需要这些 的其他模 来说，是不能 的。 模 立性 个模 系统要求的 立 功能，且”其他模 的系 且fi 简 ， 个定性的度准 性和内 性。 性 系。 软件系统中各模 系 程度的一种度。模 之 系 ，其 性就 ，模 的 立性则 差。模 高 决于模 fi 的复性、调用的方式及 的 。直fi 数 制 公 内容 （ 高） 1 直fi 2数 个模 之 有调用关系， 的是简 的数 值， 于高 语言的值 。 3 个模 之 的是数 ，如高 语言中的数组 、 、文件 等这些 字 ，其 的是这个数 的 。 4制 一个模 调用一个模 时， 的是制 （如开关、
14、等），调模 该制 的值有选择 行 内一功能。 5公 一个公数 用的那些模 的 。 公 的复程序 模 的个数 而 。 6内容 ：这是 高程度的 ， 是 差的 。 一个模 直fi使用一个模 的内 数 ，或 正常 而转一个模 内 。 内 性 内系。 模 的功能 度的度， 一个模 内 各个素 “的 程度的度。fl一个模 内各素（语 之 、程序之 ）系的 ，则它的内 性就 高。 然内 逻辑内 时 内 内 序内 功能内 （ 高） 1 然内 一个模 内的各处理素之 有任何系。 2逻辑内 模 内行个逻辑上 的功能， 数确定该模 一个功能。 3时 内 ： 需要同时行的 组 一形的模 时 内 模 。 4 内 模
15、内所有处理素 同一个数 上 （有时 之 内 ），或者 各处理使用 同的数 或者产生 同的数 。 5序内 一个模 中各个处理素 切 关于同一功能且必 序行，前一功能素就是 一功能素的。 6功能内 ：这是 的内 ， 模 内所有素同 一个功能，缺一不可。”其他模 的 是 弱的。性”内 性是模 立性的 个定性准，currency1软件系统划 模 时，尽 高内 ，提高模 的立性，设计高质的软件奠定 。 软件图主要内容有：模 、模 的制关系、模 的 、 个附 符号 图的形 征：深度 图制的层次；宽度 一层中 的模 个数；扇 一个模 直fi 模 的个数；扇 一个模 直fi上 模 的个数。 如果fl 模 之
16、度 高，个模 内功能不复，可currency1它 ， 的 和公区的引用。fl有多个 关模 ， 对它 的功能进行 ，消去重复功能。 一个模 的 用范围 其制范围这内，且 定所 的模 ”受其影响的模 层次上尽靠近。 一个模 的 用范围 受该模 内一个 定影响的所有模 的集。一个模 的制范围 模 身及其所有 模 （直fi或 fi 于它的模 ）的集。 要 数 图（DFD）转 软件，首先必 研究DFD的类型，一可 型和 务型 类。 型DFD是、 （或 处理）和 组。 型数 处理的工 程一 ： 数 、 数 和给数 ，这 型DFD的 。 是系统的主 工， 端的数 系统的逻辑，端逻辑。而直fi 设数 理，之
17、理。 fl个 工currency1它的 离许多发散的数 ，形许多 工currency1，根 的值选择其中一个currency1来行，这种 征的DFD 务型的数 图，这个 工 务处理中 。 于iDEF0图的设计 是化设计技术之一，它系统的功能模型和 设计系统的软件。HIPO图是 软件系统的工 。它既可描述软件 的模 层次H图（层次图）， 可描述个模 /数 、处理功能及模 调用的 情况IPO图。第5章 设计是软件设计的第，主要确定个模 行 程，故 “ 程设计” 设计的 任务：1.个模 进行 的算法设计；2.模 内的数 进行设计；3.对数 进行理设计， 确定数 的理；4.其他设计（代 设计、格式设计
18、、人机对话设计）5.编写 设计说明 6. 处理 程设计中”用的典型方法是化程序设计（SP）方法。 设计的 不是逻辑上正确 个模 的功能， 使设计的处理 程 晰 读。化程序设计是 该 的关 技术之一，它 人用良好的 方法开发 于理、 于验证的程序。 化程序设计方法的 要点是： 1”用自 、 求 的程序设计方法 2使用种 制造程序 任何程序 可序、选择、重复种 制造。这种 的同点是 、 。 3主程序员组的组织形式。 描述处理 程常用种工 ：图形、 格和语言。 程序 程图 程序框图， 种 制序组和 嵌套而，不能有 交叉的情况，这样的 程图是化的 程图。 PAD图 图，它是一种自左往右展开的维 型。制
19、 程自上而 、左 右的行。机器自 走 的办法生 的源代 ，提高 软件的生产 。 程设计语言（PDL）， 程序描述语言， 伪 。它是一种用于描述模 算法设计和处理 的语言。伪 的一 内 层，层语法 符一程序设计语言常用的语法规则，而内层语法则用一些简 的句 、短语和 用的数学符号，来描述程序 行的功能， 有严格的关 字层语法，用于定义制、数 和模 fi ，而它 际 和条件的内层语语法 是灵自的，使用自然语言的词汇。 JACKSON方法是 数 的设计方法，70年代中 “ 数 ”的设计方法，其中有代 性的是英国M.JACKSON提的JACKSON方法和法国人J.WARNIER提的WARNIER方法。
20、 JACKSON JSP的 上扩展 一种系统的开发方法，简 JSD。JSD主要 件中 ， 一串序组的进程，建立系统模型， 后 该模型。JSP方法定义 一组数 的射程，它根 、的数 ， 一定的规则射软件的 程描述， 程序，而不是软件的系，因“该方法 用于 设计。 JACKSON方法提 自己的描述工 JACKSON图。 论数 是程序， 限于种 （序、选择、重复）及它 的组。 JACKSON图的 点： 1能对进行自 ，因“可 层次。 2 读，形象直观。 3既能 数 能 程序，且 的是组关系。 JSP方法一 五个 骤来 设计： 1 确定数 和数 的逻辑，用JACKson图 这些数 。 2找数 和数 中
21、有对 关系的数 。“对 关系” 这些数 数 内容上、数上和序上有直fi的因果关系，对于重复的数 ，重复的次序和次数 同才有对 关系。 3 一定的规则、的数 程序 4 ”条件， 它 配 程序图的 位置。 5用伪 写程序。第6章 currency1 设计 的处理 程的描述转 于种计算机语言的程序， 源程序代 。 程序设计语言 性： 1 理 性 影响程序员 理的语言性能，许多这类 性是 程序设计的果而 的。 歧义性：有些语法规则容 使人用不同的方式来释语言，这就产生 理上的义性。 简洁性，人 必 住的语言 的数 多，简洁性 差。 性和序性： 性是 语言的 性， 编 程中，语句组模 ，模 组 系统，组
22、 程 模 的高内 ， ，使 性 。 统性：统性容 影响人 学习新语种的积极性。 2工程 性 可移值性： 程序一个计算机 移植 一个计算机 的容 程度。 开发工 的可 用性 软件的可重用性 可维护性。3技术 性 开发一个 定 选择程序设计语言时，必 技术 性、工程 性和 理 性方 考 。 常，考 选用语言的因素有： 1 的 用领域：科学工程计算（需要的准 函数，便处理复的数值计算，可 选用的语言有：FORTRAN Pascal C PL/1）；数 处理”数 用（CoBol SQL 4GL）；时处理（汇编语言 Ada）；系统软件（汇编语言 C语言 Pascal语言和Ada语言）；人工 能（Lisp
23、是一种函数型语言 Prolog是一种逻辑型语言） 2软件开发的方法：有时编程语言的选择“赖于开发的方法，如果要用快速原形模型来开发，要求能快速 原形，宜”用4GL。如果是 对象方法，宜”用 对象的语言编程(C+ JAVA) 3软件行的 4算法和数 的复性 5软件开发人员的知识。 程序设计格 一个编制程序时所 来的 点、习惯、逻辑 等。 语句造的原则是：简 直fi，不能 追求效 而使代 复化。 效 处理机时 和 空 的使用：效 是一个性能要求， 需求 给；追求效 建立 不损害程序可读性或可靠性 之上；提高程序效 的根 途 于选择良好的设计方法、良好的数 ”算法，而不是靠编程时对程序语句 调第7章
24、 软件的 的：1.软件是 发 错误而行程序的 程；2.一个好的用例能够发 至今尚未发 的错误；3.一个功的是发 至今尚未发 的错误的。的 任务 该是根 软件开发各的文档资料和程序的内 ， 设计一组“高产”的用例， 用这些例行程序，找软件中潜 的各种错误和缺陷。 软件中， 注意 原则：用例 数 和预 的数 组；用例不选用理的数 ，要选择不理的数 。这样能更多的发 错误，提高程序的可靠性。对不理的数 ，程序 拒绝fi受，给 提。 软件方法一 类： 方法” 方法。 程序不 机器上运行，而是”用人工检和计算机辅助 的 对程序进行检。 运行程序发 错误， 黑盒法和白盒法。 黑盒法： 对象看一个黑盒 ，人
25、员 全不考 程序的内 和处理 程， 软件的fi 处进行，“ 需求规格说明 ，检查程序是否 功能要求。因“，黑盒 功能或数 。 白盒法： 对象看 一个打开的盒 ，人员 程序的内 和处理 程，检查处理 程的 ，对程序中尽可能多的逻辑currency1进行，检验内 制和数 是否有错，际的运行 ”预 的 是否一致。 于白盒是，所对象 上是源程序，程序的内 逻辑 设计用例。 1.逻辑覆盖 语句覆盖是 设计 够的用例，使程序中的个语句至 行一次，语句覆盖是比较弱的覆盖准。定覆盖 设计 够的用例，使 程序中个 定 式至 一次“真”值和“假”值，而使程序的一个 至 一次，因“ 定覆盖 覆盖。 条件覆盖 设计
26、够的用例，使 定 式中个条件的各种可能的值至 一次。 定/条件覆盖 设计 够的用例，使 定 式中的个条件的所有可能 值至 一次，使个 定 式所有可能的果 至 次。 条件组覆盖是比较 的覆盖准，它是 设计 够的用例，使 个 定 式中条件的各种可能的值的组至 一次， 条件组覆盖的一定 “ 定覆盖”、“条件覆盖”和“ 定/条件覆盖”。currency1覆盖是 设计 够的用例，覆盖程序中所有可能的currency1。语句覆盖发 错误能 弱。 定覆盖包 语句覆盖，它可能会使一些条件 不 。P87 2. 覆盖 3. currency1是 程序制 程图的 上， 制造的 currency1复性， curren
27、cy1集，而设计用例，fl证这些currency1至 一次。 立currency1是 包括一组前有处理的语句或条件的一条currency1。程序图来看，一条 立currency1是至 包有一条 其他 立currency1中未有 的边的currency1。P89 黑盒是功能，因“设计用例时，需要研究需求规格说明和 要设计说明中有关程序功能或、之 的关系等 ，而”后的果进行 比较。黑盒技术： 1等价类划 ：它currency1数 域 有效的或 效的（ 理的或不理的）划 fl 个等价类，个等价类的代 值就等于对该类其他值的。 用等价类划 的方法设计用例的 骤： 划 等价类 确定用例的 骤：一个等价类
28、编号；设计一个用例，使其尽可能多 覆盖尚未覆盖 的理等价类。重覆这 ，直 所有理等价类用例覆盖；设计一个用例，使其覆盖一个不理等价类。重覆这一 ，直 所有不理等价类覆盖。 2边 值 使用边 值 方法设计用例时一”等价类划 来。它不是一个等价类中任选一个例 代 ，而currency1边 情况 重点 ，选 正好等于、刚刚于或刚刚小于边 值的数 。 3错误推： 程序时，人 可能根 验或直觉推程序中可能 的各种错误，而有针对性 编写检查这些错误的用例，这就是错误推法。 4因果图：因果图能有效 检条件的各种组可能会引的错误。因果图的 原理是 画因果图，用自然语言描述的功能说明转 定 ， 后 定 的一设计
29、一个用例。 5 策略 软件时需要类 ： 1软件配置： 需求规格说明 、设计说明 、源程序等。 2配置： 方案、用例、程序等 3工 ： 计算机辅助的有关工 。 软件产品 交付使用之前要 些呢？一要 ： 、集、确认和系统。 软件的 骤及”各开发的关系 对源程序中一个程序 进行，检查各个模 是否正确 规定的功能，而发 模 编中或算法中的错误。该涉及编 和 设计的文档。各模 后，currency1各模 组 来进行集，检查”设计 关的软件系的有关 。确认主要检查 的软件是否 需求规格说明 中确定 的各种需求。系统 确认的软件”其他系统素 一进行。 主要针对模 的 五个 征进行：模 fi 、 数 、重要的
30、行currency1、错误处理、边 条件。 时，需要模 设计模 和桩模 。 模 的 用是用来模模 的上 调用模 ，它 fi受数 ，上 模 调用模 的格式模 ，fi收模 的果。 桩模 用来代替模 所调用的模 。它的 用是返回模 所需的 。 集是 的 上，currency1所有模 照设计要求组 一个 的系统进行的，故 组 或。 集的方法主要有 种： 渐式和渐式。 渐式方法 和集 个不同的。P97 渐式有 种不同的组 模 的方法：自 （深度优先策略、宽度优先策略）；自底 上 确认 有效性。它的任务是检查软件的功能”性能是否”需求规格说明 中确定的 符，确认有 工 ：进行确认”软件配置 查。 确认一是
31、 模 运用黑盒方法， 门人员和用户 的。 软件配置 查的任务是检查软件的所有文档资料的 性、正确性。如发 和错误， 和 正。 软件的 的是尽可能多 发 程序中的错误，而调则是 进行 功的之后才开 的工 ，因“调 错。 纳法调果发 的 ， 它 之 的系， 错误原因的假设，然后 证明或否定这个假设。 骤：收集有关数 ；组织数 ；提假设；证明假设 法调是所有可能的错误原因的假设，然后 用数 不 的假设， 后 数 验证 的假设确是错的原因。 骤：所有可能的错误原因的假设； 不 的假设； 化 于的假设；证明 于的假设。 回 法调：该方法程序产生错误的 方发，人工 程序的逻辑currency1 ，直 找
32、错误原因 。第8章 软件维护的内容有种： 正性维护， 性维护， 性维护和预 性维护。 正性维护： 识 和 正错误， 软件性能上的缺陷， 进行确定和 错误的 程，这个 程就 正性维护。 性维护： 使 用软件 件和软件 的 化而 软件的 程 性维护。 性维护： 软件功能、 软件性能、提高软件运行效 而进行的维护 性维护。 预 性维护： 提高软件的可维护性和可靠性而对软件进行的 预 性维护。 软件的开发 程对软件的维护有较的影响。fl不”用软件工程的方法开发软件，则软件有程序而 文档，维护工 常 难，这是一种 化的维护。fl”用软件工程的方法开发软件，则各 有 的文档，容 进行维护工 ，这是一种化的
33、维护。 用于软件维护工 的可 生产性和 生产性 种。生产性包括 价、 设计和编写程序代 等。 生产性包括理程序代 功能、释数 fi 点和设计 。P106 维护的 程：制定维护 报告； 查 报告 准；进行维护 ；覆 。 维护 报告是一种用户生产的文档，它用 计划维护任务的 。 不管维护类型如何，上要开展 同的技术工 。这些工 包括 软件设计、必要的代 、 、集、确认及复 。 有 类维护技术，它 是 维护的技术和维护 技术。 维护的技术是 软件开发用来 错误、提高软件可维护性的技术。维护 技术是 软件维护用来提高维护 的效 和质的技术。这些技术方法 能 软件错误，提高软件的可维护性。 因 软件而造
34、的错误或其他不 的情况 维护的 用。（编 用、数 用、文档 用） 软件交付这前对个软件配置进行 ， 文档 用。 软件可维护性的定义：软件能够理、 正、 及 功能的容 程度。 软件的可维护性、可使用性、可靠性是衡软件质的个主要 性。软件的可维护性可用 个质 性可来衡， 可理性、可性、可 性、可靠性、可移植性、可使用性和效 。对不同类型的维护，这种 性的 重点 不 同。 提高可维护性的方法：建立明确的软件质 ； 用先进的软件开发技术和工 ；建立明确的质fl证工 ；选择可维护的程序设计语言； 进程序文档。 fl证可维护性， 类检查是 常有用的： 检查点进行检查；验收检查； 性的维护检查；对软件包的检
35、查。第9章 统的模型 质上是一种性序模型，各之 着严格的序性和“赖性， 调预先定义需求的重要性。 模型 于开发模型，它规定 开 一个的工 之前，必 前一的所有 。而模型 于 开发模型，它推 些或所有中的 ，而较的产生工 软件。 模型是 的开发 程中一系的方式开发系统。方式包括开发和提交。开发是 开发 内，一定的时 开发 工 软件；提交是 开发 内，一定的时方式 用户提交工 软件及 文档。 根 的方式和形式的不同， 渐模型和原型模型。 渐模型是模型的 种，有 类渐模型： 1造模型：它 模型 上，对一些进行开发，对一些进行开发。前 的开发 模型进行开发，后 的开发 方式开发。 2 化提交模型：它
36、模型的 上，所有 进行开发， 就是说不是开发， 是提交。 原形模型 快速原形模型，它是模型的一种形式。根 原型的不同 用，有类原型模型： 1 型原型：这种类型的原型模型是 原型用于开发的需求 ， 的是要 用户的需求，确定所 的 性， 各种方案的可行性。它主要针对开发 模，用户”开发 对 缺 验的情况， 对原型的开发来明确用户的需求。 2验型原型：主要用于设计，考 方案是否 ，能否 。 3 化型原型：主要用于及 用户提交一个原型系统，该原型系统或者包系统的框，或者包系统的主要功能， 用户的认可后，currency1原型系统不扩 的软件系统。它currency1原型的 扩展 软件开发的全 程。 软
37、件开发中的原型是软件的一个 可运行的 ，它 系统的重要 性。 快速原型是 用原型辅助软件开发的一种新 。 简 快速 ，快速 一个原型，用户”开发者 用原型 程中 ”currency1， 覆价和 进原型， 误， ， 化， 提高软件质。 于运用原形的 的和方式不同， 使用原型时 ” 不同的策略，有“策略和附 策略。 1“策略：用于开发 程一（ 型和验型快速原型就是”用“策略） 2附 策略： 开 （ 化型快速原型就”用“策略） 对于 型，用原型 程来代替需求 ， 原型 需求说明的 形式，运用原型尽可能使需求说明 、一致、准确、 义性， 上”用模型。 对于验型，用原形 程来代替设计， 设计引原型，快速
38、 方案，快速造原形， 运行，考设计方案的可行性”理性，原型设计的 框或设计果的一 。 对于 化型，用原型 程来代替全 开发，这是典型的 化提交模型的形式，它是有 有的软件工 和， 原型 程的覆 ，直fi 软件系统。 原形开发 骤：快速 、造原形、运行原型、价原型、 造原型的技术：可行的规格说明； 于fi 的设计；”用 常高 语言或 门语言；能重用软件。第10章 对象 有 。一个对象用数 值来描述它的 。对象有 ，用于 对象的 ，对象及其 就是对象的行。对象 数 和 的，使数 和 fl 于对象的统一中。 有 同或 性质的对象的象就是类。因“，对象的象是类，类的 化就是对象， 可说类的例是对象。
39、类 有 性，它是对象的 的象，用数 来描述类的 性。 类 有 ，它是对象的行的象，用 和 该 的方法来描述。 观 中有fl 类，这些类之 有一定的关系。 常有 种主要的关系， 一 关系， 关系。 一 类， 可说是“或”关系，或者是“is a”关系。 组 ，它 之 的关系是一种“”关系，或者是“has a”关系。 类的层次中， 常上层类 类或类， 层类 类。 对象之 进行 的造 消 。 对象的 中， 一个消 发 给个对象时，消 包fi收对象去行种 的 。fi收消 的对象 释，然后给响 。这种 机制 消 。 类中 的 程 方法，一个方法有方法 、 数、方法。 一个对象fi收一条消 后，它所包的方法
40、决定对象样 。 对象的 征：对象一性； 类性；性；多 性（多形性）。 类一个类的数 方法，则 重。 类 多个类的数 和方法，则 多重。 对象的要素： 1象：是 调的 质、内 的 性，”略一些 关要的 性。类 对象的数 （ ）和行的象，它是对象的性的象。 2fl 性：是 所有软件 件内 有明确的范围及 的 边 。个软件 件 有好的 fi ，软件 件的内 ” 可 性 离。 3性（3个 ）： 对象技术 不同 上进 。同一个类中的同一个类中的对象有着 同数 ， 有着 同的行 征。 同一个 用中 同一 用的类层次中， 关系的各 类中， 数 和行的，使各 类同的和行。 不同 用中的。对象开发方法有coad
41、方法、booch方法、omt方法和oose方法等。 Booch方法 正文描述，currency1其中的 词射对象，currency1其中的词射方法，而对象和方法的认定提 一种简 的策略。 然booch方法原是 ada语言的，处于 对象开发的奠 性 位。 Coad方法 需求 度发的对象和 类的认定工 ， 对象设计可 “ 上，设计的 度进一 进行类和类层次的认定。 Omt方法是一种新的 对象的开发方法，开发工 的 是对真 的对象建模，然后围 这些对象使用 模型来进行 立于语言的设计。 Uml语言不公统一 booch方法、omt方法、oose方法的 方法，而且对其 进一 的发展， 统一所fi受的准建
42、模语言。 对象模型 的、化的系统数 性质，描述 系统的 ，它是 观 的对象关系 度来描述。 对象的 关系。该模型主要关 系统中对象的， 性和 ，使用 对象图的工 来划，它是 个模型的 。 性 的是类中对象所 有的性质（数 值）。不同对象的同一 性可 有 同或不同的 性值。 是类中对象所使用的一种功能或 。类中的各对象可 。方法是类的 的 骤。 对象 的理” ，关 类之 的一种关系，就是一些可能的的集，是关的例，关是的象。 个类之 的关 关，个类之 的关 关。 1 集关系。 集是一种“ ”关系。 这种关系中，有类和 类之 。 集 重要的性质是 性， 有对性。 2一化关系 一化关系是 fl对象差的同时对象 性的一种高度象方法。它是“一 ”的关系，一化类 类， 类 类。 有 重和多重。 重 的是 类有一个， 一个类层次中，fl有 重，则该类层次是 型层次。多重 的是 类 多个类的性质， 一个类层次中，fl有多重，则该类层次是 层次。 模型是”时 和 化有关的系统性质。该模型描述 系统的制，它 时的、行化的系统制性质，它关 的是系统的制， 的行序，它对象的 件和 的 度发， 对
