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