• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

A Study on Communication Software and Automatic Production of its Test Sueite

Research Project

Project/Area Number 03650288
Research Category

Grant-in-Aid for General Scientific Research (C)

Allocation TypeSingle-year Grants
Research Field 情報工学
Research InstitutionFaculty of Engineering,Tohoku University

Principal Investigator

SHIRATORI Norio  Tohoku University Dept.of Information Eng.,Professor, 工学部, 文部教官教授 (60111316)

Project Period (FY) 1991 – 1992
Project Status Completed (Fiscal Year 1992)
Budget Amount *help
¥2,000,000 (Direct Cost: ¥2,000,000)
Fiscal Year 1992: ¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 1991: ¥1,000,000 (Direct Cost: ¥1,000,000)
KeywordsProtocol / Communication software / Conformance testing / Expert system / Human interface / Test suiete / 支援システム / ユ-ザフレンドリィ / ヒュ-マンインタフェ-ス
Research Abstract

In this project,we have developed a new user-friendly software environment for communication software and its test sueites,using knowledge-based design method. By applying this software environment to real world protocols,we have evaluated it and showed its effectiveness.we think our results lead to a solution of software crisis.

Report

(3 results)
  • 1992 Annual Research Report   Final Research Report Summary
  • 1991 Annual Research Report
  • Research Products

    (21 results)

All Other

All Publications (21 results)

  • [Publications] N.SHIRATORI,Y.Zhang,K.TAKAHASHI,S.NOGUCHI: "A User-Friendliy Softaware Environment for Protocol Synthesis" Trans.IEEE. 40-4. 477-486 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] N.SHIRATORI,H.YAMAMOTO,K.TAKAHASHI: "A User-Friendly Software Environmenet for Designing and Verifying Communication Protocols" Distributed Environments. 187-208 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] N.SHIRATORI,K.TAKAHASHI,K.SUGAWARA,T.KINOSHITA: "Using Artificial Intelligence in Communication Software Design" IEEE Software Magazine. Junuary. 38-46 (1992)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] N.SHIRATORI,Eun-Seok Lee: "A User-Friendly Specification Environment for FDT and its Application to LOTOS" Proc.of IPCCC. April. 667-673 (1992)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] N.SHIRATORI: "コミュニケーションと人口知能" (情)学会・シンポジウム「B-ISDN時代におけるマルチメディア通信と分散処理」. 1-10 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] N.Shiratori,Y.Zhang,K.Takahashi and S.Noguchi: "A User Friendly Software Environment for Protocol Synthesis" Trans.IEEE. Vol.40-No.4. 477-486 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] N.Shiratori,H.Yamamoto,K.Takahashi: "A User-Friendly Software Environment for Designing and Verifying Communication Protocols" Distributed Environments,Springer-Verlag. 187-208 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] N.Shiratori,K.Takahashi,K.Sugawara and T.Kinoshita: "Using Artificial Intelligence in Communication Software Design" IEEE Software Magazine,January. 38-46 (1992)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] N.Shiratori,Eun-Seok Lee: "A User-Friendly Specification Environment for FDT and its Application to LOTOS" Proc.of IPCCC,April. 667-673 (1992)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] N.Shiratori,Y.Zhang,K.Takahashi,S.Noguchi: "A User Friendly Software Environment for Protocol Synthesis" Trans.IEEE. 40-4. 477-486 (1991)

    • Related Report
      1992 Annual Research Report
  • [Publications] N.Shiratori,H.Yamamoto,K.Takahashi: "A User‐Friendly Software Environment for Designing and Verifying Communication Protocols" Distributed Environments. 187-208 (1991)

    • Related Report
      1992 Annual Research Report
  • [Publications] N.Shiratori: "コミュニケーションと人工知能" (情)学会・シンポジウム 「B‐ISDN時代におけるマルチメディア通信と分散処理」. 1-10 (1991)

    • Related Report
      1992 Annual Research Report
  • [Publications] T.Kinoshita,K.Sugawara N.Shiratori: "Knowledge‐Based Protocol Design Computer Communication Systems" Trans.IEICE. E75-D-1. 156-169 (1992)

    • Related Report
      1992 Annual Research Report
  • [Publications] N.Shiratori,E.LEE: "An Integrated User‐Friendly Specification Environment for LOTOS" Trans.IECE. E75-B. 931-941 (1992)

    • Related Report
      1992 Annual Research Report
  • [Publications] N.Okazaki,K.Takahashi,N.Shiratori,S.Noguchi: "LOTOS仕様からの効率的な試験系列の生成法" 電子情報通信学会論文誌B. J74-B-I. 733-747 (1991)

    • Related Report
      1992 Annual Research Report
  • [Publications] D.Jokanovic,N.Shiratori,S.Noguchi: "Dynamic TasK Reconfiguration in the Faulty Hypercube Multiprocessor" Trans.IEICE. E74ー2. 435-446 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] N.Shiratori,Y.Zhang,K.Takahashi,S.Noguchi: "A User Friendly Software Environment for Protocol Synthesis" Trans.IEEE. 40ー4. 477-486 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] D.Jokanovic,N.Shiratoti,S.Noguchi: "Fault Tolerant Processor Allocation in Hypercube Multiprocessors" Trans.IEICE. E74ー10. 3492-3505 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] T.Kinoshita,K.Sugawara,N.Shiratori: "KnowledgeーBased protococl Design for Computer Communication Systems" Trans.IEICE. E75ーD. 156-169 (1992)

    • Related Report
      1991 Annual Research Report
  • [Publications] N.Shiratori,K.Takahashi,K.Sugawara,T.Kinoshita: "Using Artificial Intelligence in Communication System Design" IEEE Software Magazine. January. 38-45 (1992)

    • Related Report
      1991 Annual Research Report
  • [Publications] 白鳥 則郎: "モデルと仕様記述" 電子情報通信学会誌. 74ー2. 109-113 (1991)

    • Related Report
      1991 Annual Research Report

URL: 

Published: 1991-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi