Применение генетических алгоритмов к генерации тестов

Применение генетических алгоритмов к генерации тестов

скачать

Здесь вы можете прочитать краткую аннотацию к этой книге Применение генетических алгоритмов к генерации тестов. В работе описан подход к тестированию автоматных программ. Наиболее распространенным способом проверки автоматных программ является Model Checking, так как для автоматных программ высока степень автоматизации. Тест описывается как последовательность переходов в модели. Автоматная программа состоит из конечного автомата и набора объектов управления, с которыми взаимодействует модель. Для формализации требований спецификации к модели и объектам управления предлагается использовать контракты. В работе показаны преимущества использования расширенных конечных автоматов и контрактов для построения модели и разработан метод нахождения входных параметров для выполнения заданного сценария в автоматной модели при помощи использования генетических алгоритмов. Однако проверка моделей позволяет верифицировать только автомат, но не всю систему в целом. В предлагаемом подходе тестирование используется для проверки соответствия спецификации системы ее реализации.

Перейти далее

5 comments Применение генетических алгоритмов к генерации тестов

  1. Я буду ориентироваться при выборе лишь на свой вкус. Никаких других критериев для выкладываемой тут музыки не будет. Что-то по-моему мнению больше подходит длля утреннего прослушивания. Чт-то - для вечернего.

Join the Conversation

Ваш e-mail не будет опубликован. Обязательные поля помечены *