1. [单选题]What is the definition of a path?
A. A sequence of vertices and the edges formed by each successive pair of vertices.
B. A walk with distinct vertices.
C. A walk with distinct edges.
D. None of the above
2. [单选题]场景测试方法是基于IBM推行的RUP的测试用例生成方法，该方法的出发点(starting point)是______。
A. 事件流
B. 数据流
C. 控制流
D. 用例
3. [单选题]设集合A={a,b,c},A上的二元关系R={,,}。下面命题中为假的是____。
A. R不是偏序关系
B. R是等价关系
C. R是对称的
D. R是反对称的
4. [单选题]下列关于进程控制块PCB的叙述中，正确的是Ⅰ．系统利用PCB描述进程的基本静态特征
A. PCB可用于描述进程的运动变化过程
B. 一个进程惟一对应一个PCB
C. Ⅰ和Ⅱ
D. Ⅱ和Ⅲ
E. Ⅰ和Ⅲ
F. 全都正确
5. [单选题]设p:天下大雨，q:我骑自行车上班。命题“除非天下大雨，否则我骑自行车上班。”的符号化形式为
A. p→q
B. ┐q→p
C. q→p
D. ┐p→┐p
