1N-8
同期実行モデルを用いた並行状態グラフ上のNスイッチテストについて
○高島和紀，古川善吾，高木智彦（香川大）
ソフトウェアの並行動作に関するテストにおいては従来から並行状態グラフが用いられてきた．
並行状態グラフの節点は，複数のオブジェクトの状態の組合せであり，1つの枝で変化するオブジェ
クトの状態は1つだけである．本研究では，1つの枝で複数のオブジェクトの状態変化を記述できる
ように拡張した同期実行モデルを提案した．これによって，バグの潜んでいる可能性の高い領域と
そうでない領域に分け，後者を素早くチェックすることによる効果的なテストが期待できる．本稿
では，テスト戦術とNスイッチ基準を新たに導入し，その有効性を検討する．
footer 情報処理学会 セキュリティ プライバシーポリシー 倫理綱領 著作権について