Приветствуем, геймер! Ты можешь или
16+
73

Геймер Chill 15

33

Создан безошибочный код из 7500 строк

Создан безошибочный код из 7500 строк
Обо всем - Создан безошибочный код из 7500 строкСоздан безошибочный код из 7500 строк

Более пяти лет понадобилось австралийским исследователям для проверки ядра операционной системы, код которого содержит 7500 строк. При этом с математической точностью им удалось доказать, что код абсолютно не содержит ошибок.

"По приблизительной оценке качественно разработанное программное обеспечение имеет около 10 ошибок на тысячу строк кода, а очень качественное – от 1 до 3, - поясняет Хайзер. Это означает, что в системах множество недочётов. Мы же показали возможность добиться намного меньшего, предельного уровня, причём наиболее подверженная риску часть имеет доказанную отказоустойчивость. Я думаю, не будет преувеличением сказать, что это открывает совершенно новый мир для создания систем с высокими показателями надёжности и безопасности"

Настолько стабильное программное обеспечение очень важно в медицинской, военной, навигационной и других сферах.

"Команда NICTA добилась переломного результата, который изменит подход к критическому с точки зрения безопасности ПО, - продолжает профессор. – Верификация окончательно подтвердила возможность существования кода без ошибок, и в будущем ничто менее передовое не должно признаваться приемлемым в особо важных приложениях".

Источник

Источник

33
Еще в блоге
Интересное на Gamer.ru

12 комментариев к «Создан безошибочный код из 7500 строк»

    Загружается
Чат