И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин, А.К.Петренко.
Подход UniTesK к разработке тестов.
"Программирование",-2003, №6, стр.25-43.
19 стр. |
| pdf, pdf_1 |
| АННОТАЦИЯ: |
| |
Статья излагает основные принципы технологии разработки тестов UniTesK, основанной на использовании формальных моделей целевого программного обеспечения (ПО). Данная технология была разработана в группе спецификации, верификации и тестирования [1] ИСП РАН на основе многолетнего опыта проведения верификации и тестирования сложного промышленного ПО. |
|
|
