Тестирование софта - статьи


         

которые перехватывают управление) удобно моделировать


Действительно, модальные диалоги (те, которые перехватывают управление) удобно моделировать с помощью отдельной диаграммы состояний (для верхней диаграммы это поддиаграммы), инкапсулируя тем самым их функциональность.
  • Диаграмма действий позволяет специфицировать систему таким образом, при котором отсутствует дублирование одинаковых событий из разных состояний. Достигается это использованием на диаграмме управляющих элементов, из которых возможны тестовые воздействия, а не самих состояний.
  • Спецификация диаграммами действий удобна для восприятия человеком.
  • Другими словами, спецификация графического интерфейса с помощью диаграмм действий является достаточно естественным способом описания требований к графическому интерфейсу. Причём при таком подходе сохраняется вся сила формальных спецификаций – как показывает опыт, большая часть ошибок выявляется именно на этапе составления спецификации системы.
    Итак, перейдём к детальному рассмотрению предлагаемого подхода.
    Для создания прототипа работающей версии данного подхода использовался инструмент Rational Rose [6]. Он использовался в первую очередь для спецификации графического интерфейса пользователя при помощи диаграмм действий UML.
    Для прогона сгенерированных по диаграмме состояний тестов использовался инструмент Rational Robot [6]. Из возможностей инструмента в работе мы использовали следующие:
    1. Возможность выполнять тестовые воздействия, соответствующие переходам между состояниями в спецификации.
    2. Возможность проверять соответствие свойств объектов реальной системы и эталонных свойств, содержащихся в спецификации. Из тех возможностей, которые доступны с помощью этого инструмента, используется проверка следующих свойств объектов:
    • Наличие и состояние окон (заголовок, активность, доступность, статус).
    • Наличие и состояние таких объектов, как PushButton, CheckBox, RadioButton, List, Tree и др. (текст, доступность, размер).
    • Значение буфера обмена.
    • Наличие в оперативной памяти запущенных процессов.
    • Существование файлов.
    Общая схема генерации и прогона тестов выглядит следующим образом:
    Рассмотрим ее компоненты более подробно.

    Содержание  Назад  Вперед