通信システムの適合性試験に関する研究

この論文をさがす

著者

    • 岡崎, 直宣 オカザキ, ナオノブ

書誌事項

タイトル

通信システムの適合性試験に関する研究

著者名

岡崎, 直宣

著者別名

オカザキ, ナオノブ

学位授与大学

東北大学

取得学位

工学博士

学位授与番号

甲第4603号

学位授与年月日

1992-03-27

注記・抄録

博士論文

Tohoku University

博士

工学

目次

  1. 目次 / p1 (0005.jp2)
  2. 第1章 序論 / p1 (0007.jp2)
  3. 1.1 背景と目的 / p2 (0008.jp2)
  4. 1.2 論文の構成 / p8 (0014.jp2)
  5. 第2章 通信システムにおける試験 / p9 (0015.jp2)
  6. 2.1 はじめに / p10 (0016.jp2)
  7. 2.2 適合性試験と相互接続試験 / p11 (0017.jp2)
  8. 2.3 試験方法論 / p12 (0018.jp2)
  9. 2.4 通信システムのモデルと試験系列生成法 / p21 (0027.jp2)
  10. 2.5 FSMモデルに関する試験系列生成法 / p24 (0030.jp2)
  11. 2.6 イベントの時間順序に基づくモデルに関する試験系列生成法 / p27 (0033.jp2)
  12. 2.7 まとめ / p32 (0038.jp2)
  13. 第3章 通信システムにおける相互接続試験系列生成法 / p33 (0039.jp2)
  14. 3.1 はじめに / p34 (0040.jp2)
  15. 3.2 システム状態グラフの導入 / p35 (0041.jp2)
  16. 3.3 システム状態グラフの拡張 / p42 (0048.jp2)
  17. 3.4 相互接続試験系列の導出 / p44 (0050.jp2)
  18. 3.5 適用例 / p53 (0059.jp2)
  19. 3.6 まとめ / p64 (0070.jp2)
  20. 第4章 LOTOS仕様からの試験系列生成法 / p66 (0072.jp2)
  21. 4.1 はじめに / p67 (0073.jp2)
  22. 4.2 LOTOSとその形式的意味 / p68 (0074.jp2)
  23. 4.3 変数付LTS / p80 (0086.jp2)
  24. 4.4 LOTOS仕様からの試験系列の生成法 / p100 (0106.jp2)
  25. 4.5 適用例 / p112 (0118.jp2)
  26. 4.6 LOTOS仕様からの試験系列生成支援システムの構築 / p117 (0123.jp2)
  27. 4.7 まとめ / p127 (0133.jp2)
  28. 第5章 結論 / p130 (0136.jp2)
  29. 謝辞 / p133 (0139.jp2)
  30. 参考文献 / p135 (0141.jp2)
  31. 付録 / p153 (0159.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000084991
  • NII著者ID(NRID)
    • 8000000085204
  • DOI(NDL)
  • 本文言語コード
    • jpn
  • NDL書誌ID
    • 000000249305
  • データ提供元
    • 機関リポジトリ
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