Re: "��������������������������������

[Alexandr Sagadeev <sagalex@mail.ru>]

Artem Chuprina пишет:
> Alexandr Sagadeev -> debian-russian@lists.debian.org  @ Sun, 30 Aug 2009 18:53:19 +0400:
>
>
> А, сэр про теорию...  В теории тестировщик вообще не нужен.  В теории
> можно программу доказать.
Некоторые методики программирования, действительно, позволяют проводить верификацию, вместо тестирования.
Но такие методики мало распространены.

> _На практике_ проверка на соответствие ТЗ встречается только при
> сертификации.  Да, для тех видов ПО, которые ее проходят.  В остальных
> случаях если проверяют, то проверяют, делает ли продукт то, что надо, а
> не то, что написано в ТЗ.
Вы не в теме. Сертификация проверяет вовсе не на требования ТЗ.
Последняя Ваша фраза относится, быстрее к поделкам на коленке, чем к работе выполняемой по ТЗ.

> Кстати, сертификация обязательна не только для определенных видов ПО, но
> и для принятия любого ПО "на вооружение" в определенных ситуациях.
> Точнее не скажу, но в "не только" уверен.
Вы говорите не о сертификации, а о приёмке представителем заказчика -- военпредом. Да, если Вы в ТЗ подпишите пункт о соответствии метрологическим ГОСТам, например, то военпред заставит Вас проёти метрологический контроль по полной программе.
Это проверка на соответствие требованиям стандартов. Кстати, по заказам Министерства Обороны, применение ГОСТа обязательно.