RUSSIAN

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

By Кулямин В.В.

Book information

Language
russian
Format
PDF
Filesize
247 kB (253056 bytes)
Pages
\14
Library
twirpx
Time added
2017-08-07 07:01:42
Информатика и вычислительная техника;Технология пр

Description

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

Similar books