Критерии тестового покрытия, основанные на структуре контрактных спецификаций

М.: Институт Системного Программирования РАН, 2008. – 14 с.В данной работе рассказывается о критериях тестового покрытия, применяемых в технологии UniTESK и основанных на структуре контрактных спецификаций функциональных требований. Эти критерии можно использовать при тестировании с использованием контрактных спецификаций (пред- и постусловий операций), независимо от применяемой при этом технологии. Приводится алгоритм определения достижимых комбинаций элементарных условий из кода пред- и постусловий, используемый для автоматического удаления недостижимых ситуаций из отчетов о тестовом покрытии.Содержание
Критерии покрытия в UniTESK.
Структура формальных спецификаций UniTESK.
Критерии тестового покрытия на основе структуры пред- и постусловий.
Пример использования критериев покрытия.
Недостижимые ситуации.
Определение достижимых комбинаций элементарных условий.