2024-03-29T16:55:30Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000219052024-03-29T05:26:34Z01164:01384:01454:01458
属性文法に基づくテストプログラム生成器の設計と実装The design and implementation of a test program generator based on attribute grammarsjpnhttp://id.nii.ac.jp/1001/00021905/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=21905&item_no=1&attribute_id=1&file_no=1Copyright (c) 1995 by the Information Processing Society of Japan東京工業大学情報理工学研究科同数理・計算科学専攻東京工業大学情報理工学研究科同数理・計算科学専攻東京工業大学情報理工学研究科同数理・計算科学専攻太田, 行紀脇田, 建佐々, 政孝コンパイラをテストする際、コンパイラのすべての機能をもれなくテストするようなソースプログラムを人手によって作成することは非常な労力を要する。このテストは,構文的にも意味的にも正しいプログラムが正しく処理されることを調べる正常系試験と、その一方または両方が誤っているプログラムに対して適切なエラーメッセージが出力されることを調べる異常系試験の2つに分けられる。本論文では、そのそれぞれに対して、属性文法によるコンパイラの形式的定義より自動的にソースプログラムを生成する方法を試みた.その際,属性文法の文脈条件を意図的に真または偽にすることによって,意味的に正しいまたは誤ったプログラムを生成できたことがオリジナルな点である.In testing a compiler, it is very hard to manually generate test programs that cover all functions of the compiler. The test consist of the normality test and the abnormality test. The former checks whether the compiler works for syntactically and semantically correct programs. The latter checks whether the compiler detects errors and gives proper error messages for programs including syntax or semantic errors. In this paper, we try to automatically generate test programs for each of the above cases from formal definition by attribute grammars. The originality of this research resides in that we can generate semantically correct/incorrect programs by making context condition true/false intentionally.AN10112981情報処理学会研究報告ソフトウェア工学(SE) 199525(1994-SE-103)1851921995-03-092009-06-30