ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Воскресенье
5 мая
О смысле всего сущего0xFF Средства и методы разработки Мобильная и беспроводная связь Блошиный рынокОбъявления
МикроконтроллерыPLD, FPGA, DSP AVRPICARM, RISC-VТехнологии Кибернетика, автоматика, протоколы Схемы, платы, компоненты
2126 Топик полностью
pin (23.12.2003 17:19, просмотров: 1) ответил sdy на Ух как эти баги долго проявляются, особенно когда десяток приборов ок, а тут
офф. книжка попалась - доказательство правильности программ методом мат. индукции т.е. можно попытаться *доказать*, что багов в проге нет.

а железо вообще своей жизнёй живет. видел недавно - цап от аналоговых девиц сам по себе отсчеты выдает. ему на вход - ничего, а он - выдает. баг это или не баг? :)