软件工程导论练习题 （3）使用基本路径测试法，设计测试该伪码程序的测试用例

软件工程导论复习.ppt免费下载

链接:https://pan.baidu.com/s/1Hr_L9eEaQGjJWqcUiw-fZg

《软件老誉做工程导论》内容丰富，构思新颖虚模，突破软件工程图书的传统框架，使整个软件工程体系更清晰，从思想和管理出发，自然延伸到流程、方法、工具和环境，重新阐释了软件工程体系。《软件侍衡工程导论》吸收了软件工程的最新进展，适应软件即服务（SaaS）的开发模式，增加了相应的内容，符合当今软件工程的实际需求

伪代码：是用介于自然语言和计算机语言之间的文字和符号（包括数学符号）来描述算法。

【简单示例】输入3个数，打印输出其中最大的数。可用如下的伪代码表示：

Begin（算法开始）

输入 A，B，C

IF A>B 则 A→Max

否则 B→巧备埋Max

IF C>Max 则 C→Max

Print Max

End （算法结束）

伪码只是像流程图一样用在程序设计的初期，帮助写出程序流程。简单的程序一般都不用写流程、写思路，但是复杂的滚春代码，最好还是把流程写下来，总体上去考虑整个功能如何实现。写完以后不仅可以用来作为以后测试，维护的基础，还可用来与他人交流。但是，如果把全部的东西写下来必定可能会浪费很多时间，那么这个时候可以采用伪代码方式。比如：

if 九点以前 then

do 私人事务；

if 9点到18点 then

工作；

else

下班；

end if

这样不但可以达到文档的效果，同时可以节约时间. 更重要的是，使结构比较清晰，表达方式更加直观.

下面介绍一种类Pascal语言的伪代码的语法规则。

在伪代码中，每一条指令占一行（else if 例外，），指令后不跟任何符号（Pascal和C中语句要以分号结尾）；

书写上的“缩进”表示程序中的分支程序结构。这种缩进风格也适用于if-then-else语句。同一模块的语句有相同的缩进量，次一级模块的语句相对与其父级模块的语句缩进；

例如：

line 1

line 2

sub line 1

sub line 2

sub sub line 1

sub sub line 2

sub line 3

line 3

而在Pascal中这种关系用begin和end的嵌套来表示，

line 1

line 2

begin

sub line 1

sub line 2

begin

sub sub line 1

sub sub line 2

end

sub line 3

end

line 3

在C中这种关系用{ 和 } 的嵌套来表示，

line 1

line 2

{

sub line 1

sub line 2

{

sub sub line 1

sub sub line 2

}

sub line 3

}

line 3

在伪码中，通常用连续的数字或字母来标示同一即模块中的连续语句，有时也可省略标号。

例如：

⒈ line 1

⒉ line 2

a. sub line 1

b. sub line 2

⒈ sub sub line 1

⒉ sub sub line 2

c. sub line 3

⒊ line 3

符号△后的内容表示注释；

在伪码中，变量名和保留字不区分大小写，这一点和Pascal相同，与C或C++不同；

在伪码中，变量不需声明，但变量局部于特定过程，不能孝蚂不加显示的说明就使用全局变量；

赋值语句用符号←表示，x←exp表示将exp的值赋给x，其中x是一个变量，exp是一个与x同类型的变量或表达式（该表达式的结果与x同类型）；多重赋值i←j←e是将表达式e的值赋给变量i和j，这种表示与j←e和i←e等价。

例如：

x←y

x←20*(y+1）

x←y←30

以上语句用Pascal分别表示为：

x := y

x := 20*(y+1)

x := 30y := 30

以上语句用C分别表示为：

x = y

x = 20*(y+1)

x = y = 30

选择语句用if-then-else来表示，并且这种if-then-else可以嵌套，与Pascal中的if-then-else没有什么区别。

例如：

if (Condition1)

then [ Block 1 ]

else if (Condition2)

then [ Block 2 ]

else [ Block 3 ]

循环语句有三种：while循环、repeat-until循环和for循环，其语法均与Pascal类似，只是用缩进代替begin - end；

例如：

⒈ x ← 0

⒉ y ← 0

⒊ z ← 0

⒋ while x <N

⒈ do x ← x + 1

⒉ y ← x + y

⒊ for t ← 0 to 10

⒈ do z ← (z + x * y) / 100

⒉ repeat

⒈ y ← y + 1

⒉ z ← z - y

⒊ until z <0

⒋ z ← x * y

⒌ y ← y / 2

上述语句用Pascal来描述是：

x := 0

y := 0

z := 0

while x <N do

begin

x := x + 1

y := x + y

for t := 0 to 10 do

begin

z := (z + x * y) / 100

repeat

y := y + 1

z := z - y

until z <0

end

z := x * y

end

y := y / 2

上述语句用C或C++来描述是：

x = y = z = 0

while(z <N)

{

x ++

y += x

for(t = 0t <10t++)

{

z = (z + x * y) / 100

do {

y ++

z -= y

} while(z >= 0)

}

z = x * y

}

y /= 2

数组元素的存取有数组名后跟“[下标]”表示。例如A[j]指示数组A的第j个元素。符号“ …”用来指示数组中值的范围。

例如：

A[1…j]表示含元素A[1],A[2]，…，A[j]的子数组；

复合数据用对象（Object）来表示，对象由属性（attribute）和域（field）构成。域的存取是由域名后接由方括号括住的对象名表示。

例如：

数组可被看作是一个对象，其属性有length，表示其中元素的个数，则length[A]就表示数组A中的元素的个数。在表示数组元素和对象属性时都要用方括号，一般来说从上下文可以看出其含义。

用于表示一个数组或对象的变量被看作是指向表示数组或对象的数据的一个指针。对于某个对象x的所有域f，赋值y←x就使f[y]=f[x]，更进一步，若有f[x]←3，则不仅有f[x]=3，同时有f[y]=3，换言之，在赋值y←x后，x和y指向同一个对象。

有时，一个指针不指向任何对象，这时我们赋给他nil。

函数和过程语法与Pascal类似。

函数值利用 “return （函数返回值）” 语句来返回，调用方法与Pascal类似；过程用 “call 过程名”语句来调用；

例如：

⒈ x ← t + 10

⒉ y ← sin(x)

⒊ call CalValue(x,y)

参数用按值传递方式传给一个过程：被调用过程接受参数的一份副本，若他对某个参数赋值，则这种变化对发出调用的过程是不可见的。当传递一个对象时，只是拷贝指向该对象的指针，而不拷贝其各个域。

void main()

{

int A,B,X,Y

scanf("%d%d"闹漏,&A,&B)

X = A <5 10 :1

Y = B <虚弯山 10 2 :20

printf("X=%d,Y=%d\差中n",X,Y)

}