试题.docx

1、试题一、 概念1. 概述软件工程的性能指标和软降开发过程中应遵循的原则答：性能指标： 可修改性 有效性 可靠性 可理解性可维护性 可重用性 可适应性 可移植性 可追踪性 可互操作性原则： 抽象 信息隐蔽 模块化 局部化 一致性 完整性 可验证性 2. 概述面向对象方法所具有的重要概念和实施主要建立的相关模型答：概念：1. 类、对象、属性、方法和消息2. 封装、派生、继承和多态性 模型：1. 描述系统静态结构的对象模型（类图）2. 描述系统控制结构的动态模型（状态图、时序图、协作图、活动图）3. 描述系统功能结构的功能模型（用例图）3. 概述软件过程定义答：软件过程(software proce

2、sses)也称为软件生存周期过程或软件过程组，是指软件生存周期中的一系列相关过程(process)。其中：过程就是活动的集合；活动是任务的集合；任务则起到把输入加工成输出的作用。活动的执行可以是顺序的、迭代的(重复的)、并行的、嵌套的或者是有条件地引发的。4. 概述敏捷软件开发宣言及其意义答：概念： 我们正在通过亲身实践以及帮助其他人实践，揭示更好的软件开发之路，我们认为：个体和交互胜过过程和工具、能够发挥作用的软件胜过面面俱到的文档、客户合作胜过合同谈判、随时应对变化胜过遵循计划。也就是说，虽然我们也关注上述右边的内容，但是更关注左边的内容。意义： 避免了传统瀑布方式的弊端，主要是吸收了各种

3、新型开发模式的“动态”特性，关注点从文档到开发者，管理方式也从工厂的流水线到团队的自我放松式的组织。 5. 概述RUP和Microsoft过程模型的特点答：RUP模型有三大特点： 软件开发是一个叠代过程 软件开发是由UseCase驱动的 软件开发是以构架设计为中心的Microsoft过程模型的特点其过程模型由以下5个主要阶段组成：规划、设计、开发、稳定、发布 过程模型以阶段和里程碑为基础, 且每个阶段都是 由里程碑驱动的二、 基于软件过程模型1. 试给出形式化方法变换模型答：式化方法模型-变换模型 形式化方法是指“基于数学的和/或能被算法识别且进行转换的软件开发方法” 其变换模型为：1. 形式

4、化方法模型-变换模型 形式化方法是指“基于数学的和/或能被算法识别且进行转换的软件开发方法” 其变换模型为：2. 试给出CMMI3过程改进组织结构模型三、四.基于petri网1. 求可达标识集R（M0）M0=(1，1，0，0，0) 取1= t2 = M01M1 = (0，1，1，0，0) 取2= t3 = M02M2 = (1，0，0，1，0) 取3= t2t3 = M03M3 = (0，0，1，1，0) 取4= t3t2 = M04M3 = (0，0，1，1，0) 取5= t2t3t4 = M05M4 = (0，0，0，0，1) 取6= t3t2t4 = M06M4 = (0，0，0，0，1

5、) 取7= t2t3t4t1 = M07M0 = (1，1，0，0，0) 取8= t3t2t4t1 = M08M0 = (1，1，0，0，0) 则有： R(M0)=M0, M1, M2 , M3 , M4 /所有从M0可达的标识 L(M0)=1, 2, 3, 4, 5, 6, 7, 8 /所有可能发生序列 这样，Petri网的可达性问题就转换为对于Petri网(N，M0)和给定标识Mn，寻找是否存在MnR(M0)。 例如：对上例Petri网，问下面两个标识是否可达？ M= (0，0，1，0，1) M = (1，0，0，1，0) M R(M0) = M不可达M R(M0) = M可达2. 判断给

6、定Petri网的有界性、可逆性和活性等等 Petri网(N，M0)中的一个转移t被称做： (1) 死的(L0一活的)，仅当t在L(M0)中的任何发生序列 中都无法发生。 (2) L1一活的(可能能发生)，仅当t在L(M0)中的一些发 生序列中至少可发生一次。 (3) L2一活的，已知任一正整数k，仅当t在L(M0)中的一 些发生序列中至少可发生k次。 (4) L3一活的，仅当t在L(M0)中的一些发生序列中可以 经常无限制地发生。 (5) L4一活的(活的)，仅当 t 在R(M0)中的每个标识M， 是L1一活的。 3. 判断给定Petri网的转移t的活性等级4. 任意两个转移同步距离计算及关系

7、说明：同步是一个没有准确定义的概念。同步论的作用就 是把各种不同形式的同步用一个统一的概念做定量 描述。这个概念就是同步距离定义：两个转移t1和t2间的同步距离定义为： d12=max| (t1) - (t2)|其中：是起始于R(M 0)中的任何标识M的一个发生序列 (ti)是转移ti( i = 1，2，)在中发生的次数 d12也可以书写为(t1，t2)说明：同步距离是条件/事件系统中与两个事件间相互独 立程度紧密相关的一种量度。5. 给定Petri网，构造关联矩阵C=C+C-,求S不变量I、T不变量J。S-不变量：如果网系统中有一些位置，其中包含的资源 (标记)的总和在任何可达标识情况下均为

8、常数, 即系统不论发生什么事件，这些位置中的标 记总数不变，则这些位置就是系统的S-不变量 T-不变量：如果网系统中有一些转移，它们的发生会使 它们的标识恢复到它们的开始状态，则这些 转移就是系统的一个T-不变量用关联矩阵和状态方程求不变量 (1) 求S-不变量 令 IT= x1 ， x2 ， ， xn ，则有线性方程组： CT I = 其中： 是一个0向量。证明：由状态方程 M = M0 + C U (注意M0 M则U ) 方程两边同乘IT ，则得 IT M0 + IT C U = IT M 因为 IT M0 = IT M (由前面S-不变量形式化定义) 所以 IT C U = 又因为U ，则必有 IT C = CT I =