IT用語帳
FEソフトウェア · 開発ツール

アサーションチェッカ

Assertion Checker

あさーしょんちぇっか

プログラム中に記述したアサーション(実行中に成り立つべき条件)が、実行時に満たされているかを検査し、満たされないときに通知するツール。誤りが起きた箇所を早く特定できる。

共有:

Past Exams

過去問での出題

過去問で 3 回出題(応用情報技術者試験 2・基本情報技術者試験 1)

出典: 独立行政法人情報処理推進機構(IPA)の過去問題。問題文は IPA のサイトの PDF で確認できます。「選択肢」は、問題文ではなく選択肢に出たものです。用語名で照合しているため、関係の薄い問題が含まれることがあります。

基本情報技術者試験の過去問によく出る用語

Related

関連キーワードの用語

FEトレーサー

プログラムの実行経路や変数の変化を順に記録して表示するデバッグ支援ツール。どこで想定と違う動きをしたかをたどれるため、原因の絞り込みに役立つ。

FEインスペクター

プログラムの実行中に、変数やデータ構造の内容を表示して確かめられるようにするデバッグ用のツール。Webブラウザの開発者ツールでは、表示中のページのHTML要素やスタイルを調べて変更できる機能を指す。

FEスナップショット

ある時点の状態をそのまま記録したもの。デバッグでは、プログラムの実行中の指定した時点で、メモリやレジスタの内容を出力する機能(スナップショットダンプ)を指す。ストレージや仮想マシンでは、ある時点のデータの状態を瞬時に保存する技術を指す。

FEコンパイラ

高水準言語のソースコードを機械語(オブジェクトコード)に一括変換する言語処理プログラム。字句解析、構文解析、意味解析、最適化、コード生成の工程を経て翻訳する。インタプリタと異なり実行前に全体を変換するため実行速度が速い。

FE目的プログラム

原始プログラム(ソースプログラム)をコンパイルして生成される機械語のプログラム。オブジェクトプログラムともいう。単独では実行できず、リンカが複数の目的プログラムやライブラリを結合して実行可能形式にする。

FEIDE

ソフトウェア開発に必要なエディタ、コンパイラ、デバッガ、ビルドツールなどを統合した開発環境。コード補完や構文チェックなどの機能により開発効率を向上させる。Visual StudioやEclipseが代表的。