プログラム・デバッグにおける記号的実行の応用
スポンサーリンク
概要
- 論文の詳細を見る
In this paper, we describe the program debugging system based on the symbolic execution. The basic idea of the symbolic execution is to allow variables to take on symbolic values as well as real values. That is, each symbolic execution result may be equivalent to a large number of usual test cases. But the symbolic execution of whole program is not generally practical because of the vast computational power and the poor loop management. In order to get over two kinds of defects above and to make the symbolic execution more practical, our system has paid attention to the following two points. First, this system symbolically executes only a part of the program according to the user specification of necessary variables. Namely, execution paths of no interest are excluded by means of the simple data flow analysis. Second, loop management is improved by the case analysis of the feature of loops. Program loops are classified into the definite iteration loops, the finite iteration loops and the indefinite iteration loops. And that, every loops are processed in terms of this classification respectively. The target language of this system is a subset of PL/I. Most of this system has been implemented by PL/I under CMS of IBM4341 processor system. One part of this system, symbolic expression handling module, is processed by a PROLOG interpreter. We have obtained sufficient results by the application of this system to some error cases. The results are compared to those of conventional debugging system and to those of other symbolic execution system.
- 湘南工科大学の論文
- 1985-03-26
著者
関連論文
- プログラムと仕様からの設計上の決定の抽出
- プログラム解析システム : PANSY
- 循環の解析による並行プログラムの検証手法
- インクリメンタルシミュレーションにおけるイベント保存/評価効率の改善
- 質問に対する回答者選択を設計固有情報を用いて支援する手法について
- 設計支援環境DATEにおける設計モデルの統合化手法
- 設計環境におけるツールの更新に対する影響範囲の決定手法
- 実行時仕様の導入による形式的仕様の実行
- 設計支援ツールの統合化環境DATEにおける設計知識構造
- プログラム変更に対する正当性検証技法の適用
- 表現形式の変換による仕様のデバッグ
- 条件分岐の効率的実行を可能とする細粒度並列アーキテクチャ
- 要求仕様の変更における影響分析の支援方法について
- 設計履歴とドキュメントを用いたソフトウェア変更支援
- 拡張PDGを利用した最適ループ展開数算定法
- 大規模ソフトウェアの保守における形式的仕様の適用
- 変更を受けたソフトウェアを対象とするテストケース生成
- 離散事象シミュレーション言語O^2SLについて
- 競合集合の拡張によるプロダクションシステムのデバッグ
- 細粒度並列計算機NLITHの実現とその評価
- 細粒度並列計算機NLITHの概要
- 既存言語における抽象化技法支援の一手法について
- 部品を使用したプログラムの保守支援エキスパートシステム
- チューナブル・アーキテクチャ計算機システムにおけるチューニング過程について
- プログラム・デバッグにおける記号的実行の応用