LINUX.ORG.RU

История изменений

Исправление comp00, (текущая версия) :

Нет такого программного средства, способного доказать что дефекты отсутствуют. Есть математические модели, для вычисления этих дефектов, но их применение не представляется в полной мере возможной, ввиду бесконечно большого количества внешних факторов. Разработка через тестирование (а не само тестирование), оно же TDD, предполагает определение конечного количества факторов и их обработка, что приводит, в лучшем случае, к минимизации (именно к минимизации, а не к полному устранению) всех дефектов.

Исходная версия comp00, :

Нет такого программного средства, способного доказать что дефекты отсутствуют. Есть математические модели, для вычисления этих дефектов, но ее применение не представляется в полной мере возможной, ввиду бесконечно большого количества внешних факторов. Разработка через тестирование (а не само тестирование), оно же TDD, предполагает определение конечного количества факторов и их обработка, что приводит, в лучшем случае, к минимизации (именно к минимизации, а не к полному устранению) всех дефектов.