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

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

для автоматных программ

LAP Lambert Academic Publishing ( 2011-10-12 )

€ 49,00

Buy at the MoreBooks! Shop

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

Book Details:

ISBN-13:

978-3-8465-1604-1

ISBN-10:

384651604X

EAN:

9783846516041

Book language:

Russian

By (author) :

Андрей Законов

Number of pages:

68

Published on:

2011-10-12

Category:

Informatics, IT