Это вроде 1)математическая формализация задачи - способ выражения содержания совокупности условий через опреленную форму - знаки искусственного языка.
2)отладка программы - это этап разработки на котором ищут и устаняют ошибки
3)тест - метод изучения процесов системы
Как то так