前にナナメ読みしていたが、最近真面目に読んで、結構感心した論文。Javaのユニットテストの際のカバレージによるメトリクスを、より精密に計測するための方式の提案とその評価 A. Routntev, et al,"Fragment Calss Analysis for Testing of Polymorphism in Java Software", IEEE trans. on Software Engineering, Vol 30, No.6, June 2004. オブジェクト指向言語におけるテストカバレージの計測に関しては、あるクラス/インタフェース型のインスタンスのメソッドを呼び出す場合のポリモーフィズム機構ゆえの実際の呼び出しコードの多様性を、どの程度正確に見積もるかが問題となっていた。 また、その目的で使えそうな「静的なコールグラフ導出アルゴリズム」は、昔からたくさんあるのだ