5.4.2　盒图

Nassi和Shneiderman提出了一种符合结构化程序设计原则的图形描述工具，称为盒图，又称为N-S图（以两个人的名字的第一个字母组成）。在N-S图中，全部算法写在一个大框图内，这个大框图由若干个小的基本框图构成，可以表示顺序、选择和循环三种基本控制结构，如图5.4所示的三种图形结构。

图5.4　盒图的基本符号

（1）顺序型：在顺序型结构中先执行A，后执行B。

（2）选择型：在选择型结构中，如果条件P成立，可执行T下面的内容，当条件P不成立时，则执行F下面的内容；另一种选择型结构中，给出了多出口的判断图形表示，P为控制条件，根据P的取值相应地执行其值下面的各框内容。

（3）WHILE重复型：在WHILE重复型循环结构中先判断P的值，再执行S，其中，P是循环条件，S是循环体；UNTIL重复型循环结构中，先执行S，再判断P的值。(https://www.daowen.com)

例5.2　将例5.1中用PDL伪代码表示的某种模块的过程性描述改用N-S图表示。

解：

图5.5　例5.1中PDL伪代码对应的盒图（N-S图）

盒图没有箭头，因此不允许随意转移控制。坚持使用盒图作为详细设计的工具，可以使程序员逐步养成用结构化的方式思考问题和解决问题的习惯。