- 著者
-
花本 洋平
古宮 誠一
- 出版者
- 一般社団法人 情報システム学会
- 雑誌
- 情報システム学会 全国大会論文集 第4回全国大会・研究発表大会論文集 (ISSN:24339318)
- 巻号頁・発行日
- pp.D1-2, 2008 (Released:2020-06-29)
オブジェクト指向言語で開発されたプログラムでは,ポリモーフィズムによって分岐網羅の基準が実際の分岐を反映しなくなるため,分岐網羅のテストカバレッジが100%であっても十分に分岐をテストしているとは言えない.本研究では新しい分岐網羅基準を提案し,その基準に基づいたカバレッジを取得するためのツールを開発することでオブジェクト指向プログラムの信頼性を向上させることを目的とする.また,有用性についてはオープンソースソフトウェアに対して実験を行うことで検証する.