Ｗｅｂアプリケーションの非決定性による欠陥の自動検出
Ｗｅｂアプリケーションの非決定性による欠陥の自動検出
自动检测 Web 应用程序中的非确定性缺陷
批准号：
14J05991
负责人：
前澤 悠太
金额：
$0.64万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2014
资助国家：
日本
项目状态：
已结题
起止时间：
2014-04-25 至 2015-03-31
中文摘要
翻译
本研究ではWebアプリケーションの非同期技術（Ajax）に着目し，Ajaxに関わる開発事例を元に開発者の期待する動作を定義することでWebアプリケーションの非決定性に関わる性質の自動検証手法を実現した．検証結果から，開発者のテスト環境では再現しないがユーザ環境では顕在化しうる”潜在的な欠陥”を検出でき，本年度の実施計画を達成できた．しかし，検出した欠陥が誤検出でないか確認する必要があったため，本年度ではさらに，繊細な通信遅延を再現するようプログラムを変異させる操作を実装し実アプリケーションに適用した結果，Webアプリケーションの深刻な脆弱性に関わるエラーを再現できた．高品質なWebアプリケーションを開発するためには対処すべき欠陥を発見・除去する必要があり，既存手法で発見できない実際の欠陥を自動検出できた意義は大きい．この研究成果はソフトウェア工学分野におけるトップカンファレンスであるIEEE/ACM International Conference on Automated Software Engineering (ASE)に採択され，本年度のASEにおいて日本から採択された唯一の技術論文である．
英文摘要
本研究ではWebアプリケーションの非同期技術（Ajax）に着目し，Ajaxに関わる開発事例を元に開発者の期待する動作を定義することでWebアプリケーションの非決定性に関わる性質の自動検証手法を実現した．検証結果から，開発者のテスト環境では再現しないがユーザ環境では顕在化しうる”潜在的な欠陥”を検出でき，本年度の実施計画を達成できた．しかし，検出した欠陥が誤検出でないか確認する必要があったため，本年度ではさらに，繊細な通信遅延を再現するようプログラムを変異させる操作を実装し実アプリケーションに適用した結果，Webアプリケーションの深刻な脆弱性に関わるエラーを再現できた．高品質なWebアプリケーションを開発するためには対処すべき欠陥を発見・除去する必要があり，既存手法で発見できない実際の欠陥を自動検出できた意義は大きい．この研究成果はソフトウェア工学分野におけるトップカンファレンスであるIEEE/ACM International Conference on Automated Software Engineering (ASE)に採択され，本年度のASEにおいて日本から採択された唯一の技術論文である．
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
DOI：
10.1145/2642937.2642996
发表时间：
2014-09
期刊：
Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering
影响因子：
--
作者：
[Yuta Maezawa;Kazuki Nishiura;H. Washizaki;S. Honiden]
通讯作者：
Yuta Maezawa;Kazuki Nishiura;H. Washizaki;S. Honiden
変異解析に着目したWebアプリケーションの自動プログラム修正
-
批准号：15H06827
-
项目类别：Grant-in-Aid for Research Activity Start-up
-
资助金额：$1.0万
-
财政年份：2015
-
负责人：前澤 悠太
-
依托单位：