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