Одной из неотъемлемой частью процесса разработки программного обеспечения является его тестирование. На сегодняшний день не существует методов тестирования ПО, которые бы позволили на 100% выявить все дефекты и ошибки работы анализируемого продукта. Поэтому все современные методы действуют в рамках формального процесса тестирования. Такой процесс формальной проверки, или верификации, может доказать, что дефекты отсутствуют с точки зрения используемого метода. (То есть нет никакой возможности точно установить или гарантировать отсутствие дефектов в программном продукте с учётом человеческого фактора, присутствующего на всех этапах жизненного цикла ПО).
· Добавлен 24 ноя 2012 · Регион - Москва
· Переходов: 2
