オブジェクノト指向プログラムのためのデバッグ／テスト支援システム－プログラムトレーサー機能について

摘要

近年，ソフトウエア開発が手続き型言語によるプログラムからオブジェクト指向によるそれへと移行している．信頼性を確保するためには，オブジェクト指向プログラムにおいてもテストは必要である．しかし，オブジェクト指向言語で書かれたプログラムは，手続き型言語で書かれたプログラムに比べ信頼性確保するのが難しいと考えられるので，オブジェクト指向プログラムを対象とするデバッグ／テスト支援ツールの開発が求められる．そこで本研究では，オブジェクト指向プログラムのテストに有効な方法を提案するとともに，Javaプログラムを対象とした有効な支援ツール（プログラムトレーサー）を提案している．さらにその実現方法についでも提案している．