软件工程大题目.docx

文档介绍：: .
一、等价类划分某程序规定："输入三个整数a、b、c分别作为三边的边长构成三角形。通过程序判定所构成
技术贝
V7
V7
材料员
三、因果图以中国象棋中马的走法为例子，具体说明：
1、如果落点在棋盘外，则不移动棋子；2、如果落点与起点不构成日字型，则不移动棋子；3、如果落点处有自己方棋子，则不移动棋子；4、如果在落点方向的邻近交叉点有棋子（绊马腿），则不移动棋子；5、如果不属于1-4条，且落点处无棋子，则移动棋子；6、如果不属于1-4条，且落点处为对方棋子（非老将），则移动棋子并除去对方棋子;7、如果不属于1-4条，且落点处为对方老将，则移动棋子，并提示战胜对方，游戏结束。
1、对说明进行分析，得到原因和结果：
原因：
1、落点在棋盘外；2、不构成日字；3、落点有自方棋子；4、绊马腿；、落点无棋子；6、落点为对方棋子；7、落点为对方老将。
结果：
21、不移动；22、移动；23、移动己方棋子消除对方棋子；24、移动并战胜对方。
2、根据分析出来的原因和结果，我们可以画出因果图，如下:
11这个结点称做中间结点，是为了让因果图的结构更加明了，简化因果图导出的判定表。
组合过于庞大（2的7次方）通过中间结点11,将判定表分成两部分，简化判定表如下:
1
2
9
4
5
6
7
8
9
10
11
15
14
15
16
-条件
1
1
1
1
1
1
1
1
1
0
0
0
0
0
0
0
0
2
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
3
1
1
0
0
1
1
0
□
1
1
D
0
1
1
0
0
4
1
D
1
0
1
0
1
0
1
D
1
C
J_
0
1
0
结
果
11
□
D
D
0
0
0
0
□
□
D
0
C
0
(I
0
1
21
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
0
测试
用例
1
2
3
4
5
6
7_
S
9
w
I11
12
I?
14
15
16
条
件
11
t
1
1
1
1
1
1
1
0
a
0
.0
G
0
0
5
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
6
1
1
0
C
1
1
0
0
1
1
0
0
1
1
0
0
7
1
0
1
C
1
0
1
0
1
Q
1
0
1
0
1