Европейские ученые избавят ПО от ошибок

image

Теги: программирование

Группа европейских ученых начала работу над математическим аппаратом, который позволит навсегда избавить программы от ошибок. Новая разработка должна произвести настоящую революцию в индустрии программирования.

Программирование считается инженерной дисциплиной, но уровень надежности конечного продукта очень отличается от результатов работы архитектора или других инженеров. Группа европейских ученых начала работу над математическим аппаратом, который позволит навсегда избавить программы от ошибок. Новая разработка на основе так называемой «теории типов», специальной области теоретической математики, должна произвести настоящую революцию в индустрии программирования.

Работа по совершенствованию программирования, как инженерной дисциплины, ведется в рамках проекта TYPES («типы»), одним из координаторов которого является профессор Бенгт Нордстрем (Bengt Nordström) из университета Чалмерса (Chalmers University) в Гетеборге, Швеция. В противовес традиционному подходу, когда качество программы проверяется в ходе длительных всесторонних тестов, ученые из проекта TYPES создают такую методику разработки, которая с самого начала гарантирует, что будущая программа будет делать то, что должна.

В проекте TYPES задействованы специалисты из 15 университетов и исследовательских институтов Европы, а еще 19 академических и промышленных организаций участвуют в программе в качестве ассоциированных участников.

Новая методика описывает задачу, которую должна выполнять программа, в виде математической теоремы. В рамках проекта TYPES также создаются открытые программные продукты, которые способны выполнять роль «проверяющих редакторов» (proof editors). Согласно теории типов, эти «проверяющие редакторы» являются гарантией правильности алгоритмов.

Может ли абстрактная математическая дисциплина обеспечить высокое качество программ на практике? Европейская математическая школа является одной из сильнейших в мире, поэтому сотрудничество теоретиков и практиков, как убеждены участники проекта TYPES, должно вывести программирование на новый уровень.

Надо заметить, все мы уже привыкли к тому, что загруженная программа не всегда делает то, что заявлено в ее описании. Если бракованную бытовую технику или автомобили со скрытыми дефектами покупатель привычно возвращает продавцу, то программные продукты окружены огромным числом «отказов от ответственности» и оговорок в лицензионных соглашениях. Новая работа европейских ученых в области теории типов и ее приложений, возможно, выведет программирование на тот же высокий уровень, который уже достигнут в других инженерных дисциплинах – в проектировании мостов и зданий, в технологиях производства различных товаров и.т.д.


или введите имя

CAPTCHA
Страницы: 1  2  3  4  
1
17-07-2008 12:33:44
Вообще то проблема "программ работающих не так как надо" (в большинстве случаев) в том, что люди сами не знают что для них надо написать....
0 |
1
17-07-2008 12:47:16
+1 )))
0 |
1
17-07-2008 19:30:34
+много программеры не понимают составителей ТЗ, заказчиков, конечных пользователей и vice versa
0 |
1
17-07-2008 12:36:51
Это британские чтоли?
0 |
1
17-07-2008 13:16:18
Извечный вопрос. Что курят британские ученые?.. Хотя, если от этого будет практический толк, то выкуренная трава будет потрачена не зря!
0 |
1
17-07-2008 12:43:05
Можно ли оценить безопасность/надежность механизма не имея доступа к его внутренним компонентам? А программу, не имея доступа к исходным кодам?
0 |
1
17-07-2008 12:45:55
Они сделаю компилятор, который сам будет писать Самый Правильный и Самый Надежный Код, а все программеры пойдут работать грузчиками.
0 |
1
17-07-2008 19:31:24
А код будут писать специализированные человекоподобные роботы.
0 |
1
18-07-2008 08:29:03
> Они сделаю компилятор А где гарантия, что этот компилятор не будет содержать ошибок, приводящих к появлению ошибок в откомпилированной программе?
0 |
1
17-07-2008 13:10:00
<Европейская математическая школа является одной из сильнейших в мире> ога, гораздо сильнее африканской, и значительно превоходит атарктическую
0 |
1
17-07-2008 16:57:55
нее, самая сильная школа - спортивна школа в Бердянске
0 |
Страницы: 1  2  3  4