什么是边值分析法？它主要用于什么测试？