netail.net

_ [hyCalendar] 地道に単体テストを書く ▲

インポート機能を実装するついでに，DUnit を導入してみたら，なんとhyCalendar の分割コンパイルに失敗（モジュール間の依存関係が多すぎて，分割コンパイルできる境界を見つけられなかった）．いずれ整理しないと，と思いながら放置してた部分がけっこうたくさんあること判明．

とりあえず DUnit の使い方メモ．やることは次の通り．

• DUnit が提供しているコードへの参照を追加する
• テストケースを実行するインタフェースを起動するコード
• テストケース自体
• 実行対象のテストケースを登録するコード

DUnit のコードを参照するには，プロジェクトの検索パスに，DUnit-x.x.x/src ディレクトリを加えておく．

テスト起動コードは，通常は，プロジェクトソースに記述する．以下は独立したプロジェクトとしているパターン．コンパイルスイッチなどで，通常のプロジェクトと切り替えるのもありかもしれない．

program HogeTest; // プログラム名をここに書く
uses
  TestFrameWork,
  GUITestRunner, 
  // ここにテスト対象のユニットも並べる
begin
 Application.Initialize;
 GUITestRunner.RunRegisteredTests; // テストインタフェース表示
end;

テストケース自体は，TTestCase クラスを継承したクラスを定義する．必要なのは，"Test" という名前ではじめることと，アクセス権を "published" にしておくこと．published で宣言すると，実行時にメソッド名をプログラムから参照することができるようになるので，テスト登録に使われる．

uses
    TestFrameWork; // TTestCase などを参照するのに必要
type
    THogeTest = class(TTestCase)
    protected
        procedure TearDown; override;
    published
        procedure TestFirst;
        procedure TestSecond;
    end;

テスト条件のチェックは，Check という関数を使って記述する．trueになる条件と，エラー時に表示される文字列を記述する．

Check(not data.hasError, 'エラーは起きないはず');

で，作ったテストケースは，そのユニットの initialization 節で，RegisterTest という処理を呼び出すことで登録を行なう．テスト用クラスで登録するが，このとき，クラスの Suite メンバを使う． ユニットの初期化タイミングで動作する initialization 節をまじめに使っている例だといえる．

initialization
 TestFramework.RegisterTest(THogeTest.Suite);

_ [論文] パフォーマンス向上のための自動コード変換 ▲

Liu, Y. A., Stoller, S. D, Gorbovitski, M., Rothamel, T. and Liu, Y. E.: Incrementalization Across Object Abstraction.

Proceedings of OOPSLA 2005, pp.473-486.

モジュール性の高い素直な実装だけでは性能が足りないときは，コストの高い問い合わせメソッド系の戻り値をあらかじめ保持することになる．

このとき，状態の更新メソッドが呼ばれたら，その保持している内容を更新する必要があり，その実装はかなり複雑になりがち．

そこで，プログラム変換を使って， invariant を保存しつつ，状態更新処理のコードを作ろうというもの．

アイディア的には AOP の立ち位置と同じようだが，コードを変換するルールを記述していく作業が，今のところは，メタプログラミングの要素が強い．

_ [論文] コードからのオブジェクトの状態機械の抽出 ▲

Nanda, M. G, Grothoff, C. and Chandra, S.: Deriving Object Typestates in the Presence of Inter-Object References.

Proceedings of OOPSLA 2005, pp.77-96.

各メソッドのコードを解析して，オブジェクトの取りうる状態をどう変化させるかを調べておき，とりうるヒープの状態（オブジェクト間の参照含む）をメソッド呼び出しで遷移する状態遷移図を構成する．これによって，同じメソッド呼び出し列でも，値などによって状態が変わる場合を区別して確認できる．

_ [論文] 実行履歴に対するクエリ ▲

Goldsmith, S., O'Callahan, R. and Aiken, A.: Relational Queries Over Program Traces.

実行トレースに対するクエリを PTQL という SQL に近い言語で書くと，それに必要な監視コードをプログラムに埋め込む．

イベントの開始・終了時刻，宣言しているクラスや実装クラス，パラメータの値などの値をクエリの条件式として使える．

tracematch での実行履歴のマッチとはやり方が違うが，実現時の最適化技術などはたぶん同様だと思われる．

使いやすさについては，どのくらい，と明確に言えないが，有用そうな例いくつかに対して，パフォーマンスのオーバーヘッドでの評価を行なっている．