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