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