Отправлено Bill 27 марта 2004 г. 20:40 В ответ на: Я вот не понял по поводу того, что каждая веточка алгоритма должа быть пройдена хоть один раз( Bill если можно и Вы скажите ) отправлено patton 27 марта 2004 г. 17:29

В идеале ДА. Реально так не получается. И причина, на мой взгляд, заключается не столько в самих программистах, сколько в культуре производства соответствующей фирмы.
Вообще считается, что программу должны тестировать не разработчики, а сторонние люди. Разработчики подсознательно ищут доказательства работоспособности свое программы и выбирают для этого соответствующие тесты. А те, кто занимаются тестированием, в конечном итоге оценивают надежность программы.
Если в фирме культура производства стоит на соответствующем уровне, то и для проектирования и для тестирования программ имеются соответствующие методологии, соответствующие стандарты. А это особенно важно, если от правильности работы программ зависит безопасность, а то и жизнь людей.
Конечно, не везде требования к программам бывают одинаково жесткими. Это зависит от целого ряда факторов, в том числе и экономического характера. Затраты на тестирование могут быть очень и очень велики.
Но с другой стороны, у Вас, как у разработчика, должна же быть какая-то уверенность в своих программах. Иначе, как отдавать на сторону свою программу, если Вы сами в ней не уверены. Я, например,
все равно волнуюсь, когда мой очередной прибор отдается в эксплуатацию, не пройдя более или менее тщательного испытания. Но это зависит уже не столько от меня, к сожалению. Это зависит от фирмы, но легче от этого не становится.
Короче говоря, сядете ли Вы в самолет, если будете знать, что программа управления им написана Вами? Имеется в виду программа, которая позволит самолету хотя бы взлететь. А что будет дальше зависит целиком от Вашей программы.