令和6年度春期午前Ⅱ 情報処理安全確保支援士試験

問題．23 / 25　
覚えた数 : -

ソフトウェアの品質を確保するための検証に形式手法を用いる。このとき行う検証方法の説明として，適切なものはどれか。

ア. 進行役(モデレーター)，記録役などの役割を決めた複数人で，成果物に欠陥がないかどうかを検証する。

イ. プログラムの内部構造とは無関係に，プログラムが仕様どおりに機能するかどうかを検証する。

ウ. プログラムの内部構造に着目し，プログラムが仕様どおりに動作するかどうかを検証する。

エ. 明確で厳密な意味を定義することができる言語を用いてソフトウェアの仕様を記述して，満たすべき性質と仕様とが整合しているかどうかを論理的に検証する。

ここに解答が表示されます...

　経過時間:未設定

マイ情報詳細設定解答履歴

スポンサー

採点・解答

次の問題へ進む

問題情報

読み方
発音
カテゴリー: 高度情報処理試験（午前Ⅱ）情報処理安全確保支援士令和6年度春期過去問題

マイ情報

フラグ

タグ

この問題の解答履歴

この問題の解答履歴はありません。

この履歴は、ログインしている必要があります。

解答率詳細

出題数: 0
正解数: 0
不正解数: 0
無回答数: 0
正解率: 0%

設定

自動遷移

次からの問題番号

選択肢変更

次回からの出題パターン

文字の大きさ

画像サイズ

問題表示

タイマー表示

ログイン中のみ利用可能

マイページで管理可能です。

覚えたフラグ登録済みの問題を除いて出題する

タグ名変更はマイページで可能です。

スポンサー

解説

この問題の解説はありません。

解答履歴

No.	問題	解答結果	備考

みんなのスレッド一覧

この問題のスレッドを作成

まだ、この問題のスレッドはありません。
>> すべてのスレッド一覧へ

スポンサー

令和6年度 春期 午前Ⅱ 情報処理安全確保支援士試験

問題．23 / 25 覚えた数 : -

採点・解答

問題情報

マイ情報

この問題の解答履歴

解答率詳細

設定

解説

関連問題

解答履歴

みんなのスレッド一覧

令和6年度春期午前Ⅱ 情報処理安全確保支援士試験

問題．23 / 25　
覚えた数 : -