在软件测试中，测试软件结构和逻辑是否正确的测试称为（）