等価変換に基づくCコンパイラのランダムテストにおける制御文およびデータ型の拡張

• Item type: Symposium(1)
• 公開日: 2018-08-22
• タイトル: 等価変換に基づくCコンパイラのランダムテストにおける制御文およびデータ型の拡張
• タイトル / 言語: en
• タイトル: Enriching Generation of Control Statements and Data Structures for Random Test of C Compilers Based on Equivalence Transformation
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: アルゴリズム
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_5794
• 資源タイプ: conference paper
• 著者所属: 関西学院大学
• 著者所属: 関西学院大学
• 著者所属: 関西学院大学
• 著者所属(英): en
• 著者所属(英): Kwansei Gauin University
• 著者所属(英): en
• 著者所属(英): Kwansei Gauin University
• 著者所属(英): en
• 著者所属(英): Kwansei Gauin University
• 著者名: 高倉, 正悟; 岩辻, 光功; 石浦, 菜岐佐
• 著者名(英): Shogo, Takakura; Mitsuyoshi, Iwatsuji; Nagisa, Ishiura
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本稿では，等価変換に基づく C コンパイラのランダムテストにおける不具合検出能力の向上を目的として，プログラム生成を強化する手法を提案する．等価変換に基づくランダムプログラム生成法は，生成規則のみに基づく生成法に比べて意味まで考慮したプログラムの生成が可能であるが，この方法で生成可能な構文はこれまで代入文，if 文，for 文に限られており，変数もスカラ変数しか扱えなかった．本稿では，制御文に関しては関数呼び出し，while 文，switch 文を生成可能にするとともに，データ型に関しても配列，構造体，共用体およびその任意回のネストを生成可能にする．本手法をランダムテストシステム Orange 4 に追加実装した結果，従来では検出できなかった不具合を検出できるようになり，GCC - 8.0.0 および LLVM / Clang - 6.0 （それぞれ 2017 年 12 月時点における最新バージョンの開発版） において新たな不具合を検出することができた．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This article proposes a method of enriching program generation in random testing of C compilers based on equivalence transformation on test programs. While the conventional method based on equivalence transformation can only generate programs with scalar variables, assign statements, if and for statements, the proposed method enables generation of arrays, structs, unions, as well as while and switch andfunction calls. Orange4 C compiler test system extended with the proposed method has detected bugs in the latest development versions of GCC-8.0.0 and LLVM / Clang-6.0 which had been missed by the existing test methods.
• 書誌情報: DAシンポジウム2018論文集; 巻 2018, p. 9-14, 発行日 2018-08-22
• 出版者 / 言語: ja
• 出版者: 情報処理学会