在模型论中，塔斯基-沃特测试（英文：Tarski-Vaught test）是用来判定一个子结构是否是基本子结构的定理。有时亦称塔斯基判准。
陈述.给定一个一阶语言 formula_1，令 formula_2 为一结构，formula_3 为其子结构，其域分别记为 formula_4，formula_5；则 formula_3 是基本子结构的充要条件是：对每个 formula_1-公式 formula_8，若有formula_9，formula_10 使得则必存在 formula_