РОЛЬ ФОРМАЛИЗАЦИИ ТРЕБОВАНИЙ В ТЕСТИРОВАНИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

В статье рассмотрена роль формализации требований в тестировании программного обеспечения (ПО). Исследованы понятия «требование к ПО» и «тестирование ПО», сделан вывод об их тесной взаимосвязи. На основе выполненного анализа влияния некачественных требова ний на процесс тестирования сделан вывод о важности высокого качества требований для процесса разработки ПО. Предложено формализовать требования для повышения их качества. Рассмотрены несколько методов формализации требований, по каждому из которых сделан вывод о влиянии подобной формализации на ручное и автоматизированное тестирование. Выявлено, что рассмотренные методы предлагают формализацию поведения системы, но с точки зрения упрощения автоматизации тестирования (а именно подготовки наборов данных для тестов) формальная модель должна описывать структуру данных. Подобная модель может быть организована в виде иерархии.