netail.net

_ [work]制御依存解析 ▲

フロー解析が終わったのでそれをベースに依存辺を引く作業を実装．さっくり動いた．

あとはデータ依存解析だが，ここでエイリアス問題が登場するので，ちょっとアルゴリズムを調べる作業に戻る．面倒なので，とりあえず考慮しないというのも手だが．

_ [work]制御フロー解析 ▲

Java バイトコードのうち，Finally節を実装するために生成されるJSR〜RET （BASICで言うところのGOSUB〜RETURN）の処理を実装してみた．面倒だったのでとりあえずRETからすべてのJSR へ戻るようにしただけなのだが．

テストして気付いたのだが，Eclipse 3.1M2 のJava コンパイラは JSR-RET を使わない実装に変わっているのか，以前は生成されていた RET 命令が生成されなくなっていた．

ということで，今までテストデータにしていたもの（自分自身のクラスファイル）が使えなくなってしまった．新しいテストケースだけ，別に用意しないといけない．

_ [work]Subversion ▲

ツール開発の次のステップ（制御依存＆データ依存解析）に進む前に色々リファクタリング作業が必要だとわかったので，作業用に Subversion を導入してみた．

今のところローカルのリポジトリで十分なので，TortoiseSVN とかいうツールをインストールして手元でリポジトリを作って実験してみることにする．

この手のバージョン管理ツールを使うのはVisual Source Safe 以来なので，操作がちょっと不安．自動バックアップツールと組み合わせて使ってみることにする．

_ [work]Dominatorの検出 ▲

バイトコードの制御フローグラフ上で，条件分岐の結果がいつまで有効だといえるかをPostDominator（どちらに分岐しても必ず通過する最初の頂点）で判定するために，PostDominatorの計算を実装してみた．

アルゴリズムは悩んだが，実装が単純な繰り返し計算方法Keith D. Cooper, Timothy J. Harvey, Ken Kennedy:A Simple, Fast Dominance Algorithm.に掲載のものを使ってみた．文献自体はSoftware Practice and Experience にSubmitted となっているもの（Acceptedではないらしい）．これ自体はDominantの計算なので，PostDominantを判定するために依存関係のたどり方だけ逆向きにして適用してみた．

パフォーマンス的には最適化の余地はあるのだが，とりあえず単純な実装で動作試験にはいちおう成功しているみたい．

_ [Java]Eclipse 3.1M2 ▲

新しく作るツールでは Java Generics が使いたいので，Eclipse のいちおう Generics 対応版である 3.1M2 を導入．

設定ダイアログの Compliance Level でソースコード，生成バイトコードを 1.5 対応にする必要はあったが，いちおう Generics 対応コードがコンパイルできているみたい．

_ [お出かけ]コーヒー博物館 ▲

神戸ポートアイランドにあるUCCのコーヒー博物館まで出かける．１階にある喫茶店が，トルコ風コーヒーなど変わったものも扱っていて面白い．

_ [OUCC]カメラ ▲

部室に置いていたカメラを接続していたノートＰＣのＡＣアダプタがリコール対象になっていたことが発覚したので，別のＰＣへ移行した．

LiveCapture2 が，FTPアップロードのパスワードを平文で保存していたことも発覚したので，ついでに，使用ツールもLiveCapture2 から ListCam へ変更した．

JPEG圧縮アルゴリズムの品質パラメータの差？から240KB/枚 → 80KB/枚 とデータ量が減少していたりと思わぬ副作用もあったりする．

_ ESS2004 ２日目 ▲

無事終了して帰宅．クロージング後直帰してこの時間．やっぱりもう一晩泊まるような出張日程のほうが楽かも．

全体参加者が２６０人程度だったらしいので賑やかだった．アスペクト指向ソフトウェア開発のチュートリアルは４０人程度．司会は初めてなので微妙に疲れた．発表よりは気楽だけど．

組み込み系のテスト工数の増大とかいう話は，今現在はカバレッジ向上くらいしかないような気がするけど組み込み系って電源OFF（バッテリ切れ）以外に初期化が存在しないのでパス数が発散しているようだし，アスペクトのテストも初期化タイミングはシステム開始時だけであとは状態遷移していくというので実は問題構造は似ているような似ていないような感じ．そのうち設計のパターンみたいにテストのパターンとかできるのかしら．

頭があまり働いてない気がするので後日整理してみることにする．