<博士論文>
並行処理プログラムのテスト充分性評価法に関する研究
作成者 | |
---|---|
本文言語 | |
学位授与年度 | |
学位授与大学 | |
学位 | |
学位種別 | |
出版タイプ | |
アクセス権 | |
JaLC DOI | |
関連URI | |
目次 | 目次 まえがき 1 序論 2 並行処理プログラムの動作モデル 3 順序列テスト基準 4 定性的分析 5 テスト充分性評価支援ツールの試作 6 議論および評価 7 結論 付録A プログラム1.哲学者2人の食事問題 付録B 探針プログラムprobe.c |
詳細
レコードID | |
---|---|
査読有無 | |
報告番号 | |
学位記番号 | |
授与日(学位/助成/特許) | |
部局 | |
所蔵場所 | |
所蔵場所 | |
所在記号 | |
注記 | |
登録日 | 2013.07.08 |
更新日 | 2023.12.08 |