Выдержка из книги
Майерс Г.N.
Надёжность программного обеспечения
В поисках недостатков и ошибок в структуре программы можно последовательно применить три метода: метод л плюс-минус один, статическую проверку и сквозной контроль. Метод п плюс-минус один - это официальная проверка проектной документации разработчиками этапа п - 1 ( авторами архитектуры системы и внешних спецификаций), которые ищут ошибки перевода, и разработчиками этапа п 1 ( создателями внешнего проекта модуля), которые проверяют, насколько осуществим и понятен проект, согласуется ли он с языком программирования и операционной системой, которые предполагается использовать.
