通信ソフトウェアの生成と試験に関する研究

この論文をさがす

著者

    • 佐藤, 文明, 1962- サトウ, フミアキ

書誌事項

タイトル

通信ソフトウェアの生成と試験に関する研究

著者名

佐藤, 文明, 1962-

著者別名

サトウ, フミアキ

学位授与大学

東北大学

取得学位

工学博士

学位授与番号

乙第5674号

学位授与年月日

1992-02-12

注記・抄録

博士論文

目次

  1. 目次 / p1 (0003.jp2)
  2. 1.序論 / p1 (0005.jp2)
  3. 2.通信ソフトウェアの概念 / p6 (0009.jp2)
  4. 2.1 ネットワークアーキテクチャと通信プロトコル / p6 (0009.jp2)
  5. 2.2 通信プロトコルのライフサイクル / p7 (0010.jp2)
  6. 2.3 形式的仕様記述技法 / p10 (0011.jp2)
  7. 2.4 支援ツール / p23 (0018.jp2)
  8. 3.通信ソフトウェアの生成 / p31 (0023.jp2)
  9. 3.1 緒言 / p31 (0023.jp2)
  10. 3.2 ソフトウェアの自動生成方式 / p32 (0024.jp2)
  11. 3.3 0SI通信ソフトウェア開発の特徴 / p36 (0026.jp2)
  12. 3.4 通信ソフトウェア生成システム:AGAIN / p39 (0027.jp2)
  13. 3.5 AGAINの構成 / p46 (0031.jp2)
  14. 3.6 AGAINによるOSI通信ソフトウェアの開発 / p50 (0033.jp2)
  15. 3.7 結言 / p56 (0036.jp2)
  16. 4.通信ソフトウェア試験仕様の生成 / p57 (0037.jp2)
  17. 4.1 緒言 / p57 (0037.jp2)
  18. 4.2 通信システム試験の目的と定義 / p58 (0038.jp2)
  19. 4.3 関連研究と本研究の位置づけ / p61 (0039.jp2)
  20. 4.4 システムの状態を同定するための入力系列 / p64 (0041.jp2)
  21. 4.5 既存の系列生成方法 / p68 (0043.jp2)
  22. 4.6 単一遷移検査系列法:SW法 / p72 (0045.jp2)
  23. 4.7 試験系列生成手法の評価 / p82 (0050.jp2)
  24. 4.8 結言 / p93 (0055.jp2)
  25. 5.通信ソフトウェアの試験 / p94 (0057.jp2)
  26. 5.1 緒言 / p94 (0057.jp2)
  27. 5.2 試験の分類と試験系列に要求される条件 / p95 (0058.jp2)
  28. 5.3 ソフトウェア試験と信頼度 / p99 (0060.jp2)
  29. 5.4 試験系列生成ツールTENT / p102 (0061.jp2)
  30. 5.5 実際のプロトコルへの適用 / p112 (0066.jp2)
  31. 5.6 試験データの生成 / p118 (0069.jp2)
  32. 5.7 結言 / p124 (0072.jp2)
  33. 6.結論 / p125 (0074.jp2)
  34. 謝辞 / p130 (0078.jp2)
  35. 参考文献 / p131 (0080.jp2)
  36. 付録 / p146 (0089.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000085083
  • NII著者ID(NRID)
    • 8000000972875
  • DOI(NDL)
  • NDL書誌ID
    • 000000249397
  • データ提供元
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