属性文法に基づくテストプログラム生成器の設計と実装

• 太田 行紀

  東京工業大学 情報理工学研究科 同数理・計算科学専攻

• 脇田 建

  東京工業大学 情報理工学研究科 同数理・計算科学専攻

• 佐々 政孝

  東京工業大学 情報理工学研究科 同数理・計算科学専攻

書誌事項

タイトル別名

• The design and implementation of a test program generator based on attribute grammars

抄録

コンパイラをテストする際、コンパイラのすべての機能をもれなくテストするようなソースプログラムを人手によって作成することは非常な労力を要する。このテストは,構文的にも意味的にも正しい、プログラムが正しく処理されることを調べる正常系試験と、その一方または両方が誤っているプログラムに対して適切なエラーメッセージが出力されることを調べる異常系試験の2つに分けられる。本論文では、そのそれぞれに対して、属性文法によるコンパイラの形式的定義より自動的にソースプログラムを生成する方法を試みた.その際,属性文法の文脈条件を意図的に真または偽にすることによって,意味的に正しいまたは誤ったプログラムを生成できたことがオリジナルな点である.

収録刊行物

• 情報処理学会研究報告. SE,ソフトウェア工学研究会報告

  情報処理学会研究報告. SE,ソフトウェア工学研究会報告 103 185-192, 1995-03-09

  一般社団法人情報処理学会

詳細情報

• CRID: 1571980077130409088
• NII論文ID: 110002931708
• NII書誌ID: AN10112981
• ISSN: 09196072
• 本文言語コード: ja
• データソース種別:
  • CiNii Articles