下列测试用例设计方法中，主要用于检查程序是否处理了边界值的是？

边界值分析法是专门用于测试边界值的测试用例设计方法。它关注输入或输出的边界条件，以检查程序在这些极端情况下的处理是否正确。