Исходное сообщение
"Агентство 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="https://www.opennet.ru/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.../ Новость: https://www.opennet.ru/opennews/art.shtml?num=39969