-
第
1
页
(
共
3
页
)
成
上海大
学
2013
～
2014
学年秋季学期试卷
绩
课程名：
软件规格说明技术
课程号：
0
8306042600
学分：
3
应试人声明：
我保证
遵守《上海大学学生手册》中的《上海大学考场规则》
，如有考试违纪、作
弊行为，愿意接受《上海大学学生考试违纪、作弊行为界定及处分规定》的
纪律处分。
应试人
应试人学号
应试人所在院系
题号
一
二
三
四
五
六
七
八
九
得分
一、
（<
/p>
20
分，每个选项
2
分）从供选择的答案中选出应填入下列叙述中
处的正
确答案，把编号写在每小题下提供的“答案”处。
1.
形式方法基于数学方法来描述目标软件系统。它描述了
A
，形式方法一
般需要形式规格说明语言的支持。形式规格说明语言用于描述
B
。抽象是
一种很重要的技术，软件规格说明有两种抽象：
C
。
Z
语言是一种基于一阶
谓词逻辑和集合论的
D
。<
/p>
设一个命题公式
G
含有
< br>n
个命题变元，
则对这
n
个
命题变元的一
组真值赋值称为
G
的一个解释，公式
G
有
E
个解释。
供选择的答案：
A
：
①由什么人开发软件
②怎么做软件
③软件做什么
④为什么要开发软件
B
：
①程序代码
②用户需求
③测试文档
④数据结构
C
：
①过程抽象和数据抽象
②图形抽象和数据抽象
③过程抽象和逻辑抽象
④图形抽象和逻辑抽象
D
：
①程序模块语言
②形式语言
③规格说明语言
④形式规格说明语言
E:
①
2
n
②
n
③
2n
④
2n
2
答案：
A:
B:
C:
D:
E:
2.
设
Q
是一个集合，由
Q
< br>的所有子集所组成的集合，称为集合
Q
的幂集，记作
?
Q
。如果
W
?
?
Q
，则有
A
。设有
X
和
Y
两个集合，则
< br>X
和
Y
的笛卡尔积
X
?
Y
< br>是
B
。关系可关联定义域中的一个元素到值域中的多个元素，又可关
联定义
域
中的多个元素到值域中的一个元素，是一个多对多的映射。一个
X
和
Y
上的关
系是
X
和
Y
笛卡尔积的
C
< br>。
函数是一种特殊的关系，
一个函数映射了定义域中
的每一个元素到值域中
D
。
在
Z <
/p>
中，
序列是一种类型。
在一个序列中，<
/p>
E
。
供选择的答案：
A
：
①
W=Q
②
W
?
Q
③
Q
?
W
④
W
?
Q
B
：
①
X
和
Y<
/p>
的所有关系组成的集合
③
X
和
Y<
/p>
所有元素组成的序偶集合
C
：
①
空集
②
幂集
②
X
和
Y<
/p>
的子集组成的集合
④
X
和
Y
的并集
③
子集
④
子序列
④至少两个元素
D
：
①
最多一个元素
②
至少一个元素
③
任意多个元素
E:
①
元素出现的次序不重要
②
每个元素只出现一次
③
元素的出现有次序，
又可出现多次
④
每个元素出现的次数也不重要
答案：
A:
B:
C:
D:
E:
二、
（
10
分，每小题
5
分）
1.
利用定律：
证明
p
?
q
?
q
?
?
p
?
x
:
T
?
p
?
< br>q
(CS)
、
?
x
:
T
?
p
?
?
< br>x
:
T
?
q
(Q7)
?
x
:
T
?
p
?
q
(
?
x
:
T
?
?
q
)
?
(<
/p>
?
x
:
T
?
?
p
)
2
．请写出模式复合的步骤。