Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9783846516041

Книга ISBN13 9783846516041 - Применение генетических алгоритмов к генерации тестов (Андрей Законов) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: Применение генетических алгоритмов к генерации тестов
Автоматная программа состоит из конечного автомата и набора объектов управления, с которыми взаимодействует модель. Наиболее распространенным способом проверки автоматных программ является Model Checking, так как для автоматных программ высока степень автоматизации. Однако проверка моделей позволяет верифицировать только автомат, но не всю систему в целом. В работе описан подход к тестированию автоматных программ. В предлагаемом подходе тестирование используется для проверки соответствия спецификации системы ее реализации. Для формализации требований спецификации к модели и объектам управления предлагается использовать контракты. Тест описывается как последовательность переходов в модели. В работе показаны преимущества использования расширенных конечных автоматов и контрактов для построения модели и разработан метод нахождения входных параметров для выполнения заданного сценария в автоматной модели при помощи использования генетических алгоритмов.
Авторы: Андрей Законов
Издательство: LAP Lambert Academic Publishing
Год: 2011
Местонахождение: OZON.ru
ISBN: 9783846516041


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.