JavaScriptを有効にして再度、お越しください。新規登録ログインお知らせ※ユーザ登録は無料です.情報学広場に掲載されているコンテンツには有料のものも含まれています.有料コンテンツをご購入いただいた場合でも、領収書の発行はいたしておりません。クレジットカード会社様からの領収書/請求書をもってかえさせていただいております。複写複製および転載複製に係る著作権を学術著作権協会に委託しています。当該利用をご希望の方は、学術著作権協会が提供している複製利用許諾システムもしくは転載許諾システムを通じて申請ください。本会会員(賛助会員含む)および著者が転載利用の申請をされる場合については、学術目的利用に限り、無償で転載利用いただくことが可能です。刊行物に掲載されている製品名等は、各社の商標または登録商標です。これに基づく試作経験について述べる。大規模ソフトウェアの運用開始後のバグ原因解析は,その開発に従事した熟練者の知識に依存しているのが現状である。運用サービス中に発生したバグの原因解析のための情報としては,システムが内部矛盾を検出した時点で出力されるメモリ情報のダンプリストが与えられる。その解析の手順はシステムを構成するプログラムのデータ領域の内容から実行の経過や矛盾を生じた原因を推定するものである。この手順のうち,データ内容の検索と値のチェックについては機械化による高速かつ網羅度の高い作業が可能と考えられる。Errors)について述べる。はじめに既存のテストデバッグ自動化方式で採られてきたソースコードへのチェック条件挿入法(アサーション)を大規模システムへ適用する場合の問題点と我々の採った解決法について述べる。次に,チェック条件の記述方法とこれを基にしたデータ診断の実現方法について述べる。チェック対象とするメモリ情報の収集方法を示し,このうちの1つであるバグ再現時の実行履歴の圧縮方法について述べる。最後に,試作したCHASEを2つのコンパイラのバグ解析に適用した結果について述べる。etc.コンテンツに関連する検索キーワード。