С. Н. Малинин
ТЕСТИРОВАНИЕ ОБЪЕКТНО-ОРИЕНТИРОВАННЫХ
ПРОГРАММ МОДЕЛИРОВАНИЕМ
КОНЕЧНЫМИ АВТОМАТАМИ
Аннотация. <...> В статье рассматривается метод определения входных данных для
модульного и интеграционного тестирования объектно-ориентированного программного обеспечения на основе моделирования классов конечными автоматами. <...> Одним из способов преодоления сложности анализа, проектирования и реализации ПО является объектно-ориентированный подход. <...> Следовательно, программа, структура которой определяется особенностями задачи (и вовсе не
непосредственно требуемым решением), обладает большей приспосабливаемостью к последующим изменениям. <...> Более того, поскольку компоненты были получены в соответствии
с потребностями задачи, они могут быть повторно использованы при разработке других программных решений таких же или подобных задач, в результате чего повышаются возможности многократного использования компонентов программного обеспечения. <...> В связи с появлением большого количества программ, написанных на
языках объектно-ориентированной парадигмы, стала актуальной задача обеспечения качества объектно-ориентированного программного обеспечения. <...> Как правило, анализ соответствия системы предъявляемым к ней требованиям производится методами либо верификации, либо тестирования. <...> При этом
гарантированное обоснование качества систем возможно только при помощи
верификации, т.е. путем математического (формального) доказательства наличия или отсутствия у системы проверяемого свойства, описанного в спецификации [1]. <...> Недостатки такого подхода заключаются в том, что формальные методы предъявляют особые требования к используемым системам программирования и языкам описания моделей программных систем. <...> Поэтому средства
верификации в большинстве случаев становятся неприменимыми. <...> Поволжский регион
Тестирование является основной формой контроля качества систем
в настоящее время. <...> Большинство
существующих <...>