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

1992 Fiscal Year Final Research Report Summary

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
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.

  • Research Products

    (9 results)

All Other

All Publications (9 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
      「研究成果報告書概要(和文)」より
  • [Publications] N.SHIRATORI,H.YAMAMOTO,K.TAKAHASHI: "A User-Friendly Software Environmenet for Designing and Verifying Communication Protocols" Distributed Environments. 187-208 (1991)

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

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

    • Description
      「研究成果報告書概要(和文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より

URL: 

Published: 1994-03-24  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi