Препринт ИСП РАН 23, 2011 г.
Новости
Препринты Института системного программирования РАН, Препринт 23, 2011 г.
Игорь Бурдонов, Александр Косачев. Удаление из спецификации неконформных трасс. Стр. 1-219.
Аннотация
Работа посвящена оптимизации тестирования, понимаемого как проверка соответствия (конформности) реализации заданной спецификации в процессе тестовых экспериментов. Тесты генерируются по трассам спецификации. Однако, как показано в данной работе, некоторые трассы спецификации могут не встречаться ни в одной конформной реализации. Тесты, сгенерированные по таким неконформным трассам, заведомо «лишние». Поэтому в целях оптимизации тестирования возникает задача удаления из спецификации неконформных трасс. Для этого предлагается соответствующее преобразование спецификации (которое мы назвали ∇-пополнением) с дополнительным требованием: не изменяется класс конформных реализаций и сохраняется возможность тестировать все те реализации, которые можно было тестировать по исходной спецификации. Предлагаемые алгоритмы пригодны для широкого класса отношений конформности, параметризуемых той или иной семантикой взаимодействия, основанной на тестовых воздействиях и наблюдениях. Для конечной семантики и конечной исходной спецификации эти алгоритмы выполняют требуемое преобразование за конечное время, и результатом является конечная спецификация.
Ключевые слова: Cемантика взаимодействия, отказы, разрушение, дивергенция, конформность, безопасное тестирование, трассы, LTS, генерация тестов