Новости
18 Апреля, 2025
ИСП РАН выступит партнёром научного форума «Шаг в будущее: глобальный форсайт, искусственный интеллект и стратегическое лидерство»
12 Марта, 2025
XII научно-практическая конференция «OS DAY. Изолированные среды исполнения в операционных системах»
01 Марта, 2025
Шнитману Виктору Зиновьевичу исполняется 80 лет
Критерии тестового покрытия, основанные на структуре контрактных спецификаций.
Аннотация
В данной статье рассказывается о критериях тестового покрытия, применяемых в технологии UniTESK и основанных на структуре контрактных спецификаций функциональных требований. Эти критерии можно использовать при тестировании с использованием контрактных спецификаций (пред- и постусловий операций), независимо от применяемой при этом технологии. Приводится алгоритм определения достижимых комбинаций элементарных условий из кода пред- и постусловий, используемый для автоматического удаления недостижимых ситуаций из отчетов о тестовом покрытии.
Издание
Труды Института системного программирования РАН, том 14, часть 1, 2008, стр. 89-108.
ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
Для цитирования
Полный текст статьи в формате pdf
