TESTCONF.RU

Спикеры

 

TestCon Moscow начнётся через:

Дни

:

Часы

:

Минуты

:

Секунды

Николай Косматов

CEA List, Франция

Биография

Исследователь в области формальной проверки и тестирования.

Доклад

Расширенный список критериев тестового покрытия: Укажите и измерьте, покройте и «размаскируйте»

Автоматическая генерация тестовых данных (ATG) является основной темой в области разработки программного обеспечения. Большое количество исследований было посвящено автоматизации тестирования методом белого ящика. Несмотря на то, что существует широкий спектр различных и иногда неоднородных критериев покрытия кода, методам тестирования все еще не хватает общего формализма для их описания, а доступные средства автоматизации тестирования обычно поддерживают только небольшое их подмножество.

Этот курс познакомит участников с миром критериев тестирования методом белого ящика и их автоматической поддержки. Мы пытаемся заполнить пробел между критериями покрытия, поддерживаемыми современными технологиями автоматической генерации тестовых данных методом белого ящика, такими как динамическое символьное выполнение, и расширенным списком критериев, почерпнутыми из литературы. Учебный курс сосредоточен на метках, новейшем механизме спецификации, предназначенном для достижения целей тестирования и их эффективной поддержки в инструментах автоматизированного тестирования. Метки являются достаточно общими, чтобы указать множество общих критериев тестирования, и поддаются эффективной автоматизации, позволяющей покрыть соответствующие цели тестирования и измерить уровень покрытия данного набора тестов. Мы предлагаем несколько методов оптимизации, обеспечивающих эффективную поддержку меток в инструментах ATG. Мы также покажем, как комбинация методов статического анализа может быть эффективно применена для обнаружения («размаскирования») недостижимых целей тестирования, ответственных за потерю усилий, потраченных на генерацию тестов и неточное измерение уровня покрытия. Мы продемонстрируем набор инструментов LTest, предназначенный для автоматизации тестирования с эффективной поддержкой меток. Наконец, мы представим новейшее расширение меток, названное HTOL (Hyperlabel Test Objectives Language), способное кодировать даже критерии покрытия тестирования самого высокого уровня (такие как варианты MCDC, критерии dataow, свойства невмешательства и т. д.), в том числе и гиперсвойства. Этот курс основан на серии недавних исследований и внедрении инструментов (представленных на ICST 2014, TAP 2014, ICST 2015, ICST 2017t, ICST 2017r, ICSE 2018, ISOLA 2018).

Ключевые слова

Automatic Test Generation

Detection of Uncoverable Objectives

Testing Criteria

Coverage Measurement