WEKO3
アイテム
COINSを用いた静的プログラムスライシングツールの実装
https://doi.org/10.14988/pa.2017.0000013594
https://doi.org/10.14988/pa.2017.0000013594401fa1ef-c8bd-4abd-92b8-cfe667b65597
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
023055020007.pdf (1.7 MB)
|
|
| Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2014-09-01 | |||||||||||
| タイトル | ||||||||||||
| タイトル | COINSを用いた静的プログラムスライシングツールの実装 | |||||||||||
| 言語 | ja | |||||||||||
| タイトル | ||||||||||||
| タイトル | COINS オ モチイタ セイテキ プログラム スライシング ツール ノ ジッソウ | |||||||||||
| 言語 | ja-Kana | |||||||||||
| タイトル | ||||||||||||
| タイトル | Implementation of static slicing tool using COINS compiler infrastructure | |||||||||||
| 言語 | en | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| キーワード | ||||||||||||
| 主題 | ミューテーション解析, 静的プログラムスライシング, コンパイラ・インフラストラクチャ COINS, mutation analysis, static program slicing, compiler Infrastructure |
|||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||
| 資源タイプ | departmental bulletin paper | |||||||||||
| ID登録 | ||||||||||||
| ID登録 | 10.14988/pa.2017.0000013594 | |||||||||||
| ID登録タイプ | JaLC | |||||||||||
| アクセス権 | ||||||||||||
| アクセス権 | open access | |||||||||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||||||||
| 著者 |
上野, 智弘
× 上野, 智弘× 芳賀, 博英
WEKO
17415
|
|||||||||||
| 著者所属 | ||||||||||||
| 言語 | ja | |||||||||||
| 値 | 上野, 智弘 / Graduate School of Science and Engineering, Doshisha University | |||||||||||
| 著者所属 | ||||||||||||
| 言語 | ja | |||||||||||
| 値 | 芳賀, 博英 / 同志社大学理工学部インテリジェント情報工学科教授 | |||||||||||
| 著者所属（英） | ||||||||||||
| 言語 | en | |||||||||||
| 値 | Doshisha University | |||||||||||
| 所属機関識別子種別 | ||||||||||||
| 値 | kakenhi | |||||||||||
| 所属機関識別子 | ||||||||||||
| 値 | 34310 | |||||||||||
| 抄録 | ||||||||||||
| 内容記述タイプ | Abstract | |||||||||||
| 内容記述 | テストセットを評価する手法の1つに、ミューテーション解析がある。この手法では、プログラムに意図的にバグを埋め込んだミュータントを生成し、そのミュータントをテストセットが検出できるかによって、品質を評価する。ミュータントを生成する規則をミューテーションオペレータといい、それをプログラムに適用することで生成できる。しかし、すべてのステートメントに対してすべてのミューテーションオペレータを適用すると、生成される数が膨大になり、生成・コンパイル・実行時間が膨大になるので、品質評価に影響がない範囲で、生成される数を減らすことが望ましい。この問題は、すべてのステートメントに対してすべてのミューテーションオペレータを適用しているため発生するため、ミュータントの数を減らすには、ミューテーションオペレータを減らす、あるいは、ミューテーションオペレータを適用するステートメントを減らすことで解決できると考えられる。前者は、すでにOffuttらによって研究されているが、後者についてはまだ検討がなされていない。後者は、あるステートメントが他のステートメントにどの程度の影響度を持っているかを測り、それを基に、ミューテーションオペレータを適用するステートメントを減らすことで実現できる可能性がある。影響度を測ることができると考えられる手法の1つが、静的プログラムスライシングであり、静的プログラムスライシングツールの実装に必要な情報は、コンパイラで必要な情報と共通するものが多いので、コンパイラを開発する際に利用できるツールを使えると、工数が減らすことができるため、コンパイラ・インフラストラクチャであるCOINSを用いて実装した既存研究を参考にし、発展させた。 | |||||||||||
| 言語 | ja | |||||||||||
| 抄録 | ||||||||||||
| 内容記述タイプ | Abstract | |||||||||||
| 内容記述 | Mutation analysis is a method to evaluate software test cases set quality. In mutation analysis, mutant programs are generated by injecting bugs into original program intentionally. The quality of test cases set is evaluated whether the bugs are detected or not by the test cases set. We can generate mutant program by applying mutation operators, which are rules for injecting bugs to original programs, to statements in original program. However, when we apply all mutation operators to all statements in original program, the number of generated mutant programs becomes huge. When the number of generated mutant programs becomes huge, generation time, compilation time and execution time of mutant programs become enormous. Thus, it is necessary to reduce the number of generated mutant programs for practical application of mutation analysis. This problem comes from applying all mutation operators to all statements in original program. Therefore, reducing the number of mutation operators or the number of statements in original program to which we apply mutation operators will solve this problem. The method to reduce the number of mutation operators has already been studied by Offutt et al. The method to reduce the number of statements may be implemented by selecting statement to apply the mutation operators. In order to select statements, we propose the impact factor of each statement. Impact factor represents the degree of impact of each statement. Using static program slicing is a promising candidate of impact factor representation. Computing static slicing can be implemented by using information obtained from compiler. Therefore implementing slicing tool by using compiler development tool reduces the development time and cost. In this article, we adopted the COINS compiler infrastructure to implement statics slicing tool. | |||||||||||
| 言語 | en | |||||||||||
| 書誌情報 |
ja : 同志社大学理工学研究報告 en : The Science and Engineering Review of Doshisha University 巻 55, 号 2, p. 145-154, 発行日 2014-07-31 |
|||||||||||
| 出版者 | ||||||||||||
| 出版者 | 同志社大学理工学研究所 | |||||||||||
| 言語 | ja | |||||||||||
| 出版者（英） | ||||||||||||
| 出版者 | Science and Engineering Research Institute of Doshisha University | |||||||||||
| 言語 | en | |||||||||||
| ISSN | ||||||||||||
| 収録物識別子タイプ | PISSN | |||||||||||
| 収録物識別子 | 00368172 | |||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AN00165868 | |||||||||||
| 権利者情報 | ||||||||||||
| 権利者識別子Scheme | AID | |||||||||||
| 権利者識別子 | DA03974933 | |||||||||||
| 権利者名 | 同志社大学理工学研究所 | |||||||||||
| 言語 | ja | |||||||||||
| 権利者名 | Science and Engineering Research Institute of Doshisha University | |||||||||||
| 言語 | en | |||||||||||
| 関連サイト | ||||||||||||
| 関連タイプ | isFormatOf | |||||||||||
| 識別子タイプ | URI | |||||||||||
| 関連識別子 | https://doors.doshisha.ac.jp/opac/opac_link/bibid/SB00960326/?lang=0 | |||||||||||
| 言語 | ja | |||||||||||
| 関連名称 | 掲載刊行物所蔵情報へのリンク ／ Link to Contents | |||||||||||
| フォーマット | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | application/pdf | |||||||||||
| 出版タイプ | ||||||||||||
| 出版タイプ | VoR | |||||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||||
| 日本十進分類法 | ||||||||||||
| 主題Scheme | NDC | |||||||||||
| 主題 | 007.64 | |||||||||||
