シャフル表現によるWebシステム動作系列の記述

抄録

システムの動作テストにおいて，実行時のイベント系列が，開発者の意図する系列であるかを判定するのは重要である．イベント系列の記述には，一般に正規表現が用いられる．ところが，各々のイベントが非同期並行的に実行されるシステムでは，正規表現の記述能力では不十分であることが知られている．そこで本稿では，シャフル表現による非同期イベント系列の記述法を提案し，複数のユーザが非同期並行的にアクセスするWebシステムの記述例を与える．