URL: https://www.opennet.me/cgi-bin/openforum/vsluhboard.cgi
Форум: vsluhforumID3
Нить номер: 96253
[ Назад ]

Исходное сообщение
"Агентство DARPA экспериментирует с созданием игр для верифик..."

Отправлено opennews , 10-Июн-14 11:47 
Агентство по перспективным оборонным научно-исследовательским разработкам США (DARPA) проводит (http://defensetech.org/2014/06/04/darpa-builds-computer-game.../) эксперименты с созданием online-игр, позволяющих привлечь обычных пользователей для верификации надёжности и безопасности открытого ПО. Экспертов для проведения аудита качестве кода нехватает, поэтому DARPA рассматривает варианты привлечения к проверке кода обычных пользователей, косвенно используя игровой процесс для организации верификации.


В настоящее время уже подготовлено (http://www.verigames.com/) несколько игр, которые мало отличаются по игровому процессу от типичных логических игр и головоломок. При этом, проходя множество игровых уровней пользователи невольно участвуют в процессе формальной верификации, подтверждающей надёжность работы тех или иных участков кода, взаимодействие с которыми вовлечено в логику игрового процесса.

<center><a href="http://images.defensetech.org/wp-content/uploads/2014/06/Cir... src="http://www.opennet.me/opennews/pics_base/0_1402385289.jpg" style="border-style: solid; border-color: #e9ead6; border-width: 15px;max-width:100%;" title="" border=0></a></center>


Игровые приложения транслируют действия пользователя в программные аннотации и генерируют математические доказательства, позволяющие убедиться в отсутствии различных классов дефектов в приложениях, написанных на языках Си и Java. В настоящее время программа формальной верификации (http://www.darpa.mil/Our_Work/I2O/Programs/Crowd_Sourced_For...) нацелена на подтверждение безопасности серии  открытых проектов, используемых в военных и государственных учреждениях, а также в критичных к надёжности областях коммерческого сектора.


URL: http://defensetech.org/2014/06/04/darpa-builds-computer-game.../
Новость: http://www.opennet.me/opennews/art.shtml?num=39969


Содержание

Сообщения в этом обсуждении
"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Рудвульф , 10-Июн-14 11:47 
Печально видеть что у них этим занимаются, а у нас даже линукс в госструктурах освоить нормально не могут.

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Аноним , 10-Июн-14 12:49 
> а у нас даже линукс в госструктурах освоить нормально не могут

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


"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено eganru , 10-Июн-14 13:42 
while(!Сталин){
Госструктуры_РФ = откаты&омлетчицы;
}

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено жабабыдлокодер , 10-Июн-14 14:21 
Будто бы при Джугашвили взяток не было... Щас!

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено анонимут , 10-Июн-14 14:50 
Конечно была. Теневая экономика укрепилась в 1930-40 года. И репрессии не помогли. Дело в самой системе.

В том же Китае за это расстреливают, но на место одного ресстрелянного приходят новые. Кто сможет выводит деньги в офшоры.


"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Аноним , 10-Июн-14 15:01 
может предъявите пруфы, господин Экономист?

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено chinarulezzz , 11-Июн-14 03:07 
не, ну сам подумай: если расстреливают нескольких, и такое происходит довольно долго, то взяточники новые появляются! Ну, или банально всех, или почти всех, или единиц подставляют. И такое практикуется, возможно в этом огороженном коммунистическом китае.

P.S. А так, я к тому что без разницы скольких в процентах подставляют - новые то появляются)) А если предположить что всех до единого подставляют - это возможно, да, китай же все таки.


"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Антоним , 10-Июн-14 15:27 
Сталин и придумал как обойти «ленинский минимум» — он просто брал деньги из бюджета и платил в конвертах своим.

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Аноним , 18-Июн-14 00:08 
А ты был "своим" или конверты у изголовья держал?

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено онаним , 10-Июн-14 13:34 
Я думаю, что у нас тоже занимаются. В ИТ, как нигде, кадры решают. Привлечение общественности не обязательно гарантирует невообразимые результаты. Хотя, верно, есть чему поучиться. У нас почему-то принято тянуть с запада всякие гадости и тыкать в извращенцев, а ведь есть много примеров, достойных.

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Buy , 10-Июн-14 22:58 
Для этого надо в стране вначале сделать жизнь привлекательной для специалистов высокого класса. А не принимать пачками запретительные законы и пытаться ограничить свободу интернет пользователей в том числе.

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Michael Shigorin , 11-Июн-14 12:04 
> Для этого надо в стране вначале сделать жизнь привлекательной для специалистов высокого
> класса. А не принимать пачками запретительные законы и пытаться ограничить свободу
> интернет пользователей в том числе.

А, так вот чего про internet fast lane столько вою стоит, а один знакомый квалифицированный сваливший постит в плюсик pirozhki и вздыхает про ломающийся nissan...

Некоторые предпочитают жить своим умом, а не чужой картинкой, впрочем.


"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено rob pike , 10-Июн-14 14:04 
>The website design was overseen by the Centers for Medicare and Medicaid Services and built by a number of federal contractors, most prominently CGI Group, which received a contract valued at $292 million through 2013. Estimates that the overall cost for building the website had reached over $500 million by October 2013
>stress tests done by contractors 1 day before the launch date revealed that the site became too slow with only 1,100 simultaneous users,

http://en.wikipedia.org/wiki/HealthCare.gov


"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Аноним , 11-Июн-14 01:10 
Ты еще не видел наши сайты, где зачастую встречается что-нибудь попроще. Tипа directory index-а + дир с бэкапами баз. С данными по всей клиентуре, etc. Так что медленный сайт - оно конечно да, но у нас и побрутальнее бывает.

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Аноним , 10-Июн-14 14:38 
А какая вам разница между "ними" и "нами"? Если занимаются, то не важно где, а кто не может (а это полпланеты включая "ваших", эскимосов, негров в африке и ещё много необразованных жителей других стран) - так они этим прогрессу никак не мешают.

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено rob pike , 10-Июн-14 14:51 
Тест Тьюринга не пройден.
Над алгоритмом нужно еще поработать.

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Crazy Alex , 10-Июн-14 19:19 
Совершенно верно. Но у некоторых местечковое мышление затмевает все доводы рассудка. Никак не поймут, что шарик - он маленький, на нём сотрудничать надо, а не противников искать.

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено odity , 10-Июн-14 16:24 
В гос.структуре работаю. Тут заказы,заказы,заказы.....Даже если и скажут перейти на линукт, то разработчиков не хватит чтоб все ПО переписать. у нас только 50-70 ПО стоит и не маленькие.

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Иван , 11-Июн-14 14:21 
А зачем все сразу? Можно и потихоньку. Другое дело, что при таких окладах проще делать адовы костыли и жить на одной ошибке по 15 лет (как в известном анекдоте).

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено 123 , 10-Июн-14 21:42 
> Печально видеть что у них этим занимаются, а у нас даже линукс  в госструктурах освоить нормально не могут.

Да не переживайте вы так, у нас попильшиков госбабла тоже полным-полно. Да и заодно расскажите нам про триумфальное шествие линуха в их госструктурах.



"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено tessel , 11-Июн-14 00:09 
Дружок, не могут освоить только в твоих розовых либерастических фантазиях. У всех нормальных людей уже стоит Linux Astra.

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Rodegast , 10-Июн-14 13:33 
Печально видеть что этим занимается DARPA.

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено клоун , 10-Июн-14 15:41 
> Печально видеть что этим занимается DARPA.

Вы ожидали Альт или РосНано?


"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Crazy Alex , 10-Июн-14 19:20 
Что печального? Они двигали и двигают много полезных проектов. Радовались бы, что на "оборонные" деньги двигают прогресс, а не пушечное мясо муштруют.

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Rodegast , 10-Июн-14 20:15 
Армия пиндосии пытается привлечь кучу народа для работы неизвестно над чем. Чего же тут радостного?

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Аноним , 10-Июн-14 22:52 
Радостно что не наша армия или гбня.

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Crazy Alex , 10-Июн-14 19:21 
Что печального? Они двигали и двигают много полезных проектов. Радовались бы, что на "оборонные" деньги двигают прогресс, а не пушечное мясо муштруют.

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Michael Shigorin , 10-Июн-14 21:46 
> Что печального? Они двигали и двигают много полезных проектов. Радовались бы, что
> на "оборонные" деньги двигают прогресс, а не пушечное мясо муштруют.

А на пушечное мясо сейчас мода людей вроде Вас пускать после предварительной промывки мозгов.  Только не надо "это про дураков, а я умный" -- почти все знакомые киевские айтишники, включая некоторых умнее нас с Вами, полезли на баррикады "за идею" без проверки происхождения и целеполагания этой "идеи", аки бибизяны, либо сдались под хоровое "белое -- это чёрное".

TFM:
http://www.scribd.com/doc/53686930/TC-18-01-Special-Forces-U...
http://11517.kamradu.ru/wp-content/uploads/2013/12/1801RU.pdf (неофициальный, не сверял)


"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Тот_самый_айтишник , 13-Июн-14 15:49 
> ...Только не надо "это про дураков, а я
> умный" -- почти все знакомые киевские айтишники...

Так может умные все же они, а дурак кто-то другой, а? Из-за вашей оголтелой политоты на техническом ресурсе и постоянных вытираний комментариев несогласных стало решительно невозможно его читать. Пора уже переименовывать в "Личный сайт Михаила Шигорина"



"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено 123 , 10-Июн-14 21:43 
> Печально видеть что этим занимается DARPA.

Чего плохого в попиле денег аметиканского налогоплательщика? Или вы нездешний?


"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено rob pike , 10-Июн-14 13:44 
>А ноги, футбол - двадцать два бугая один мяч перекатывают! А вы выдайте каждому ну это... каток! Так они, 22 бугая, 22 бугая, да на полтора часа.... да на полтора часа и на 22 бугая... два пишем, семь на ум пошло........... они все поле заасфальтируют!

https://www.youtube.com/watch?v=WVMolYlx-h8


"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено rob pike , 10-Июн-14 14:16 
>An even more exciting possibility, though, is that we could have a system that allows non-experts to take a stab at proving essentially any mathematical theorem simply by recognizing patterns and applying a few relatively simple rules

http://intelligence.org/2014/05/29/aaron-tomb/


"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено linux must _RIP__ , 10-Июн-14 13:57 
И так и так пытаются заставить работать на военные силы США - не хотят.. так может хоть играми?

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Аноним , 10-Июн-14 15:05 
мда, тут и сказать нечего
Людей используют как хотят.

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Иван , 11-Июн-14 14:24 
> мда, тут и сказать нечего
> Людей используют как хотят.

А вы не используйтесь :)
Кто мешает включить разум и делать что-то свое и за плату? А не играться в чужое. Имхо.


