属性文法に基づくテストプログラム生成器の設計と実装
スポンサーリンク
概要
- 論文の詳細を見る
コンパイラをテストする際、コンパイラのすべての機能をもれなくテストするようなソースプログラムを人手によって作成することは非常な労力を要する。このテストは,構文的にも意味的にも正しい、プログラムが正しく処理されることを調べる正常系試験と、その一方または両方が誤っているプログラムに対して適切なエラーメッセージが出力されることを調べる異常系試験の2つに分けられる。本論文では、そのそれぞれに対して、属性文法によるコンパイラの形式的定義より自動的にソースプログラムを生成する方法を試みた.その際,属性文法の文脈条件を意図的に真または偽にすることによって,意味的に正しいまたは誤ったプログラムを生成できたことがオリジナルな点である.
- 1995-03-09
著者
-
太田 行紀
東京工業大学情報理工学研究科同数理・計算科学専攻
-
佐々 政孝
東京工業大学大学院情報理工学研究科
-
脇田 建
東京工業大学大学院情報理工学研究科数理・計算科学専攻
-
脇田 建
東京工業大学
-
脇田 建
東京工大
関連論文
- 彩色意図にもとづく色覚障害者のための再配色システム(セッション2:インタラクションデザイン:理論と実践(2))
- 属性文法に基づくテストプログラム生成器の設計と実装
- 仮想機械の仕様記述に基づくバイトコードインタプリタ生成系
- 属性文法の系統的デバッグ法
- 双方向CTLによるJava最適化器の生成
- 仮想機械の仕様記述に基づくバイトコードインタプリタ生成系
- VoIPにおける音声品質補償方式の検討
- 自動的等価性差分の抽出によるSSAコンパイラ最適化器の生成するコードの正しさの検証
- D-041 大規模社会ネットワークからのクラスタ構造の抽出(D分野:データベース)
- リサーチ9 コンパイラにおける字句解析・構文解析過程の視覚化
- コンパイラにおける構文解析過程の視覚化
- システムXEROにおける高水準データ定義/操作言語
- 静的単一代入形式を用いた最適化(発展編)(最新コンパイラ技術とCOINSによる実践)
- 静的単一代入形式を用いた最適化(導入編)(最新コンパイラ技術とCOINSによる実践)
- 式の出現に基づく大域値番号付け
- コンパイラ・インフラストラクチャにおける静的単一代入形式最適化部の実現
- 疎な要求駆動型データフロー解析
- 一級継続の並行言語への導入
- Java言語上の細粒度マルチスレッドフレームワークにおける問題点の考察
- メモリ管理の性能評価基盤
- BDDを利用したCプログラムのfield-sensitiveなポインタ解析(プログラム解析,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2008))
- Array SSAとそれを用いた最適化の実装と評価(プログラム解析,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2008))
- BDDを利用したCプログラムのfield-sensitiveなポインタ解析(プログラム解析,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2008))
- Array SSAとそれを用いた最適化の実装と評価(プログラム解析,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2008))
- COINSコンパイラ・インフラストラクチャの開発(ソフトウェア論文,最新コンパイラ技術とCOINSによる実践)
- 静的単一代入形式上で通常形式部分冗長除去を実現する汎用的手法
- コンパイラ・インフラストラクチャCOINSを用いたSSA最適化(その2)(21世紀のコンパイラ道しるべ・・COINSをベースにして,連載6)
- コンパイラ・インフラストラクチャCOINSを用いたSSA最適化(その1)(21世紀のコンパイラ道しるべ・・COINSをベースにして)
- 静的単一代入形式からの逆変換アルゴリズムの比較と評価
- 属性文法の系統的デバッグ法におけるバグ絞り込みの効率化(プログラミングおよびプログラミング言語)
- アセンブリ言語上でのプログラム特化
- 10-217 東京工業大学におけるOCWの活用(口頭発表論文,オーガナイズドセッション「オープンコースウエアとその活用」-I)
- O-011 大規模スパムフィルタと実験環境の構築手法の提案(O分野:情報システム)
- SSA形式によるレジスタ割付
- 並列オブジェクト指向言語への安全な継承の導入について
- OOPSLA '89に参加して
- POPL2002/PEPM2002/PADL2002報告(プログラミング及びプログラミング言語)
- LR属性文法に基づいたインクリメンタルな属性評価
- 属性文法に基づくグラフィカルユーザインタフェース生成系とその評価
- 仮想機械の仕様記述に基づくバイトコードインタプリタ生成系
- SSA形式を利用したPredicated Execution向け命令スケジューリング手法
- SSA形式を利用したPredicated Execution向け命令スケジューリング手法
- バッファ溢れ攻撃とその防御(コンピュータセキュリティシリーズ(1))
- メモリ管理機能のモジュラーかつ効率的な実装手法
- ウィルスをはじめとする悪性ソフトウエア
- ウィルスをはじめとする悪性ソフトウエア
- Java, C#の次に来るのは?(インタラクティブ・エッセイ)
- SSA形式を中間言語とするコンパイラの属性文法による定式化と開発(一般発表)
- 属性文法によるSSA上の最適化器記述
- 属性文法に対するデバッガ
- 循環属性文法に基づく生成系Junについて
- 属性文法に対するデバッグ方式の構想
- 木属性文法とGUI生成系を利用したデバッガの作成
- 異機種分散環境上でのDcamlバイトコードコンパイラの設計と実現
- 異機種分散環境上でのDcamlネイティブコンパイラの設計と実現
- 異機種分散環境上のアプリケーション開発環境Dcamlシステムの構想
- 並行言語Harmony/2とその一級継続機構
- 東日本大震災 危機発生時の対応について考える:9.危機に試されるスマートフォンのアプリケーション
- 並行言語Harmony/2とその一級継続機構
- データベース指向OS XEROのデータベースシステム実現モデル
- データベース処理を指向した分散OS XEROの永続オブジェクト管理
- データベース処理を指向した分散オペレーティング・システムXEROの設計
- プログラミング言語処理系SqueakのSHARP Zaurusへの移植とその評価
- 低レベル命令セット仮想計算機を利用した混成環境におけるプロセス移送
- 高速実行可能な低レベル命令セット仮想計算機の設計
- 「情報処理学会論文誌 : プログラミング」の編集について
- 多言語に対応した自己記述をもったバイナリデータ形式
- 東京工業大学における情報教育(物理と情報)
- 属性文法に対する系統的デバッグ方式
- 属性文法記述に基づくプログラミング環境の生成方式
- 並行トランザクション機構の実装
- 1パス型属性文法に基づくコンパイラ生成系Rie
- フリーソフトウェアの開発と保守作業に関する考察 : コンパイラ生成系Rieを例として
- Actorモデルにもとづいた非同期並列プログラミング言語ActGPUのコンパイラの実装とその評価
- Actorモデルにもとづいた非同期並列プログラミング言語ActGPUのコンパイラの実装とその評価
- 解析表現文法とSchemeマクロ展開器を用いたJavaScript向けHygienic構文マクロシステムの実装