@misc{oai:uec.repo.nii.ac.jp:00008409,
 author = {依田, みなみ},
 month = {2017-02-21},
 note = {2016, 本研究ではPHP5で開発されたアプリケーションの，設定値に関連した不具合に着目し，対象とした不具合を検知する手法の提案と，不具合検知ツールMis.Configを開発した．
　PHP5アプリケーションの多くは，設定ファイルと呼ばれる，アプリケーションの動作に必要な設定値の情報をまとめたファイルを持つ．設定値とは，データベース接続に必要なデータベース名・ユーザー名・パスワード情報などである．
　設定ファイルで定義された設定値が，PHPプログラム内で参照されるとき，定義と異なる型を想定して参照されることがある．これによってアプリケーションの誤動作が発生することが報告されている．本研究では，この不具合を「設定値参照時の型不一致ミス」とし，これらを検知する手法の提案と，不具合検知ツールMis.Configを開発した．
　Mis.Configの実現にあたり，コントロールフローグラフとシンスライシングを用いた．Mis.Configの精度実験として，実際に公開されているPHPアプリケーションの設定値を変更・追加し，人為的に設定値の型不一致を発生させた．発生した型不一致をMis.Configが検知できるかを実験した．結果，対象とした三種類の型間での型不一致は，再現率・適合率共に100%であり，全て検出することができた．実験全体の精度は，適合率100%,再現率78%, F値85%であった．},
 title = {シンスライシングを用いたPHPアプリの設定値参照ミス検知手法の提案},
 year = {},
 yomi = {ヨダ, ミナミ}
}