"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Дмитрий , 10-Июн-14 15:14 
Замысел похож на проект FoldIt. Только там белки расшифровывают.

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Аноним , 10-Июн-14 16:04 
Зачем агентству DARPA для перебора вариантов возможных комбинаций прохождения кода, задействовать самый медленный интерфейс монитор-пользователь-клавиатура(мышь), вместо того, чтобы задействовать мощности компьютера своих центров для этой же операции? Мощности серверов, для создания игровых серверов, всё равно будут задействованы. Было бы намного практичнее и быстрее.
Может тут другие цели преследуются?
Мне кажется более вероятным завлечение новых пользователей. А уж для каких целей, известно только им и богу.

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Anonymus , 10-Июн-14 17:47 
да чтоб меньше народу работало, чего тут непонятно
а то как все станут умными да работящими, бомбу придумают ядрёную ну или ещё чего полезного нам и вредного им

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Аноним , 10-Июн-14 19:23 
хааароший вопрос. только немного запоздалый.

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено unscrubber , 10-Июн-14 18:19 
прям так и напрашиваются аналогии с х\ф Mercury Rising

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Аноним , 10-Июн-14 18:37 
Вот так и окажется, что играешь в игрушки, а на самом деле управляешь беспилотником или "аватаром". И стреляешь на самом деле не в злых террористов в "контрстрайке", а в мирных жителей в Сирии.

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено asavah , 10-Июн-14 21:05 
Игра Эндера навеяла?

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Иван , 11-Июн-14 14:25 
> Вот так и окажется, что играешь в игрушки, а на самом деле
> управляешь беспилотником или "аватаром". И стреляешь на самом деле не в
> злых террористов в "контрстрайке", а в мирных жителей в Сирии.

