正解はアです。
2010年度 秋期 高度試験共通 午前I 問15
難度
標準
プログラム実行中の特定の時点で成立する変数間の関係や条件を記述した論理式を埋め込んで、そのプログラムの正当性を検証する手法はどれか。
選択肢
解説
結論 → 詳細 → 補足 の 3 層構成
展開閉じる
解説
結論 → 詳細 → 補足 の 3 層構成
詳細Layer 2展開閉じる
アサーションは実行の特定箇所で成り立つべき条件を論理式として記述し、実際に成立するか検査するものです。例えば除算前の除数が0でないという条件を確認します。コード追跡は実行経路の追跡、スナップショットダンプはある時点の状態の出力、カバレッジ分析はテストした範囲の測定で、条件式を埋め込む手法とは異なります。
この解説は？
分野「開発技術」の学習ポイント
この問題の理解を「分野全体の力」に広げるための足がかり
- 何が問われるか
- 本問の分野で問われる代表的な知識・用語の整理。
- 学習の進め方
- 正解／誤答の選択肢ごとに「なぜ正しい / なぜ違うのか」を1行ずつ言語化すると定着する。
AI コパイロット
この問題を AI と深掘りする
用語解説・選択肢分析・類題生成をその場で対話。クイズモードでは解答→解説がゼロ遷移。
関連する問題
開発技術 の他の問題
- 高度試験共通2009年度 秋期 午前I 問9Web アクセシビリティに配慮した画面の設計方針のうち、適切なものはどれか。
- 高度試験共通2009年度 秋期 午前I 問16JIS X 0129-1 で規定されたソフトウェア製品の品質副特性の説明のうち、信頼性に分類されるものはどれか。
- 高度試験共通2009年度 秋期 午前I 問17取得者(発注者)と供給者(受注者)の二者間取引を明確化するためのものであり、業務分析,業務設計、ソフトウェアを中心としたシステムの企画、要件定義,開発,運用,保守及びそれらにかかわる諸活動を対象としており、国際規格に適合しているものはどれか。
- 高度試験共通2010年度 秋期 午前I 問9ヤコブ・ニールセンのユーザインタフェースに関する 10 か条のヒューリスティックスの一つである“システム状態の視認性”に該当するものはどれか。
- 高度試験共通2010年度 秋期 午前I 問16マッシュアップに該当するものはどれか。
他年度の「開発技術」問題
高度試験共通 の同じ分野を年度をまたいで演習する
- 令和7年度 春期高度試験共通 午前I 問8W3C で仕様が定義され、矩形や円、直線,文字列などの図形オブジェクXML 形式で記述し、Web ページでの図形描画にも使うことができる画像フォーマットはどれか。
- 令和6年度 春期高度試験共通 午前I 問16オブジェクト指向におけるクラス間の関係のうち、適切なものはどれか。
- 令和5年度 春期高度試験共通 午前I 問3配列に格納されたデータ 2, 3, 5, 4, 1に対して、クイックソートを用いて昇順に並べ替える。2回目の分割が終わった状態はどれか。ここで、分割は基準値より小さい値と大きい値のグループに分けるものとする。また、分割のたびに基準値はグループ内の配列の左端の値とし、グループ内の配…
- 令和4年度 春期高度試験共通 午前I 問3プログラム言語のうち、ブロックの範囲を指定する方法として特定の記号や予約語を用いず、等しい文字数の字下げを用いるという特徴をもつものはどれか。
- 令和3年度 春期高度試験共通 午前I 問3アルゴリズム設計としての分割統治法に関する記述として、適切なものはどれか。
高度試験共通 の学習ガイド
ネットワークスペシャリスト 難易度と合格率の実態｜過去5年推移と他高度試験比較
ネットワークスペシャリスト（NW）試験の難易度と合格率を、過去5年の推移と他の高度試験との比較で解説。合格者のバックグラウンド傾向と、難易度に応じた学習投資の目安を示します。
ネットワークスペシャリスト 頻出パターン完全攻略｜プロトコル・設計・障害解析
ネットワークスペシャリスト（NW）試験の頻出パターンをプロトコル動作・ネットワーク設計・障害解析・セキュリティの4カテゴリで整理。午後Iの配点が高いポイントを集中解説します。
ネットワークスペシャリスト 午後で時間が足りない人へ｜午後I・午後IIの時間配分と長文読解の時短術
ネットワークスペシャリスト（NW）試験の午後で「時間が足りない・解き終わらない」人向けに、午後I（90分・3問中2問）と午後II（120分・2問中1問）の時間配分、構成図と要件文を速く読むコツ、サブネット計算や記述で時間を溶かさない方法を解説します。
ネットワークスペシャリスト試験 出題傾向の最新分析【2026年最新】｜増えた論点・捨て論点
ネットワークスペシャリスト試験の直近2年の出題傾向を分析し、増加している新論点・減少している論点・捨てて良い論点を整理。学習計画の優先度付けに活用できます。