*サービス検証・テスト [#aeeba95e]

サービスが正しく動作するか?ユーザや環境にとって安全か?複数のサービスを同時に動かしても大丈夫か?

多くのサービスが溢れる将来に向け,サービスを厳密に検証する技術を研究しています.

** 研究課題 [#qdde66a7]
** 研究テーマ [#qdde66a7]
-Design by Contractを用いたサービス安全性検証 
-[[SOAを用いた異種ビル管理システムの連携とサービス競合問題>./BASModeling]] 
-[[ホームネットワークにおけるサービス競合問題>./ホームネットワークにおけるサービス競合問題]] 
-[[ホームネットワークシステムにおけるサービス競合解消方式>../Validation/ホームネットワークシステムにおけるサービス競合解消方式]] 
-[[サービス競合を考慮したHNS連携サービスの開発>../Validation/サービス競合を考慮したHNS連携サービスの開発]]
-ホームネットワークサービスのモデル検査

トップ   編集 差分 履歴 添付 複製 名前変更 リロード   新規 一覧 検索 最終更新   ヘルプ   最終更新のRSS