氏名: 河合 茂樹 (289634156)

論文題目: 既存プログラムからの規範パターン抽出とその応用に関する研究


論文概要

プログラム開発の際に,入出力やメモリ取得などのシステムコールで発生しう るエラーをシステム関数からの返り値でチェックすることは,基本的なコーディ ングルールである.しかし,プログラマがこのような記述を省略したことに起 因するエラーはコンパイラやデバッガ,テストツールでは発見することができ ず,潜在的誤りがプログラム中に残されてしまいがちである.主にこの ような誤った記述によって,UNIXコマンドの15-43%がランダムテストでクラッ シュすると報告されている.
本研究ではこのような潜在的誤りを発見するために,既存プログラムから抽出 した規範プログラムパターンを用いて,プログラムのコーディングチェックを 行う手法を提案する.規範プログラムパターンは正しい関数の使用のコンテキ ストを定めたもので,関数のknow-howベースとみなすことができる.規範プロ グラムパターンを用いることによって,これまで難しかった潜在的誤りの発 見に有効なコーディングチェッカが実現できることを示し, プログラムパターンのそのほかの利用法について考察する.
目次に戻る