软件工程基本定理

软件工程基本定理（fundamental theorem of software engineering，简称FTSE），是计算机科学家安德鲁·克尼格提出的名词，说明另一位计算机科学家巴特勒·兰普森所提过的格言^[1]，后来被David J. Wheeler（英语：David Wheeler (computer scientist)）所引用^[2]：

“我们可以透过引入另外一个间接层来解决所有问题。”

此定理没有说明实际的定理，可以证明定理成立或不成立。此定理是透过间接参考（Indirection）管理复杂性的通用原则。

此定理有时会加上一个幽默的话“……那些需要太多间接层的问题例外”，指出一个事实，太多的间接会造成其自身的内在复杂性问题。在分析说明时，常用抽象化代替原来语句中的间接。

例如计算机网络的协定分层，现今无所不在，但有受到许多的批评，而其中不少的批评就是抽象化的普遍缺点^[3]。此处，加入额外的间接层会让更高层有复制较低层功能的问题，因此造成没有效率。而且一层的功能会需要只在另一层出现的资料，这在本质上违背了分成不同层的目的。