Исследование и разработка метода автоматического тестирования черного ящика по заданным спецификациям : ВКР магистра : направление подготовки 02.04.03 "Математическое обеспечение и администрирование информационных систем"