並行ソフトウェアのためのプレース／トランジションネットとソフトウェアメトリクスに基づいたテスト分析