ΔX/ΔT
Невероятной новостью поделился 3dnews: создан безошибочный код из 7500 строк! Такого не может быть, потому что такого просто не может быть!
«Исследователи из Университета Нового Южного Уэльса (The University of New South Wales, UNSW) и Национального исследовательского института Австралии в области информации и коммуникационных технологий (National ICT Australia, NICTA) добились прорыва в программном обеспечении, который существенно увеличит безопасность и надёжность кода и имеет потенциал для коммерческого успеха. По словам профессора компьютерных наук и директор исследовательских программ в NICTA Гернота Хайзера (Gernot Heiser), впервые команда смогла доказать с математической точностью, что ядро операционной системы – код в "сердце" любого компьютера – на 100% свободен от ошибок ("багов") и следовательно устойчив к сбоям и отказам.»
«По приблизительной оценке качественно разработанное программное обеспечение имеет около 10 ошибок на тысячу строк кода, а очень качественное – от 1 до 3, - поясняет Хайзер. Это означает, что в системах множество недочётов. Мы же показали возможность добиться намного меньшего, предельного уровня, причём наиболее подверженная риску часть имеет доказанную отказоустойчивость. Я думаю, не будет преувеличением сказать, что это открывает совершенно новый мир для создания систем с высокими показателями надёжности и безопасности»
«– Верификация окончательно подтвердила возможность существования кода без ошибок, и в будущем ничто менее передовое не должно признаваться приемлемым в особо важных приложениях»
Я не верю!
«Исследователи из Университета Нового Южного Уэльса (The University of New South Wales, UNSW) и Национального исследовательского института Австралии в области информации и коммуникационных технологий (National ICT Australia, NICTA) добились прорыва в программном обеспечении, который существенно увеличит безопасность и надёжность кода и имеет потенциал для коммерческого успеха. По словам профессора компьютерных наук и директор исследовательских программ в NICTA Гернота Хайзера (Gernot Heiser), впервые команда смогла доказать с математической точностью, что ядро операционной системы – код в "сердце" любого компьютера – на 100% свободен от ошибок ("багов") и следовательно устойчив к сбоям и отказам.»
«По приблизительной оценке качественно разработанное программное обеспечение имеет около 10 ошибок на тысячу строк кода, а очень качественное – от 1 до 3, - поясняет Хайзер. Это означает, что в системах множество недочётов. Мы же показали возможность добиться намного меньшего, предельного уровня, причём наиболее подверженная риску часть имеет доказанную отказоустойчивость. Я думаю, не будет преувеличением сказать, что это открывает совершенно новый мир для создания систем с высокими показателями надёжности и безопасности»
«– Верификация окончательно подтвердила возможность существования кода без ошибок, и в будущем ничто менее передовое не должно признаваться приемлемым в особо важных приложениях»
Я не верю!
-
-
29.09.2009 в 13:05аналогично
-
-
29.09.2009 в 13:11Это ж мало доказать, это ж ещё требования надо максимально чётко описать!
-
-
29.09.2009 в 13:18а я просто не верю как и всему тому, где есть человеческий фактор
-
-
29.09.2009 в 15:24-
-
29.09.2009 в 15:35сколько строк кода в этом ядре?
777? 333?
-
-
29.09.2009 в 16:14-
-
29.09.2009 в 22:17В общем, они доказали, что без ошибок писать можно. В идеале. Но в материальной реальности приходится делать поправки ) В идеальной ситуации я и могу при долгой практике доказать теорему Ферма.
-
-
30.09.2009 в 11:15имеется ввиду что строк там вообще нет
-
-
30.09.2009 в 13:31