结构化程序是指 由顺序、选择、循环这三种基本控制结构组成的程序。每种结构仅有一个入口和一个出口，并且程序是由这些基本结构的多层嵌套构成的。结构化程序设计的主要目的是提高程序的可读性、易维护性、可调性和可扩充性。它适用于程序规模较大的情况，对于规模较小程序也可采用非结构化程序设计方法。
结构化程序设计的核心思想是将程序分解为较小的、相对独立的部分，每个部分执行一个特定的任务，并且通过明确定义的输入和输出来通信。这种方法使得程序的维护和修改变得相对容易，因为只需集中精力在一个模块上进行修改，不用考虑整个程序的影响。
结构化程序设计最早在20世纪60年代末到70年代初提出，当时是为了应对当时早期的编程语言（如汇编语言和Fortran）的复杂性。随后，这种方法得到了广泛的应用，并在1970年代末经过Edsger Dijkstra的提倡得到了普及。