试题.docx

试题.docx

《试题.docx》由会员分享，可在线阅读，更多相关《试题.docx（26页珍藏版）》请在冰豆网上搜索。

试题

一、概念

1.概述软件工程的性能指标和软降开发过程中应遵循的原则

答：

性能指标：

①可修改性②有效性③可靠性④可理解性⑤可维护性⑥可重用性⑦可适应性⑧可移植性⑨可追踪性⑩可互操作性

原则：

①抽象②信息隐蔽③模块化④局部化⑤一致性⑥完整性⑦可验证性

2.概述面向对象方法所具有的重要概念和实施主要建立的相关模型

答：

概念：

1.类、对象、属性、方法和消息

2.封装、派生、继承和多态性

模型：

1.描述系统静态结构的对象模型（类图）

2.描述系统控制结构的动态模型（状态图、时序图、协作图、活动图）

3.描述系统功能结构的功能模型（用例图）

3.概述软件过程定义

答：

软件过程（softwareprocesses）也称为软件生存周期过程或软件过程组，是指软件生存周期中的一系列相关过程（process）。

其中：

过程就是活动的集合；活动是任务的集合；任务则起到把输入加工成输出的作用。

活动的执行可以是顺序的、迭代的（重复的）、并行的、嵌套的或者是有条件地引发的。

4.概述《敏捷软件开发宣言》及其意义

答：

概念：

我们正在通过亲身实践以及帮助其他人实践，揭示更好的软件开发之路，我们认为：

个体和交互胜过过程和工具、能够发挥作用的软件胜过面面俱到的文档、客户合作胜过合同谈判、随时应对变化胜过遵循计划。

也就是说，虽然我们也关注上述右边的内容，但是更关注左边的内容。

意义：

避免了传统瀑布方式的弊端，主要是吸收了各种新型开发模式的“动态”特性，关注点从文档到开发者，管理方式也从工厂的流水线到团队的自我放松式的组织。

5.概述RUP和Microsoft过程模型的特点

答：

RUP模型有三大特点：

①软件开发是一个叠代过程

②软件开发是由Use Case驱动的

③软件开发是以构架设计为中心的

Microsoft过程模型的特点

其过程模型由以下5个主要阶段组成：

规划、设计、开发、稳定、发布

过程模型以阶段和里程碑为基础,且每个阶段都是由里程碑驱动的

二、基于软件过程模型

1.试给出形式化方法变换模型

答：

式化方法模型--变换模型

形式化方法是指“基于数学的和/或能被算法识别且进行转换的软件开发方法”其变换模型为：

1.形式化方法模型--变换模型

形式化方法是指“基于数学的和/或能被算法识别且进行转换的软件开发方法”

其变换模型为：

2.试给出CMMI3过程改进组织结构模型

三、四….基于petri网

1.求可达标识集R（M0）

M0=（1，1，0，0，0）

取σ1=t2==>M0[σ1>M1=（0，1，1，0，0）

取σ2=t3==>M0[σ2>M2=（1，0，0，1，0）

取σ3=t2t3==>M0[σ3>M3=（0，0，1，1，0）

取σ4=t3t2==>M0[σ4>M3=（0，0，1，1，0）

取σ5=t2t3t4==>M0[σ5>M4=（0，0，0，0，1）

取σ6=t3t2t4==>M0[σ6>M4=（0，0，0，0，1）

取σ7=t2t3t4t1==>M0[σ7>M0=（1，1，0，0，0）

取σ8=t3t2t4t1==>M0[σ8>M0=（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，寻找是否存在Mn∈R（M0）。

例如：

对上例Petri网，问下面两个标识是否可达？

M΄=（0，0，1，0，1）

M˝=（1，0，0，1，0）

M΄R（M0）==>M΄不可达

M˝R（M0）==>M˝可达

2.判断给定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.任意两个转移同步距离计算及关系

说明：

同步是一个没有准确定义的概念。

同步论的作用就

是把各种不同形式的同步用一个统一的概念做定量

描述。

这个概念就是同步距离

定义：

两个转移t1和t2间的同步距离定义为：

d12=max|σ（t1）-σ（t2）|

其中：

σ是起始于R（M0）中的任何标识M的一个发生序列

σ（ti）是转移ti（i=1，2，…）在σ中发生的次数

d12也可以书写为σ（t1，t2）

说明：

同步距离是条件/事件系统中与两个事件间相互独

立程度紧密相关的一种量度。

5.给定Petri网，构造关联矩阵C=C+—C-,求S—不变量I、T—不变量J。

S-不变量：

如果网系统中有一些位置，其中包含的资源

（标记）的总和在任何可达标识情况下均为常数,

即系统不论发生什么事件，这些位置中的标

记总数不变，则这些位置就是系统的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=θ