软件工程基础
【考点1】软件定义与软件特点
软件指的是计算机系统中与硬件相互依存的另一部分,包括程序、数据和相关文档的完整集合。
名称 | 描述 |
程序 | 软件开发人员根据用户需求开发的、用程序设计语言描述的、适合计算机执行的指令序列 |
数据 | 使程序能正常操纵信息的数据结构 |
文档 | 与程序的开发、维护和使用有关的图文资料 |
1、软件的特点:
1)软件是一种逻辑实体,具有抽象性;
2)软件的生产与硬件不同,它没有明显的制作过程;
3)软件在运行、使用期间不存在磨损、老化问题;
4)软件的开发、运行对计算机系统具有依赖性,受计算机系统的限制,这导致了软件移植的问题;
5)软件复杂性高,成本昂贵;
6)软件开发涉及诸多的社会因素。
2、根据应用目标的不同,软件可分应用软件、系统软件和支撑软件(或工具软件)。
名称 | 描述 |
应用软件 | 为解决特定领域的应用而开发的软件,如办公自动化软件 |
系统软件 | 计算机管理自身资源,提高计算机使用效率并为计算机用户提供各种服务的软件,如操作系统 |
支撑软件(或工具软件) | 支撑软件是介于两者之间,协助用户开发软件的工具性软件。 |
【考点2】软件的生命周期
软件生命周期是指软件产品从提出、实现、使用维护到停止使用退役的整个过程。可分为软件定义,软件开发及软件维护3个阶段。软件生命周期中,能够准确确定软件系统必须做什么和必须具备哪些功能的阶段是:需求分析。
【考点3】软件危机和软件工程的概念
软件危机泛指在计算机软件的开发和维护过程中遇到的一系列严重的问题,集中表现在成本,质量。生产效率等几个方面。
所谓软件工程是指采用工程的概念、原理、技术和方法指导软件的开发与维护。是建立并使用完善的工程化原则,以较经济的手段获得,能在实际机器上有效运行的可靠软件的一系列方法;软件工程的主要思想强调在软件开发过程中需要应用工程化原则。软件工程的核心思想是把软件当作一个工程产品来处理。
软件工程包括3个要素:方法,工具和过程
名称 | 描述 |
方法 | 方法是完成软件工程项目的技术手段 |
工具 | 工具支持软件的开发、管理、文档生成 |
过程 | 过程支持软件开发的各个环节的控制、管理 |
【考点4】软件工程过程
软件工程过程是把软件转化为输出的一组彼此相关的资源活动,包含4种基本活动:
(1)P(plan)——软件规格说明; (2)D(do)——软件开发;
(3)C(check)——软件确认; (4)A(action)——软件演进。
【考点5】软件开发技术和软件工程管理
1、软件工程的理论和技术性研究的内容主要包括软件开发技术和软件工程管理。
2、软件开发技术包括软件开发方法学、开发过程、开发工具和软件工程环境,其主体内容是软件开发方法学。
3、软件开发方法包括分析方法,设计方法和程序设计方法。
4、软件工程管理包括软件管理学,软件工程经济学,软件心理学等。
5、软件管理学包括人员组织,进度安排,质量保证,配置管理,项目计划等。
6、软件工程经济学是研究软件开发中成本的估算,成本效益的方法和技术。
【考点6】软件工程的原则
软件工程的原则:抽象,信息隐蔽,模块化,局部化,确定性,一致性,完备性,可验证性。
【考点7】需求分析概述
需求分析阶段的工作:需求获取,需求分析,编写需求规格说明书,需求评审。
需求分析方法有:
(1)结构化需求分析方法;
①面向数据结构的Jackson方法(ISD);
②面向数据流的结构化分析方法(SA);
③面向数据结构的结构化数据系统开发方法(DSSD);
(2)面向对象的分析的方法(OOA)。
从需求分析建立的模型的特性来分:静态分析和动态分析。
【考点8】结构化方法和结构化分析方法
1、结构化方法包括结构化分析方法,结构化设计方法,结构化编程方法。
结构化方法中,软件功能分解属于总体设计阶段。
2、结构化分析方法的概念
结构化分析方法是面向数据流自顶而下逐步求精进行需求分析的方法。
结构化分析方法在软件需求分析阶段的应用。
3、结构化分析的常用工具
(1)数据流图(DFD-Data Flow Diagram):是结构化分析方法中用于系统逻辑模型的一种工具。它以图形的方式描绘在系统中流动和处理的过程。
数据流图中四种基本的符号。
1)箭头:表示数据流,数据流是数据在系统中传播的路径。
2)圆或椭圆:表示加工,加工又称为数据处理,是对数据流进行某些操作或变换。
3)双横:表示数据存储(数据源)。数据存储又称为文件,指暂时保存的数据,它可以是数据库文件或任何形式的数据组织。
4)方框:数据的源点或终点。它是软件系统外部环境中的实体,统称外部实体
(2)数据字典(DD):它是结构分析方法的核心,是用来描述系统中所用到的全部数据和文件的文档,作用是对DFD中出现的被命名的图形元素进行确切解释。
数据字典由以下4类元素组成
1)数据流 2)数据流分量 3)数据存储 4)处理
(3)判定树(决策树):是一种描述加工的图形工具,适合描述时候处理中具有多个判断,而且每个决策与若干条件有关。
(4)判定表:与判定树类似,也是一种描述加工的图形工具。如果一个加工逻辑有多个条件、多个操作,并且在不同的条件组合下执行不同的操作,那么可以使用判定表来描述。
【考点9】软件需求规格说明书
软件需求规格说明书(SRS,Software Requirement Specification)是需求分析阶段得出的最主要的文档。软件需求规格说明书的特点:有正确性、无歧义性、完整性、可验证性、一致性、可理解性、可修改性和可追踪性。其中最重要的是无歧义性。
【考点10】软件设计的基本概念
软件设计是确定系统的物理模型。
软件设计是开发阶段最重要的步骤,是将需求准确地转化为完整的软件产品或系统的唯一途径。
从技术观点上看,软件设计包括软件结构设计、数据设计、接口设计、过程设计。
(1)结构设计定义软件系统各主要部件之间的关系;
(2)数据设计将分析时创建的模型转化为数据结构的定义;
(3)接口设计是描述软件内部、软件和协作系统之间以及软件与人之间如何通信;
(4)过程设计则是把系统结构部件转换为软件的过程性描述。
从工程管理角度来看,软件设计分两步完成:概要设计和详细设计。
(1)概要设计将软件需求转化为软件体系结构、确定系统级接口、全局数据结构或数据库模式;
(2)详细设计确立每个模块的实现算法和局部数据结构,用适当方法表示算法和数据结构的细节。
【考点11】软件设计的基本原理
1、软件设计中应该遵循的基本原理和与软件设计有关的概念:
模块化:把程序划分成独立命名且可独立访问的模块,每个模块完成一个子功能。
抽象化:抽出事物的本质特性而暂时不考虑它们的细节。
信息隐藏和局部化:信息隐蔽是指在一个模块内包含的信息(过程或数据),对于不需要这些信息的其他模块来说是不能访问的,实现信息隐蔽依靠对象的封装。
模块独立性:模块独立性是指每个模块只完成系统要求的独立的子功能,并且与其他模块的联系最少且接口简单。模块的独立程度是评价设计好坏的重要度量标准。
【考点12】耦合性和内聚性
衡量软件的模块独立性是用耦合性和内聚性两个定性的度量标准。
耦合性:是对一个软件结构内不同模块之间互联程度的度量。耦合性的强弱取决于模块间接口的复杂程度。
内聚性:是一个模块内部各个元素间彼此结合的紧密程度的度量。
一个模块的内聚性越强则该模块的模块独立性越强。一个模块与其他模块的耦合性越强则该模块的模块独立性越弱。
在结构程序设计中,模块划分的原则是模块内具有高内聚度,模块间具有低耦合度。
耦合和内聚的种类。
耦合度由低到高:非直接耦合,数据耦合,标记耦合,控制耦合,外部耦合,公共耦合,内容耦合。
内聚性由强到弱:功能内聚,顺序内聚,通信内聚,过程内聚,时间内聚,逻辑内聚,偶然内聚。
【考点13】结构化设计方法
结构化分析方法是面向数据流自顶而下,逐步求精进行需求分析的方法,基本思想将软件设计成由相对独立,单一功能的模块组成的结构,与结构分析方法衔接使用,以数据流图为基础得到软件的模块结构,适用于变换型结构和事物型结构的目标系统。
1、概要设计的任务:(1)划分出组成系统的物理元素 (2)设计软件的结构
2、概要设计的工具:
结构图(SC-Structure Chart)也称程序结构图,在结构图中,模块用一个矩形表示,箭头表示模块间的调用关系。可以用带注释的箭头表示模块调用过程中来回传递的信息。还可用带实心圆的箭头表示传递的是控制信息,空心圆箭心表示传递的是数据。
结构图的基本形式:基本形式、顺序形式、重复形式、选择形式。
结构图有四种模块类型:传入模块、传出模块、变换模块和协调模块。
程序结构图中的专业术语:
名称 | 描述 |
深度 | 表示控制的层数 |
上级模块,从属模块 | 上,下两层模块a和b,且有a调用b,则a是上级模块,b是从属模块 |
宽度 | 整体控制跨度(最大模块的层)的表示 |
扇入 | 调用该模块的模块个数 |
扇出 | 一个模块直接调用的其他模块数 |
原子模块 | 树中位于叶子节点的模块 |
3、面向数据流的设计方法
任何软件系统都可以用数据流图表示,典型的数据流类型有两种:变换型和事务型。
变换型系统结构图由输入、中心变换、输出三部分组成。
4、设计的准则
(1)提高模块独立性。
(2)模块规模适中。
(3)深度,宽度,扇出和扇入适当。如果深度过大,则说明有的控制模块可能简单了,如果宽度过大,则说明系统的控制过于集中,扇出过大说明模块过分复杂,需要控制和协调过多的下级模块,应适当加中间层次,扇出过小可以把模块进一步分解成若干小模块,或合并到上级模块中,扇入越大则共享该模块的上级数目越多。好的软件设计结构通常顶层高扇出,中间扇出较少,底层高扇入。
(4)使模块的作用域在该模块的控制域内。
(5)减少模块的接口和界面的复杂性。
(6)设计成单入口,单出口的模块。
(7)设计功能可预测的模块。
详细设计常用的设计工具(工程设计工具):图形工具,表格工具和语言工具。
图形工具:
程序流程图:箭头表示控制流,方框表示加工步骤,菱形表示逻辑条件。
N-S图:有五种基本图形。
PAD图:问题分析图,有五种基本图型。
表格工具:判定表。
语言工具:PDL——过程设计语言(结构化的英语和伪码)。
【考点14】软件测试的目标和准则
软件测试的目标:发现程序中的错误。
软件测试的准则:
(1)所有测试都是应追溯到需求。
(2)严格执行测试计划,排除测试的随意性。
(3)充分注意测试中的群集表现。程序中存在错误的概率与该程序中已发现的错误数成正比。
(4)程序员应避免检查自己的程序。
(5)穷举测试不可能。穷举测试是把程序所有可能的执行路径都进行检查,即使小规模的程序的执行路径数也相当大,不可能穷尽,说明测试只能证明程序有错,不能证明程序中无错。
(6)妥善保存测试计划,测试用例出错统计和最终分析报告。
【考点15】软件测试方法
从是否需要执行被测软件的角度分为静态测试和动态测试;按功能分为白盒测试和黑盒测试
1、静态测试和动态测试
静态测试包括代码检查、静态结构分析、代码质量度量。不实际运行软件,主要通过人工进行。
动态测试是通过运行软件来检验软件中的动态行为和运行结果的正确性。动态测试的关键是使用设计高效、合理的测试用例。测试用例就是为测试设计的数据,由测试输入数据(输入值集)和预期的输出结果(输出值集)两部份组成。测试用例的设计方法一般分为两类:黑盒测试方法和白盒测试方法。
2、白盒测试和黑盒测试
(1)白盒测试
白盒测试也称为结构测试或逻辑测试,是把程序看成装在一只透明的白盒子里,测试者完全了解程序的结构和处理过程。它根据程序的内部逻辑来设计测试用例,检查程序中的逻辑通路是否都按预定的要求正确地工作。
白盒测试的基本原则:
(1)保证所测模块中每一独立路径至少执行一次。
(2)保证所测模块所有判断的每一分支至少执行一次。
(3)保证所测模块每一循环都在边界条件和一般条件下至少各执行一次。
(4)验证所有内部数据结构的有效性。
(5)按照白盒测试的基本原则,“白盒”法是穷举路径测试。
白盒测试的方法:逻辑覆盖,基本路经测试。
(2)黑盒测试
黑盒测试也称功能测试或数据驱动测试,是把程序看成一只黑盒子,测试者完全不了解,或不考虑程序的结构和处理过程。它根据规格说明书的功能来设计测试用例,检查程序的功能是否符合规格说明的要求。
黑盒测试的方法:等价划分法,边界值分析法,错误推测法。
【考点16】软件测试的实施
软件测试过程分4个步骤,即单元测试、集成测试、验收测试和系统测试。
单元测试是对软件设计的最小单位——模块进行正确性检验的测试,单元测试的根据是源程序和详细设计说明书,单元测试的技术可以采用静态分析和动态测试。
单元测试期间对模块进行的测试:模块接口,局部数据结构,重要的执行通路,出错处理通路,边界条件。
驱动模块相当于被测模块的主程序,它接收测试数据,并传给所测模块,输出实际测试结果
桩模块通常用于代替被测模块调用的其他模块,其作用仅做少量的数据操作,是一个模拟子程序。
集成测试是测试和组装软件的系统化技术,主要目的是发现与接口有关的错误,集成测试的依据是概要设计说明书。
集成测试的方法:非增量方式组装和增量方法组装。
增量方式包括自顶而下的增量方式,自底而上的增量方式和混合增量方式。
确认测试的任务是验证软件的功能和性能,确认测试的实施首先运用黑盒测试方法,对软件进行有效性测试,即验证被测软件是否满足需求规格说明确认的标准。
检查软件产品是否符合需求定义的过程是:确认测试。
系统测试是通过测试确认的软件,作为整个基于计算机系统的一个元素,与计算机硬件、外设、支撑软件、数据和人员等其他系统元素组合在一起,在实际运行(使用)环境下对计算机系统进行一系列的集成测试和确认测试。
系统测试的具体实施一般包括:功能测试、性能测试、操作测试、配置测试、外部接口测试、安全性测试等。
【考点17】程序调试
在对程序进行了成功的测试之后将进入程序调试(通常称Debug,即排错)。
程序的调试任务是诊断和改正程序中的错误。
程序调试和软件测试的区别:
(1)软件测试是尽可能多地发现软件中的错误,而程序调试先要发现软件的错误,然后借助于一定的调试工具去执行找出软件错误的具体位置。
(2)软件测试贯穿整个软件生命期,调试主要在开发阶段。
程序调试的基本步骤:
(1)错误定位。从错误的外部表现形式入手,研究有关部分的程序,确定程序中出错位置,找出错误的内在原因;
(2)修改设计和代码,以排除错误;
(3)进行回归测试,防止引进新的错误。
软件调试可分为静态调试和动态调试。静态调试主要是指通过人的思维来分析源程序代码和排错,是主要的设计手段,而动态调试是辅助静态调试的。
主要的调试方法有:
(1)强行排错法; (2)回溯法; (3)原因排除法,包括演绎法,归纳法和二分法。