変異解析に着目したWebアプリケーションの自動プログラム修正

专注于突变分析的Web应用程序自动程序修改

• 批准号: 15H06827
• 负责人: 前澤 悠太
• 金额: $ 1万
• 依托单位: National Institute of Informatics
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Research Activity Start-up
• 财政年份: 2015
• 资助国家: 日本
• 起止时间: 2015-08-28 至 2016-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-15H06827/
• 关键词: ソフトウェア工学; ソフトウェアテスト; 自動プログラム修正

生活基盤として利用されるWebアプリケーションの開発において、ソフトウェア開発者（以下、開発者）が欠陥を十分に検出・除去（テスト・デバッグ）することが重要である。先行研究では、人工的に欠陥を作り（欠陥作成方法を変異操作と呼ぶ）テストの検出能力を測定する変異解析に取り組んできた。変異解析は欠陥を十分に検出するテストの実施に役立つが、開発者は検出された欠陥を正しく除去する必要があり難しい。デバッグ作業を自動化する自動プログラム修正の最先端研究では、テストをパスするよう修正対象プログラムの文を無作為に追加・削除・置換する「生成と検証による修正手法」が提案されている。しかし、テストをパスするプログラムを生成できたとしても、テストが不適切な場合は欠陥を正しく除去できていない可能性がある。そこで本研究では、開発者が変異解析を実施し検出されるWebアプリケーションの欠陥を対象とする自動プログラム修正手法を実現する。変異解析における変異操作は正プログラムから誤プログラムを生成するので、提案手法は「変異操作の逆（デバッグ操作と呼ぶ）は誤プログラムから正プログラムを生成する」という着想に基づく。本研究ではまず、先行研究の変異操作を精査し、逆となるデバッグ操作を定義する。次に、変異解析の実施情報から欠陥検出に役立った変異操作を分析し、その対応関係から欠陥除去のために適用すべきデバッグ操作を特定する仕組みを開発する。これらにより、Webアプリケーションの欠陥を自動的かつ正しく除去でき、高信頼のWebアプリケーション開発に役立つと考えられる。提案手法をRevAjaxMutatorと呼ぶプロトタイプツールに実装し、一般公開に向けて準備と公開を実施した。また、本研究の動機付けの例題Webアプリにおける適用事例実験を通してその有用性を示した。

The development of a living environment that uses Web applications is important for developers (hereinafter, developers) to detect and remove. The first research is to analyze the difference between the two methods. It is necessary to analyze the differences between the two sides and remove the differences. The first research on automatic correction of image processing in the automation of image processing is to add, delete and replace "generation, detection and correction method". The possibility of a change in the status of a person's identity is not relevant. In this paper, we propose to implement the automatic correction method for Web application based on the difference analysis of developers Different analysis of different operations is based on the idea of "reverse operation of different operations" and "generation of different operations." In this study, we will examine and define the different operations of previous studies. Second, the implementation of different analysis information from the lack of detection, the operation of different analysis, the relationship between the lack of removal and the application of different operations to specific groups of people to open The web application is automatically removed, and the web application is automatically opened. The proposal is open to the public. This paper discusses the application of the motivation of this study, and illustrates its usefulness.

项目成果

RevAjaxMutator: A Tool for Automated Program Repair of Ajax Web Applications

RevAjaxMutator：Ajax Web 应用程序自动程序修复工具

• 发表时间: 2016
• 作者: Tsuji M;Yokota Y;Shimohara K;Kudoh S;Hoshino T;芥川祐征;芥川祐征;芥川祐征;芥川祐征;芥川祐征;篠原清昭編;学校管理職養成講習事業運営委員会編;Yuta Maezawa
• 通讯作者: Yuta Maezawa