情報処理学会 第77回全国大会講演要旨

ソフトウェアネガティブテストは，テスト工程においてソフトウェアの想定される特定の故障を発見するための手法である．特に広大な状態空間をもつ並行ソフトウェアでは全体を網羅的にテストすることが困難であるため，リスクのある故障に着目したネガティブテストを行うことは有効なテスト戦術のひとつと考えられる．そこで本稿では，並行ソフトウェアの期待される振舞いを形式的に表現するのに適したプレース／トランジションネットに基づいた，新たなネガティブテスト法のフレームワークについて考察する．