SMS: Теория тестирования логических устройств