報文
Software Testing by Petri Net
2004 年 34 巻 4 号 p. 398-406
詳細
2004 年 34 巻 4 号 p. 398-406
高品質のソフトウェアを出荷するためにはソフトウェアテストは必要不可欠であり,ほとんどすべてのソフトウェアがその作業が必須となっている,しかし,ソフトウェアテストの方法論は往々にして単体で動くプロセス,もしくは静的なソフトウェアに対しての研究が主となっており,並列コンビュータシステム,分散コンピューティング,並行処理ソフトウェアに関しての研究は非常に少ない.そのため,本研究ではペトリネットを用いた並行処理ソフトウェアに対するテスティングの研究を行った.さらに,ペトリネットは一般的な複雑な構成をしているため,到達木を用いることによりテスティングを容易にする手法を提案した.
