@Mercury13
Программист на «си с крестами» и не только

Как осуществляется верификация компьютерных ролевых игр?

Предположим, в игре (наподобие Fallout) есть разветвлённая система диалогов. Одни ветки диалога появляются, другие исчезают. Исчерпывающее тестирование крайне затруднено.

Подскажите мне, какие формализмы лучше использовать (как в движке, так и в проверялке), чтобы (подразумевая, что движок правильный) доказать об этой самой системе диалогов какие-нибудь утверждения. Например…

* Из любого состояния игра проходима.
* Игрок сможет сотрудничать с любой из семей Мордино, Сальваторе, Бишоп или Райт, но только с одной.

Ну и, разумеется, проверялка должна писаться за пару дней: всё-таки пишем не проверялку, а игру. А может, можно обойтись вообще без проверялки — сама модель устроена так, что видно, в какое состояние она может зайти, а в какое — нет.

Сети Петри? Даже они, кажется, сложны и их надо ограничивать чем-то — например, фишки не появляются и не исчезают.
  • Вопрос задан
  • 2720 просмотров
Пригласить эксперта
Ответы на вопрос 1
@Mercury13 Автор вопроса
Программист на «си с крестами» и не только
У меня есть одна идея. Построим несколько конечных автоматов. Для каждой реплики задаются:
— автомат (ноль или один);
— набор состояний, в которых реплика видна (одно или несколько; имеет смысл, если автомат задан);
— куда автомат переключить;
— какие-то дополнительные условия, зависящие от игры (например, уровень интеллекта или разговора);
— ссылка на функцию-спецусловие (таковых должны быть пара десятков на весь большой Fallout).
Например, для четвёрки «Мордино/Сальваторе/Бишоп/Райт» состояний будет пять: ни с кем и с какой-то из семей. Тогда достаточно увидеть, что из Мордино нельзя перейти ни в какое другое, вот тебе и доказательство: ты член банды Мордино на всю жизнь. А если какая-то линия диалога включает спецусловия или два автомата одновременно — проверялка выведет сообщение: тут будь настороже.

У некоторых автоматов может быть одно или несколько «конечных» состояний — можно наладить иерархию автоматов. Автоматы верхнего уровня могут требовать, чтобы нижестоящие были в конечном состоянии, но не наоборот.
Ответ написан
Ваш ответ на вопрос

Войдите, чтобы написать ответ

Войти через центр авторизации
Похожие вопросы
Freeway Games Москва
До 180 000 ₽
2Reallife Москва
от 110 000 до 130 000 ₽
LEVEL Москва
от 130 000 до 200 000 ₽
17 февр. 2020, в 12:29
1000 руб./за проект
17 февр. 2020, в 11:57
500 руб./в час
17 февр. 2020, в 11:57
500 руб./в час