软件工程.成版.docVIP

软件工程期末考试复习资料整理 -- 2013年1月11日 一、名词解释 形式化方法 所谓形式化方法，是描述系统性质的基于数学的技术，也就是说，如果一种方法有坚实的数学基础，那么它就是形式化的。形式化方法有： 有穷状态机、Petri网、Z语言。 Petri网 用于确定系统中隐含的定时问题的一种有效技术，这种技术一个很大的优点是它可用在设计中，有效地描述并发活动。 Petri网包含4中元素：一组位置P、一组转换T、输入函数I以及输出函数O. ----------------------------------------------------完--------------------------------------------------------------- 参考以下内容，便于理解Petri网： （Petri网是一个四元组C=(P,T,I,O)，其中： 一组位置P为{P1,P2,P3,P4}，在图中用圆圈代表位置。②一组转换T为{t1,t2}，在图中用短直线表示转换。③两个用于转换的输入函数I，用由位置指向转换的箭头表示：I(t1)={P2,P4}、I(t2)={P2}④两个用于转换的输出函数O，用由转换指向位置的箭头表示：O(t1)={P1}、O(t2)={P3,P3}⑥输出函数O(t2)中有两个P2，是因为有两个箭头由t2指向P2。） 环形复杂度 根据程序控制流的复杂度定量度量程序的复杂程度，这样度量出的结果称为程序的环形复杂度。程序的环形复杂度取决于程序控制流的复杂种程度，即取决于程序结构的复杂程度。 限定关联 限定关联通常用在一对多或多对多的关联关系中，可以把模型中的重数从一对多变成一对一，或从多对多简化为多对一。 受限泛化 可以给泛化关系附加约束条件，以进一步说明该泛化关系的使用方法或扩充方法，这样的泛化关系称为受限泛化。 重用 重用也叫再用或复用，是指同一事物不作修改或稍加改动就多次重复使用。 软件重用可分为以下3个层次： 1）知识重用(例如，软件工程知识的重用)。 2方法和标准的重用(例如，面向对象方法或国家制定的软件开发规范的重用)。 3)软件成分的重用。 类构件 面向对象技术中的“类”，是比较理想的可重用软构件，称之为类构件。类构件有3种重用方式——实例重用、继承重用、多态重用。 参数化类 所谓参数化类，就是使用一个或多个类型去参数化一个类的机制。 有了这种机制，程序员就可以先定义一个参数化的类模板(即在类定义中包含以参数形式出现的一个或多个类型)，然后把数据类型作为参数传递进来，从而把这个类模板应用在不同的应用程序中，或用在同一应用程序的不同部分。 集群测试 集群测试（cluster testing）是面向对象软件集成测试的一个步骤。在这个测试步骤中，用精心设计的测试用例检查一群相互协作的类（通过研究对象模型可以确定协作类），这些测试用例力图发现协作错误。 代码行技术 代码行技术是比较简单的定量估算软件规模的方法。这种方法依据以往开发类似产品的经验和历史数据，估计实现一个功能所需要的源程序行数。当程序较小时常用的单位是代码行数（LOC），当程序较大时常用的单位是千行代码数（KLOC）。 功能点技术 功能点技术依据软件信息域特性和软件复杂性的评估结果，估算软件规模。功能点技术用功能点（FP）为单位度量软件规模。 二、操作设计 数据元素定义 数据元素定义： 某高校可用的电话号码有以下几类：校内电话号码由4位数字组成，第一位数字不是0，校外电话又分为本市电话和外地电话两类，拨校外电话需先拨0，如果是本市电话再接着拨8位电话号码(第一位不是0)，如果是外地电话则先拨区码（3-5位数字），再拨当地电话号码（7或8位数字，第1位不是0）。情定以上述的电话号码。 电话号码=[校内号码|校外号码] 校内号码=非零数字+3位数字 校外号码=[本市号码|外地号码] 本市号码=数字零+非零数字+7位数字 外地号码=数字零+区码+当地号码 非零数字=[1|2|3|4|5|6|7|8|9] 数字零=0 3位数字=3{数字}3 7位数字=7{数字}7 区码=3{数字}5 当地号码=非零数字+6{数字}7 数字=[0|1|2|3|4|5|6|7|8|9] 数据流图 --- 定货系统 --- 习题（银行储蓄系统） --- 习题（机票预订系统） --- 习题（医院监护系统） 例题 为方便储户，某银行拟开发计算机储蓄系统。储户填写的存款单或取款单由业务员键入系统，如果是存款，系统记录存款人姓名、住址、存款类型、存款日期、利率等信息，并印出存款单给储户；如果是取款，系统计算利息并印出利息清单给储户。请画出此系统的数据流图。 例题 某航空公