행동 모델을 활용한 슈퍼 마리오 자율 테스트

이 글은 슈퍼 마리오 브라더스에서 활용되는 자율 테스팅 방법을 탐구하며, 행동 모델 접근법을 사용합니다. 이는 인간의 개입 없이 자율 플레이와 레벨 클리어를 완성하기 위한 진행 중인 시리즈의 후속편입니다. 핵심 초점은 입력 데이터의 비트를 뒤집어 게임의 반응을 테스트하기 위한 다양한 시나리오를 생성하는 돌연변이 기반 입력 생성기를 사용하는 것으로, 전통적인 테스팅을 통해 놓칠 수 있는 엣지 상황을 드러냅니다.

방법론의 코드 스니펫입니다:

import mario
import random

def generate_input(starting_byte, flip_probability, input_length):
    input = []
    next_byte = starting_byte
    for _ in range(input_length):
        for j in range(8):
            if random.random() < flip_probability:
                next_byte ^= (1 << j)
        input.append(next_byte)
    return input

이 접근법은 현실적인 게임 플레이를 모방하도록 설계되어, 플레이어가 '점프'를 누르는 동안 '오른쪽 이동'을 누르고 있는 것처럼 특정 키를 여러 프레임 동안 계속 누르도록 합니다. 입력 시퀀스로 표현되는 경로 모음을 유지하고 선택적으로 재생하여 게임을 통과하는 최적의 경로를 찾습니다. 간단한 적합도 함수는 가장 높은 x축 위치를 가진 경로를 선호하지만, 잠재적인 막다른 길로 인해 다양한 점수를 가진 경로 세트를 탐색하여 포괄적인 테스팅을 보장합니다.

이 기술은 게임 개발에 참여하는 개발자나 테스팅 자동화에 관심 있는 사람들에게 특히 유용하며, 복잡한 상태 공간의 효율적인 탐색에 대한 통찰력을 제공합니다.