<Doctoral Thesis>
並行処理プログラムのテスト充分性評価法に関する研究
Creator | |
---|---|
Language | |
Academic Year Conferred | |
Conferring University | |
Degree | |
Degree Type | |
Publication Type | |
Access Rights | |
JaLC DOI | |
Related URI | |
Table of Contents | 目次 まえがき 1 序論 2 並行処理プログラムの動作モデル 3 順序列テスト基準 4 定性的分析 5 テスト充分性評価支援ツールの試作 6 議論および評価 7 結論 付録A プログラム1.哲学者2人の食事問題 付録B 探針プログラムprobe.c |
Hide fulltext details.
File | FileType | Size | Views | Description |
---|---|---|---|---|
itou | 10.1 MB | 567 |
Details
Record ID | |
---|---|
Peer-Reviewed | |
Report Number | |
Number of Diploma | |
Granted Date | |
Faculty | |
Location | |
Location | |
Call Number | |
Notes | |
Created Date | 2013.07.08 |
Modified Date | 2023.12.08 |