変異解析に着目した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 basic foundation of life is the use of the web and the ソフトウェアopener (Hereinafter, those who open the 発) がowed 癥を十に検出・exclude (テスト・デバッグ) することがimportant である. We will conduct research first on artificial intelligence and artificial intelligence (the production method of artificial intelligence) and the measurement of artificial intelligence and its ability to produce artificial intelligence.変different analysis of the problem The one who opens the problem is the one who owes it, and the problem is correct. It is necessary to remove it, and it is difficult to remove it.デバッグをautomationするautomatic プログラムcorrectionの cutting-edge researchでは、テストをパスするようcorrection objectプログラムの文を无事に Add, delete, replace する「Generation and 検证によるCorrection Technique」がProposalされている.しかし、テストをパスするプログラムをGenerationできたとしても、テスIf it is not suitable for the situation, it is not suitable for the situation. It is possible to eliminate the possibility.そこでThis researchでは、开発者が変different analysisを実事し検出されるWebアプリケーションのowed 陥を対 resemble とするautomatic プログラム correction technique を実appear する. Variation analysis and manipulation, correct manipulation and error generation, and proposal technique. The reverse of the work (デバッグoperation and call) is the correct one. The purpose of this study is to conduct preliminary research on different operations and precise inspections, and to reverse operations and definitions.に、変different analysisの実综合　　　　　　　　　出　　　　　　　　　　　　　　　　　　　　　　　　　　 Generation banks The relationship is not the same as the removal of the のために applicable すべきデバッグ operation をspecific する士组みを开発する.これらにより、Webアプリケーションのowed陥をautomatic かつ正しく Elimination Go to でき、高信頼のWebアプリケーション开発にservice立つと考えられる. Proposal method: RevAjaxMutatorとcallingぶプロトタイプツールに実装し、General public disclosureに为けてPreparationとpublic disclosureを実用した.また、The motivation of this study is to provide examples of Web application examples and usefulness examples.

项目成果

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