通信ソフトウェアの生成と試験に関する研究
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
通信ソフトウェアの生成と試験に関する研究
- Author
-
佐藤, 文明, 1962-
- Author(Another name)
-
サトウ, フミアキ
- University
-
東北大学
- Types of degree
-
工学博士
- Grant ID
-
乙第5674号
- Degree year
-
1992-02-12
Note and Description
博士論文
Table of Contents
- 目次 / p1 (0003.jp2)
- 1.序論 / p1 (0005.jp2)
- 2.通信ソフトウェアの概念 / p6 (0009.jp2)
- 2.1 ネットワークアーキテクチャと通信プロトコル / p6 (0009.jp2)
- 2.2 通信プロトコルのライフサイクル / p7 (0010.jp2)
- 2.3 形式的仕様記述技法 / p10 (0011.jp2)
- 2.4 支援ツール / p23 (0018.jp2)
- 3.通信ソフトウェアの生成 / p31 (0023.jp2)
- 3.1 緒言 / p31 (0023.jp2)
- 3.2 ソフトウェアの自動生成方式 / p32 (0024.jp2)
- 3.3 0SI通信ソフトウェア開発の特徴 / p36 (0026.jp2)
- 3.4 通信ソフトウェア生成システム:AGAIN / p39 (0027.jp2)
- 3.5 AGAINの構成 / p46 (0031.jp2)
- 3.6 AGAINによるOSI通信ソフトウェアの開発 / p50 (0033.jp2)
- 3.7 結言 / p56 (0036.jp2)
- 4.通信ソフトウェア試験仕様の生成 / p57 (0037.jp2)
- 4.1 緒言 / p57 (0037.jp2)
- 4.2 通信システム試験の目的と定義 / p58 (0038.jp2)
- 4.3 関連研究と本研究の位置づけ / p61 (0039.jp2)
- 4.4 システムの状態を同定するための入力系列 / p64 (0041.jp2)
- 4.5 既存の系列生成方法 / p68 (0043.jp2)
- 4.6 単一遷移検査系列法:SW法 / p72 (0045.jp2)
- 4.7 試験系列生成手法の評価 / p82 (0050.jp2)
- 4.8 結言 / p93 (0055.jp2)
- 5.通信ソフトウェアの試験 / p94 (0057.jp2)
- 5.1 緒言 / p94 (0057.jp2)
- 5.2 試験の分類と試験系列に要求される条件 / p95 (0058.jp2)
- 5.3 ソフトウェア試験と信頼度 / p99 (0060.jp2)
- 5.4 試験系列生成ツールTENT / p102 (0061.jp2)
- 5.5 実際のプロトコルへの適用 / p112 (0066.jp2)
- 5.6 試験データの生成 / p118 (0069.jp2)
- 5.7 結言 / p124 (0072.jp2)
- 6.結論 / p125 (0074.jp2)
- 謝辞 / p130 (0078.jp2)
- 参考文献 / p131 (0080.jp2)
- 付録 / p146 (0089.jp2)