アサーションとは？あさーしょん
アサーションとは、プログラミングにおけるアサーション（表明、assert）は、その地点で成立しているはずの条件を式として埋め込み、実行時に検査して成立しなければ異常として即座に報告する仕組み。関数の入口で満たされるべき前提条件、出口で満たすべき事後条件、処理を通じて崩れてはならない不変条件を、コードの中に書いて検査できる。
最終更新：2026-10-06
この語が出る過去問を解く →背景
誤った前提のまま処理が進むと、異常が表面化するのは何段も後になり、そこから原因の地点まで遡るのに時間がかかる。壊れた状態で走り続けるより、前提が崩れた瞬間に止めて報告したほうが、原因の特定も被害の抑止も容易になる。この考え方を言語機能として持たせたのがアサーションで、契約による設計の実装手段でもある。セキュリティの側から見ると、想定外の値がそのまま流れ込むことを開発中に検出できる手段にあたる。
具体例
C言語のassertマクロ、Javaのassert文（実行時に-eaで有効化）、Pythonのassert文がこれにあたる。関数の入口でポインタが非NULLであること、配列の添字が範囲内であることを表明しておけば、条件を破った呼び出しが試験の段階で落ちる。
試験での引っ掛け
出荷版では無効化する運用が一般的なので、assertの式の中で値を書き換えるなど副作用のある書き方をしてはならない。無効化した途端に挙動が変わる。同じ理由で、外部からの入力の妥当性検査をアサーションで代用してはならない。また同じ「アサーション」という語でも、SAMLでは認証結果を表明する署名付きのデータを指し、SQLではCHECK制約に相当するASSERTION、システム監査では「監査要点」を指す。支援士ではSAMLのアサーションと同じ設問に並ぶことがあるため、どの文脈の語かを先に見定める必要がある。
関連用語
出た過去問
問題文で直接問われたものと、解説の中で触れられたものが含まれます。
出典：平成29年度 秋期 情報処理安全確保支援士試験 午前Ⅱ 問3（IPA）解説で登場
標準化団体OASISが，Webサイト間で認証，属性及び認可の情報を安全に交換するために策定したフレームワークはどれか。
正解：SAML
要点：SAMLはOASIS策定の認証・認可情報交換の枠組み
SAMLはOASISが策定したXMLベースのフレームワークで、認証・属性・認可の情報をアサーションという形式で異なるドメイン間でやり取りする。これによりシングルサインオンが実現でき、IdP（ID提供者）とSP（サービス提供者）の間で信頼関係を結ぶ構成をとる。
出典：平成31年度 春期 情報処理安全確保支援士試験 午前Ⅱ 問3（IPA）解説で登場
標準化団体OASISが，Webサイトなどを運営するオンラインビジネスパートナ間で認証，属性及び認可の情報を安全に交換するために策定したものはどれか。
正解：SAML
要点：SAMLは認証・属性・認可の情報を安全に交換する標準
SAMLはOASISが策定したXMLベースの標準で、認証、属性、認可に関する情報（アサーション）を異なるドメインのシステム間で安全にやり取りするための仕様である。これによりドメインをまたぐシングルサインオンが実現できる。
出典：令和2年度 10月試験 情報処理安全確保支援士試験 午前Ⅱ 問2（IPA）
SAML（Security Assertion Markup Language）の説明として、最も適切なものはどれか。
正解：認証情報に加え、属性情報とアクセス制御情報を異なるドメインに伝達するためのWebサービスの仕様
要点：SAMLは認証・属性・認可をドメイン間で伝える仕様
SAMLは、認証結果や利用者の属性、アクセス可否の判断をアサーションと呼ばれるXML文書で表現し、異なる組織やドメインの間で安全にやり取りするための標準仕様である。IdP（認証を行う側）とSP（サービスを提供する側）が信頼関係を結ぶことで、ドメインをまたいだシングルサインオンやフェデレーションが実現できる。認証・属性・認可の三種のアサーションを扱える点が要点である。
出典：令和3年度 秋期 情報処理安全確保支援士試験 午前Ⅱ 問4（IPA）
シングルサインオンの実装方式の一つであるSAML認証の特徴はどれか。
正解：IdP（Identity Provider）がSP（Service Provider）の認証要求によって利用者認証を行い、認証成功後に発行されるアサーションをSPが検証し、問題がなければクライアントがSPにアクセスする。
要点：SAMLはIdPの署名付きアサーションをSPが検証して認証する
SAML認証では、サービスを提供するSPが利用者の認証をIdPに委ねる。SPからの認証要求を受けたIdPが利用者を認証し、その結果を署名付きのアサーションとして返す。SPは署名を検証してアサーションの正当性を確かめ、問題がなければアクセスを許可する。組織やドメインをまたいで信頼関係を結べるため、クラウドサービス間のシングルサインオンで広く使われる。
出典：令和4年度 秋期 情報処理安全確保支援士試験 午前Ⅱ 問3（IPA）解説で登場
標準化団体OASISが,Webサイトなどを運営するオンラインビジネスパートナー間で認証,属性及び認可の情報を安全に交換するために策定したものはどれか。
正解：SAML
要点：SAMLは認証・属性・認可を組織間で交換するOASISの仕様
SAMLは、標準化団体OASISが策定した、認証・属性・認可の情報をXML形式のアサーションとして組織間でやり取りする仕様である。認証を担うIdPと、サービスを提供するSPが信頼関係を結ぶことで、事業者をまたいだシングルサインオンやフェデレーションが実現できる。アサーションには署名が施され、改ざんや偽造を検出できる。
出典・参考
公式シラバスの4 開発技術 ＞ 3. 実装・構築 ＞ (7) デバッグに掲載されている用語です。
解説は資格暗記が独自に作成しています。過去問の出典は各問題に記載のとおりです。