Статья «ГЕНЕРАЦИЯ ТЕСТОВ НА АБСТРАКЦИЯХ СИСТЕМ СОБЫТИЙ ДЛЯ ПОКРЫТИЯ ИХ СОСТОЯНИЙ И ПЕРЕХОДОВ, "Программирование"»

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