Математика как основа тест-дизайна

26-27 апреля 2013 г. в Санкт-Петербурге прошла Международная it-конференция в области обеспечения качества ПО SoftwareQualityAssuranceDays-13. Лучшим на Конференции по мнению аудитории был назван доклад "Математика и тестирование"Никиты Налютина, кандидата технических наук, менеджера по обеспечению качества компании-лидера в сфере разработки и предоставления информационно-аналитических и маркетинговых услуг – Experian.

"С точки зрения принципа приложения минимальных усилий для достижения максимального результата роль математики в выборе эффективных методов тестирования программного обеспечения сложно переоценить, - говорит Никита Налютин, –математические методы важны на всех этапах тестирования: от формирования идеи тестов до анализа результатов"

В недостаточно эффективном применении математики в процессе тестирования ПО повинна не сама наука, а стереотипы нашего к ней отношения. Даже среди профессионалов высокого класса есть те, кто считает, что методы, демонстрирующие в теории свою правильность, на практике все равно не либо не работают, либо требуют дополнительных детализированных спецификаций и т.д.Однако такой подход в корне не верен. "Алгоритм де Бройна, доопределение граничных значений на основе статистик, минимизация логических функций – им есть место в реальной жизни, - продолжает Никита Налютин. – Эти и многие другие математические методы – крайне эффективны как при дизайнетестов и оценкеих результатов, так и в разработке тестовых стратегий, оценке бюджетов и ресурсов, анализе рисков".

Важно понимать, что недоработки в организации процесса тестирования – это не просто недостаточно профессионально выполненная работа, недоработки чреваты различными рисками. В первую очередь, это риски качества конечного продукта: плохо проверенная система, вероятнее всего, будет содержать множество дефектов. Другой набор рисков связан с применением неграмотно подобранных методик оценки и приводит к чрезмерным ресурсным затратам. При плохо построенном процессе избыточный объем тестирования может существенно увеличивать сроки и стоимость всего проекта, при отсутствии улучшения качества выпускаемого продукта. Для минимизации рисков важно еще "на берегу" позаботиться об адекватной стратегии тестирования, спланировать процесс, как с точки зрения объема, так и с точки зрения разумного покрытия тестами, и как результат – будет получен продукт, удовлетворяющий потребителя на все 100%.

"Нередко применяемые методики тестирования ПО рождались стихийно. Тем не менее, существенная часть используемых практик – это результат наукоемкой теоретической и экспериментальной работы по адаптации математических моделей, – продолжает Никита Налютин. Адекватная оценка качества ПО – залог его успешности и востребованности. Математика – тому эффективное подспорье".