Nassi Shneiderman图，简称NS图或盒图，是结构化编程中的一种可视化建模（英语：Visual modeling）。NS图是在1972年由Isaac Nassi及其学生Ben Shneiderman提出。。NS图类似流程图，但所不同之处是NS图可以表示程序的结构。DIN 66261是NS图的相关标准。
依从上到下的设计（英语：top-down design），待处理的问题会分解成一些较小的副程序，最后只有简单的叙述及控制流程结构，NS图对应了上述的思维，利用嵌套的方块来表示副程序。NS图中没有对应Goto指令的表示，和结构化编程中不使用GOTO的理念一致。NS图的抽象层次接近结构化的代码，若程序重写，NS图就需重新绘制，不过NS图在简述程序及高端设计时相当方便。
NS图几乎是流程图的同构，任何的NS图都可以转换为流程图，而大部分的流程图也可以转换为NS图。其中只有像Goto指令或是C语言中针对循环的break及continue指令无法用NS图表示。
程序方块表示不需再分解的基本步骤，当流程进行到一程序方块时，会进行程序方块中的动作，然后移至下一个方块。
分支方块可分为二种，第一种是简单的真/假分支方块，对应if指令，会有二个对应的路径，根据条件是否成立，决定后续运行的程序。
第二种是多重分支方块，当使用类似C语言的switch指令，依表达式结果要从三个或三个以上的路径中选择一个时使用，此方块一般会有许多对应的选项和其对应的子程序。
测试循环方块允许程序运行一个或一组特定程序，一直到一特定条件满足为止。测试循环方块可分为二部分：左侧长条状部分和方块上方（或下方的）的测试条件部分相连辺，测试循环方块内部的方块则是循环中可能要运行多次的程序。
测试循环方块可分为二种：先测试的循环方块及后测试的循环方块。二者的差异是条件判断次序的先后。在先测试的循环方块中，在运行循环前会先判断特定条件是否成立，若不成立，才运行循环内的程序，之后再重新判断条件是否成立，若不成立，再运行循环内的程序……，只要特定条件成立，就结束循环内的程序，继续运行后续的程序。由于在循环开始时就判断条件是否成立，有可能在循环内程序完全未运行过的情形下就结束循环，继续运行后续程序。
后测试的循环方块会先运行一次循环内的程序，之后判断特定条件是否成立，若不成立，才运行循环内的程序……。后测试的循环方块中，循环内的程序至少会被运行一次。
