分散システムの通信遅延をテストするためのUMLモデルからMarkov連鎖使用モデルの構築手法

抄録

ネットワークの発展と分散システムの高信頼性や高並列性により、分散システムは社会や企業において広く採用されている。しかし、分散システムのリアルタイム性、並列化、遅延、ネットの負荷などのテストは難しく、コストも高い。そこで本研究では、このテストを削減することを目的として、開発の初期段階においてUMLモデルに時間制約を導入し、シーケンス図と配置図を組合せることによって新たなUMLモデルを定義する。この定義したUMLモデルから、分散システムの通信遅延をテスト可能とするMarkov連鎖使用モデルの構築方法を提案した。