[論文レビュー] A Metamodel of Unit Testing for Object-Oriented Programming Languages

Martin Lévesque|ArXiv.org|Dec 18, 2009

Software Testing and Debugging Techniques参考文献 9被引用数 3

ひとこと要約

本論文は、オブジェクト指向言語のソースコードに直接ユニットテストを統合するメタモデルを提案する。これにより、新しい構文（例：'Test TestName { ... }'）を用いて、クラスとともにテストを記述できる。このメタモデルは、テストの継承、自動実行、コードとの密接な結合をサポートし、クラス階層全体でテストを再利用することで、テストの保守性を向上させ、テストカバレッジを向上させる。

ABSTRACT

A unit test is a method for verifying the accuracy and the proper functioning of a portion of a program. This work consists to study the relation and the approaches to test Object-Oriented Programming (OOP) programs and to propose a metamodel that enables the programmer to write the tests while writing the source code to be tested by exploiting the key features of OOP programming languages such as inheritance, polymorphism, etc.

研究の動機と目的

• オブジェクト指向言語におけるソースコードからのテストの分離という課題に対処する。ここでは、テストが別個に記述され、コードとは別に保守される傾向がある。
• 仕様ベースのテストの限界を克服する。これは追加の言語を必要とし、ポリモーフィズムや継承といったOOPの原則を十分に活用できない。
• テストをクラスに直接埋め込むプログラムベースのアプローチを提供することで、テストの発見性、保守性、カバレッジを向上させる。
• コンパイラが構造化されたメタモデルを通じて、クラス、メソッド、パッケージレベルのテストプロパティをサポートすることで、テストの自動実行を可能にする。
• サブクラスがスーパークラスからテストを継承・拡張できるようにすることで、継承階層全体でテストを再利用しやすくする。

提案手法

• ローカルテストプロパティ（LTP）、グローバルテストプロパティ（GTP）、パッケージ用テストプロパティ（LTC）の3段階のテストプロパティレベルを備えたメタモデルを定義。これにより、階層的なテスト組織が可能になる。
• キーワード 'Test' を用いて、クラス内に直接テストメソッドを定義する新しい構文を導入。例：'Test TestName { ... }'。このテストは特定のメソッドに関連付けられる。
• 実行中に現在のクラスの新しいインスタンスを表すために 'Current' キーワードを用い、自己完結型のテストコンテキストを実現する。
• クラス階層を再帰的に走査し、LTP、GTP、LTCを構造的な順序で実行するテスト実行アルゴリズム（ExecTests）を設計する。
• テスト継承をサポート：スーパークラスで定義されたテストは、サブクラスによって自動的に継承され、実行される。これにより、コードの重複を避けながらテストカバレッジが向上する。
• コンパイラまたはランタイム環境にメタモデルを統合し、コンパイル時または実行時にテストを自動的に検出・実行・結果を報告できるようにする。

実験結果

リサーチクエスチョン

• RQ1 オブジェクト指向言語において、ユニットテストをソースコードにどのように密接に統合すれば、保守性を高め、テストのずれ（test drift）を低減できるか？
• RQ2 クラス階層全体にわたるテスト継承は、テストカバレッジをどの程度向上させ、重複するテストコードをどの程度削減できるか？
• RQ3 単一の統合フレームワーク内で、白ボックス、黒ボックス、グレーインボックステストの複数の抽象化レベルをサポートできるメタモデルを設計できるか？
• RQ4 外部テストフレームワークと比較して、新しい構文を用いてテストをソースコードに直接埋め込む実用的 implications は何か？
• RQ5 JUnit などの既存のアプローチと比較して、提案されたメタモデルは、テスト実行、保守性、OOPの原則との統合性において、どのように優れているか？

主な発見

• メタモデルにより、新しい構文を用いてテストをクラス内に直接記述できるようになり、別々のテストファイルの必要性が低下し、コードとテストの共存が向上する。
• スーパークラスで定義されたテストは、サブクラスによって自動的に継承され、実行される。これにより、コードの重複を避けながらテストカバレッジが向上する。
• コンパイラがコンパilation時または実行時にテストを自動的に実行できることを、クラス階層を横断するテストの逐次実行を示す例出力で確認した。
• 'Current' の使用により、テストメソッドが現在のクラスの新規インスタンス上で動作するようになり、テストの隔離性と正しさが保証される。
• ポリモーフィックなテスト実行をサポート：メソッドがオーバーライドされた場合、実行時型に応じて対応するテストが実行される。これにより、ポリモーフィック振る舞いのカバレッジが向上する。
• メソッド、クラス、パッケージレベルの異なる粒度での設定可能なテストプロパティを通じて、白ボックス、黒ボックス、グレーインボックステストの複数の抽象化レベルをメタモデルがサポートする。