コーディング検査のためのライブラリ利用パターン抽出手法
スポンサーリンク
概要
- 論文の詳細を見る
広く一般に用いられているソフトウェアは，ソフトウェアの動作が安定している．そのため，これらのソフトウェアのソースコードにはソフトウェアを安定して動作させるノウハウが蓄積されていると考えられる．本稿では，これらのソフトウェアからライブラリの利用パターンを取得する手法を提案する．提案手法では，ソースプログラムからライブラリ関数呼出に着目し，データ依存関係および制御依存関係を抽出した関数呼出依存グラフを用いる．このグラフを基に個々のライブラリ関数の引数に与えるべき値，戻り値の検査の必要性の有無などのライブラリの利用パターンを抽出する手法を提案する．既存のソフトウェアからライブラリの利用パターンを抽出した結果，ライブラリの引数に他のどのライブラリの戻り値を与えるかがパターン化されている事が確認でき，コーディング検査にこれらのパターンを有効に利用できる事を確認した．
- 日本ソフトウェア科学会の論文
日本ソフトウェア科学会 | 論文
- LCDと透明弾性体の光弾性を用いたユーザインタフェース (特集 インタラクティブシステムとソフトウェア)
- Bluetoothによる位置検出
- COINSにおけるSIMD並列化(最新コンパイラ技術とCOINSによる実践)
- データ型を考慮した軽量なXML文書処理系の自動生成(ソフトウェア開発を支援する基盤技術)
- 計算と論理のための自然枠組NF/CAL(システム検証の科学技術)