over-approximation（过度近似/上近似）：指用一个更宽松、更大的集合、范围或模型来代表真实对象，从而保证包含所有真实情况（但可能把一些实际上不可能的情况也算进去）。常见于数学、形式化验证、静态分析与程序分析中。也可写作 overapproximation。
/ˌoʊvər əˌprɑːksɪˈmeɪʃən/
The analysis uses over-approximation to avoid missing any errors.
该分析采用过度近似，以避免漏掉任何错误。
By computing an over-approximation of all possible program states, the verifier can prove safety, though it may report false alarms.
通过计算所有可能程序状态的上近似，验证器可以证明安全性，但也可能产生误报。
由 over-（“过度、超过”）+ approximation（“近似”）构成。该术语在科学与工程语境中用来强调：为了“宁可多算、不可漏算”，故意采用包含真实解的更大近似，以换取可靠性（但牺牲精确性）。
Select Language