Архитектура среды тестирования на основе моделей

rabotaotzyvy.ru/rabota-vahtoy-ot-pryamyh-rabotodateley-otzyvy.html

Требования к представлениям моделей


Инструменты, поддерживающие тестирование на основе моделей, должны работать с какими-то представлениями моделей поведения и моделей ситуаций. Для полноценной поддержки этого подхода к тестированию и повышения удобства его использования в практике разработки ПО, эти представления должны обладать следующими свойствами.

  • Модели поведения.

    • Средства для описания требований в разных стилях, как минимум в виде чистых декларативных ограничений (утверждений о свойствах входных данных операций и их результатов), в виде контрактных спецификаций (пред- и постусловий операций), использующих модельное состояние, в виде исполнимых моделей, определяющих способ работы проверяемой системы на более высоком уровне абстракции. Это требование обусловлено необходимостью, с одной стороны, как можно более ясно отражать имеющиеся требования, сформулированные на естественном языке, и, с другой стороны, допускать возможность их переформулирования в другом стиле в ходе построения моделей, поскольку оно позволяет выявить неточности, рассогласования и неполноту в исходных требованиях и углубить их понимание .
    • Средства для явного указания связей с документами, содержащими требования, и стандартами, если они относятся к проверяемой системе. Такие связи используются для прослеживания исходных требований и установления того, что все необходимые ограничения действительно присутствуют в модели, а лишних ограничений в ней нет. В дальнейшем они же позволяют проследить связи требований с полученными автоматически тестами.
    • Возможность автоматического преобразования моделей в тестовые оракулы.
    • Возможность использования структуры моделей для определения критериев тестового покрытия.
    • Стоит поддерживать возможности использования таких моделей в рамках других техник верификации.
    • Полезна также возможность преобразования модели поведения в однозначную и полную документацию на моделируемую систему. Однако способы реализации этой возможности остаются за рамками данной работы.

  • Модели ситуаций.

    • Средства для описания ситуаций, связанных с различными аспектами поведения и структуры тестируемой системы.


      Начало  Назад  Вперед



      Книжный магазин