Добро пожаловать в клуб

Показать / Спрятать  Домой  Новости Статьи Файлы Форум Web ссылки F.A.Q. Логобург    Показать / Спрятать

       
Поиск   
Главное меню
ДомойНовостиСтатьиПостановка звуковФайлыКнижный мирФорумСловарьРассылкаКаталог ссылокРейтинг пользователейЧаВо(FAQ)КонкурсWeb магазинКарта сайта

Поздравляем!
Поздравляем нового Логобуржца Лен-усь со вступлением в клуб!

Реклама

На сайте снова проблемы - решаем - ждите.
Не работает АВТОРИЗАЦИЯ - вход для пользователей не возможен.
Скорее всего, проблемы решить можно только переездом на другой сервер, другой компании.
А такой переезд возможен только в следующем месяце.
Пока других решений не вижу.
Извиняюсь за неудобства.

Ваш администратор.

КНИЖНЫЙ МИР

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

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

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