annotate debug.tex @ 0:39af8ab46cbb

(no commit message)
author one
date Wed, 18 Feb 2009 22:22:25 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
39af8ab46cbb (no commit message)
one
parents:
diff changeset
1 \section{デバッグツール}
39af8ab46cbb (no commit message)
one
parents:
diff changeset
2
39af8ab46cbb (no commit message)
one
parents:
diff changeset
3 \subsection{Network Simulator}
39af8ab46cbb (no commit message)
one
parents:
diff changeset
4 REPの接続プロトコルの検証や、マージアルゴリズムの検証を行うためのツールとしてJavaPathFinderの利用を検討した。
39af8ab46cbb (no commit message)
one
parents:
diff changeset
5 しかし、JavaPathFinderでは実際の分散プログラムを検証することができないため、分散プログラムをシミュレーションするためのツールとしてNetwork Simulatorを導入した。
39af8ab46cbb (no commit message)
one
parents:
diff changeset
6 今回、JavaPathFinderでの検証までは至ってないが、Network Simulationを用いて、Session Managerを記述することにより、実際にソケットを呼び出すことなく分散プログラムをデバッグすることができた。
39af8ab46cbb (no commit message)
one
parents:
diff changeset
7
39af8ab46cbb (no commit message)
one
parents:
diff changeset
8 このNetwork Simulatorはソースコードを変更することなく、プログラム起動時の引数によって実際のソケットを使った通信を行うか、シミュレーションを行うかを選択することができる。
39af8ab46cbb (no commit message)
one
parents:
diff changeset
9
39af8ab46cbb (no commit message)
one
parents:
diff changeset
10 \subsection{簡易エディタ}
39af8ab46cbb (no commit message)
one
parents:
diff changeset
11 REP の接続シーケンスのデバッグや、マージャのデバッグを行う際、実際に REP 実装されたエディタ (Eclipse や Vim、Emacs) を立ち上げて、GUI 操作やコマンドを打ち込むことよる、接続のテストや、テキストを編集して、編集結果がプロトコルどうり反映されているか、マージがうまくいっているかをテストするには、テスト方式も煩雑であるし、また、Eclipse などは立ち上げに時間がかかるといった問題点もあった
39af8ab46cbb (no commit message)
one
parents:
diff changeset
12 そのため、これらのデバッグを自動で行うツールとして Java 版の簡易エディタを作成した。
39af8ab46cbb (no commit message)
one
parents:
diff changeset
13 簡易エディタには、テキストの編集結果やマージの結果を可視化するツールや、送受信したコマンドをエディタごとに切り分けて表示する機能を追加した。
39af8ab46cbb (no commit message)
one
parents:
diff changeset
14 また、自動的にランダムに編集コマンドを生成する機能を実装し、マージのデバッグなどに利用した。