エージェント・アーキテクチャ、エージェント・ソフトウェア工学等

Agent架构、Agent软件工程等

• 批准号: 05F05279
• 负责人: 本位田 真一
• 金额: $ 0.51万
• 依托单位: National Institute of Informatics
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2005
• 资助国家: 日本
• 起止时间: 2005 至 2006
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-05F05279/
• 关键词: ソフトウェア検証; ソフトウェアテスティング; ソフトウェアモデル検証; JAVA; エラー挿入; ネットワーキング; アスペクト指向プログラミング

本研究の目的は、ネットワーク利用ソフトウェアの検証手法の確立である。そのようなソフトウェアの検証においては、並行動作に起因する挙動の非決定性や、通信を行う構成要素の挙動が必ずしも明確でないという問題を解決する必要がある。従来有効とされる手法として、可能性のあるシステムの挙動を網羅的に調査するモデル検査と、可能な限り多くの例外的動作をテストする動的検証がある。しかし、前者ではネットワークの挙動を網羅的に把握できず、後者では必要なテスト工数が厖大になるという問題がある。前述の2つの手法の改良を行った。モデル検査については、複数の構成要素がネットワーク接続されたシステムの挙動を、単一の構成要素の挙動としてシュミレートする「集中化」の手法を改良し、従来よりも詳細な挙動をシュミレート可能な集中化手法を実現した。さらに、ネットワークの挙動のモデルも構築することにより、正確なシュミレーションを可能とした。動的検証については、必要なテストを構成要素毎に分割し、それぞれを単体テストとして実施することにより、工数削減を実現した。モデル検査については、実験により、プロセスとスレッド間の詳細な相互作用により発生する複雑なエラーを検出することができた。このようなエラーは、通常のテストでは発見できない。さらに、ネットワークの転送失敗のシミュレーションも可能となるように改良した。動的検証については、やはり実験により、大規模なソフトウェアに対しても、効果的に不具合を発見できることを確認した。以上の結果を、2件のConference論文と4件のSymposium/workshop論文として発表した。

The purpose of this study is to establish the method of identification by using software. It is necessary to solve the problem of the failure of the communication system, the cause of the parallel operation, the non-decisive action, the movement of the constituent elements of the communication system, and the clear solution. There are methods, possibilities and actions involved in the investigation, investigation and possible limitations of exceptional actions. The former is a matter of time, and the latter is a matter of time. The above mentioned 2 ways to improve the line. The method of "centralization" of a plurality of constituent elements is improved, and the method of "centralization" of a plurality of constituent elements is realized. This is the first time that a computer system has been developed. In the case of a case, it is necessary to divide the case into two parts. The detailed interaction between the two sides of the screen is generated by the interaction between the two sides. This is the first time I've ever seen such a thing. In addition, the system can be improved if the system fails. The results of the investigation are confirmed. The above results were presented in 2 Conference papers and 4 Symposium/workshop papers.