Аспирантский семинар: Применение алгоритмов анализа формальных понятий в задачах тестирования ПО

Докладчик: Федор Строк, аспирант второго года обучения, департамент анализа данных и искусственного интеллекта факультета компьютерных наук
Место: Факультет компьютерных наук, Кочновский проезд, д. 3, ауд. 317
Время: 16 апреля, 19:00 – 20:00 

Доклад состоится в рамках научно-исследовательского семинара аспирантской школы по компьютерным наукам.

Для задач тестирования программного обеспечения важно качество покрытия тестами всех необходимых вариантов работы бизнес-логики. Здесь в полной мере может быть использован механизм анализа формальных понятий. Например, для решения задачи составления тестовых случаев может быть использована методология исследования признаков, которая в некотором смысле объединяет текущие подходы в данной предметной области.