Так не играй. Ваш К.О.


"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено lucentcode , 10-Июн-14 23:29 
Правильной дорогой идут товарищи. Чем безопасней будет код широко используемых приложений, тем лучше.

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Аноним , 12-Июн-14 12:58 
Где гарантия, что это будет код широко используемых приложений?

"Агентство DARPA экспериментирует с созданием игр для верифик..."
Отправлено Аноним , 13-Июн-14 17:34 
Дарю DARPA развитие идеи: вывешиваешь интерфейс к боевому роботу как игру, даешь двуногому некую миссию. А дальше двуногий будет из кожи вон лезть чтобы миссию выполнить. Сообщать двуногому о том что все действия маппятся в действия робота в реальном мире а обстановка берется с разведовательных датчиков - совершенно не обязательно...

"А может и можно сообщать..."
Отправлено гтгыув_гыук_тфьу , 03-Авг-14 11:02 
если игра на уровне анонимности... а может и не анонимности... типа как 80 неусеров... или там статус в клубе по интересам... а если еще и чуть доплачивать... из черепов светильники давно ли были... пример государства 404 показывает... что можно проще... кстати их же и можно... относительно содержимого подсознания большей части цивилизации у меня нет никаких иллюзий. голливудско-обезьянье оно. притягательность стрелялок основана именно на том что подсознание считает все это настоящим. а раз так - зачем и кого стесняться? если еще и в тренде политики. освободи в себе... и тогда хотя бы увидишь