E-catalog        

Библиогр.: 4 назв.

Жизненный цикл любого программного продукта, в том числе мобильного приложения, является многоэтапным, начиная от формулировки формальных требований к продукту и заканчивая непосредственно эксплуатацией. Неотъемлемой частью данного цикла является тестирование разрабатываемого продукта. Dart – молодой язык программирования, используемый для разработки мобильных, десктопных, серверных и веб приложений. В данной работе мы рассматриваем Dart-реализацию почтового клиента (клиентскую часть протокола) POP3 [1]. Тесты можно строить по-разному, однако, для того чтобы гарантировать полноту обнаружения определенного класса ошибок, необходимо иметь адекватную математическую модель формальных требований к работе приложения. Расширенный автомат является такой моделью [2], поскольку в данной модели учитываются параметры у входных воздействий и выходных реакций, а также имеются внутренние переменные. Кроме того, переходы между состояниями зависят от истинности предикатов, которые в свою очередь определяются входными параметрами и внутренними переменными. В данной работе мы рассматриваем тест, построенный на основе модели расширенного автомата, извлеченной из спецификации протокола POP3 [3], для обнаружения выходных неисправностей.