ビヘイビアモデルを用いたスーパーマリオの自律テスト

この記事では、スーパーマリオブラザーズで使用される自律テスト手法について、行動モデルアプローチを採用して掘り下げています。これは、人間の介入なしに自律的なプレイとレベルクリアを完璧にすることを目指す継続中のシリーズの続編です。主な焦点は、突然変異ベースの入力ジェネレーターを使用することにあり、入力データのビットを反転させて多様なシナリオを作成し、ゲームの応答をテストすることで、従来のテストでは見過ごされがちなエッジケースを明らかにします。

以下は手法からのコードスニペットです：

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軸位置が最も高い経路を優先しますが、行き止まりの可能性があるため、さまざまなスコアを持つ多様な経路のセットを探索して包括的なテストを確保します。

この手法は、ゲーム開発に関わる開発者やテスト自動化に興味のある人々にとって特に有用であり、複雑な状態空間の効率的な探索に関する洞察を提供します。