权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

通信プロトコルの相互接続試験における試験系列の自動生成に関する研究

通信协议互连测试中测试序列自动生成的研究

基本信息

批准号：
06650415
负责人：
東野輝夫
金额：
$ 0.83万
依托单位：
Osaka University
依托单位国家：
日本
项目类别：
Grant-in-Aid for General Scientific Research (C)
财政年份：
1994
资助国家：
日本
起止时间：
1994 至无数据
项目状态：
已结题

项目摘要

本研究では,拡張有限状態機械モデルとして形式的に書かれた通信プロトコルの要求仕様から拡張UIO系列と呼ばれる相互接続のための試験系列を自動生成するための新しい手法の考案とその関連研究を行った.従来考案されている試験系列の自動生成法では,状態や遷移の正しさは確認出来ても,相互接続試験の重要な試験項目であるデータの正しさ(要求仕様通りのデータの交換が行われていること)を保証することが出来ず,データの正しさを保証するためには,各試験系列の遷移条件に合致する具体的なデータ値を設計者自身で見つける必要があった.しかし,手作業によるデータ値の考案は,誤った試験系列を生成したり,試験のコストが増大するなど実用上様々な問題があった.これに対して,本研究では,取り扱うデータのクラスを整数上の加減算,大小比較に限定することにより,拡張UIO系列と呼ばれる試験系列とその試験系列に含まれる具体的なデータ値を自動生成する方法を考案した.また,この手法に基づくテストシステムを作成し,そのシステムを用いて,提案する手法がOSIセッションプロトコルなどの実用プロトコルに対する試験系列の自動生成に適用出来ることを確認した.この研究の一部は,IFIP主催のプロトコルテストに関する国際会議(7th IFIP Int.Workshop on protocol Test Systems,1994年11月)で発表し,最終版を電子情報通信学会論文誌に投稿している.また,関連研究として,取り扱うデータのクラスを上述のクラスに限定することにより,2つの時間制約付リアルタイムシステムの等価性を検証する方法についても考案した.その結果をソフトウェア科学会論文誌で発表する(採録決定).

In this study, in the form of limited-state mechanical equipment and communication equipment, it is required that the UIO series of equipment should be connected with each other automatically. In the case of the automatic generation method, the status change is in the process of confirming it, and the important items are connected to each other (required to communicate with each other in the right way). Each series of transfer conditions are combined to make sure that the specific device designer has to do with the necessary information. In this case, the manual operation system is responsible for the examination of the project, and the error model series is used to generate an examination. In this study, you need to add the whole number to the whole number. The size ratio defines the size ratio, and the UIO series contains the specific information about the auto-generating method of automatic generation. In this paper, the method is used to make the system, and the method is used to make sure that it is used to make sure that it is used to make sure that the OSI system is used to make sure that the system is used automatically. In the latest edition of the International Conference on International Conference (7th IFIP Int.Workshop on protocol Test Systems, November 1994), which is the latest edition of the International Conference on International Conference (7th IFIP Int.Workshop on protocol Test Systems, Nov. 1994), the latest edition of the International Conference on International Conference (IPCC), which is the latest edition of the International Conference on International Conference (IPCC). In order to study the situation, we should use the above-mentioned information to limit the application of the above-mentioned information, and the other methods such as the two-hour system should be used to improve the performance of the examination. The results show that the Institute of Science and Technology has made a decision on the information in the table.