正解はアです。
2010年度 秋期 高度試験共通 午前I 問15
難度
標準
プログラム実行中の特定の時点で成立する変数間の関係や条件を記述した論理式を埋め込んで、そのプログラムの正当性を検証する手法はどれか。
選択肢
解説
結論 → 詳細 → 補足 の 3 層構成
展開閉じる
解説
結論 → 詳細 → 補足 の 3 層構成
詳細Layer 2展開閉じる
アサーションは実行の特定箇所で成り立つべき条件を論理式として記述し、実際に成立するか検査するものです。例えば除算前の除数が0でないという条件を確認します。コード追跡は実行経路の追跡、スナップショットダンプはある時点の状態の出力、カバレッジ分析はテストした範囲の測定で、条件式を埋め込む手法とは異なります。
この解説は？
分野「開発技術」の学習ポイント
この問題の理解を「分野全体の力」に広げるための足がかり
- 何が問われるか
- 本問の分野で問われる代表的な知識・用語の整理。
- 学習の進め方
- 正解／誤答の選択肢ごとに「なぜ正しい / なぜ違うのか」を1行ずつ言語化すると定着する。
AI コパイロット
この問題を AI と深掘りする
用語解説・選択肢分析・類題生成をその場で対話。クイズモードでは解答→解説がゼロ遷移。
関連する問題
開発技術 の他の問題
- 高度試験共通2009年度 秋期 午前I 問5フェールセーフの考え方として、適切なものはどれか。
- 高度試験共通2009年度 秋期 午前I 問9Web アクセシビリティに配慮した画面の設計方針のうち、適切なものはどれか。
- 高度試験共通2009年度 秋期 午前I 問16JIS X 0129-1 で規定されたソフトウェア製品の品質副特性の説明のうち、信頼性に分類されるものはどれか。
- 高度試験共通2009年度 秋期 午前I 問17取得者(発注者)と供給者(受注者)の二者間取引を明確化するためのものであり、業務分析,業務設計、ソフトウェアを中心としたシステムの企画、要件定義,開発,運用,保守及びそれらにかかわる諸活動を対象としており、国際規格に適合しているものはどれか。
- 高度試験共通2010年度 秋期 午前I 問9ヤコブ・ニールセンのユーザインタフェースに関する 10 か条のヒューリスティックスの一つである“システム状態の視認性”に該当するものはどれか。
他年度の「開発技術」問題
高度試験共通 の同じ分野を年度をまたいで演習する
- 令和7年度 春期高度試験共通 午前I 問2AI における機械学習の過程において、過学習と疑われたときの解消方法として、最も適切なものはどれか。
- 令和6年度 春期高度試験共通 午前I 問16オブジェクト指向におけるクラス間の関係のうち、適切なものはどれか。
- 令和5年度 春期高度試験共通 午前I 問16モジュールの独立性を高めるには、モジュール結合度を低くする必要がある。モジュール間の情報の受渡し方法のうち、モジュール結合度が最も低いものはどれか。
- 令和4年度 春期高度試験共通 午前I 問3プログラム言語のうち、ブロックの範囲を指定する方法として特定の記号や予約語を用いず、等しい文字数の字下げを用いるという特徴をもつものはどれか。
- 令和3年度 春期高度試験共通 午前I 問17スクラムチームにおけるプロダクトオーナの役割はどれか。
高度試験共通 の学習ガイド
システムアーキテクト試験 出題傾向の最新分析【2026年最新】｜増えた論点・捨て論点
システムアーキテクト試験の直近2年の出題傾向を分析し、増加している新論点・減少している論点・捨てて良い論点を整理。学習計画の優先度付けに活用できます。
システムアーキテクト試験 過去問の解き方完全ガイド｜AI解説で時短する5ステップ
システムアーキテクト試験の過去問を効率的に回すための5ステップを紹介。AIコパイロットを使った時短解説の取り方、復習タイミング、選択肢分析の手順までまとめました。
システムアーキテクト試験 頻出論点トップ10と押さえ方｜過去5年分の傾向分析
システムアーキテクト試験の過去5年分の出題傾向から、合格に直結する頻出論点トップ10を抽出。各論点ごとの出題形式と効率的な押さえ方をまとめました。
システムアーキテクト試験 直前1ヶ月で合格点に乗せる詰め込み学習法
システムアーキテクト試験本試験まで残り1ヶ月の段階で何をすべきかを、科目A・Bに沿って解説。直前期に効く頻出論点と過去問の回し方を紹介。