Направленная генерация тестовых данных для анализаторов статической семантики.

Направленная генерация тестовых данных для анализаторов статической семантики.

М.В. Архипова, С.В. Зеленов.

Abstract

В статье представлен метод SemaTESK автоматической генерации множеств тестов для фронт-эндов в трансляторах. Метод ориентирован на тестирование анализаторов статической семантики. Наиболее известные методы генерации семантических тестов работают путем фильтрации предварительно сгенерированных более или менее случайным образом синтаксических тестов. В отличие от этих методов, SemaTESK позволяет непосредственно генерировать тесты для контекстных условий. Это очень ощутимо сокращает время генерации и позволяет достигать сформулированные в статье критерии полноты. Предложенный метод специфицирования статической семантики позволяет формализовать неформальные требования, содержащиеся в нормативных документах (например, в стандартах). Метод включает в себя язык SRL для компактного формального специфицирования контекстных условий, а также инструмент STG для эффективной генерации множеств тестов из SRL-спецификаций. Метод SemaTESK был успешно применен в ряде проектов, в том числе по тестированию анализаторов статической семантики языков C и Java.

Edition

Proceedings of the Institute for System Programming, vol. 17 (in Russian), 2009, Стр. 93-117.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

For citation

М.В. Архипова, С.В. Зеленов. Направленная генерация тестовых данных для анализаторов статической семантики.. Proceedings of the Institute for System Programming, vol. 17 (in Russian), 2009, Стр. 93-117. .

Full text of the paper in pdf (in Russian) Back to the contents of the volume