プログラム仕様

ウィキペディア

プログラム仕様

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/02/14 06:15 UTC 版)

プログラム仕様（プログラムしよう、英: Program specification）は、プログラムに求められることを定義したものである。プログラムの設計図や開発者から見たユーザーマニュアルの元となる文書のような「非形式的」な形態の場合と、数学的に厳密に動作を定義する「形式的」な形態の場合がある。実際、最もよい仕様は既存のアプリケーションを理解して改善するために書かれたものであることが多いが、重要なソフトウェアは開発前に注意深く仕様を記述する必要がある。仕様は特に常に安定性が求められる外部インタフェースでは重要である。

古典的な分類

ウォーターフォール・モデルなどの古典的開発手法では、以下のようにプログラム仕様を分け、トップダウン的に作成していく。

• 基本仕様（Basic specification）は、要求仕様に基づいて、機能概要、機能構成、ハードウェア構成、運用の前提条件、性能や品質の要件などを記述する。最近では、要求分析でかなり詳細な要求仕様が作成されるため、基本仕様という形態では文書を作成しないこともある。
• 機能仕様（Functional specification）は、ソフトウェア開発においてプログラムや大規模なソフトウェアシステムの動作を記述した一連の文書を指す。これら文書は、主にソフトウェアが受け付けるべき入力を列挙し、それら入力に対してそのシステムがどのように動作するかを記述する。
• 詳細仕様（Detail specification）は、具体的なコードの実装を説明する文書である。技術仕様とも呼ばれる。採用する開発手法によってはソースコードドキュメンテーションとしてソースファイル内に詳細仕様を記述することもある。例えばエクストリーム・プログラミングでは、このような仕様を独立した文書として書くことはない。

以下では機能仕様について解説する。

外部エージェントとシステムの相互作用

ソースコードや技術設計文書とは異なり、機能仕様ではシステムの内部の動きがどうなるかを定義しないことが多い。その代わりに外部の各種エージェント（ユーザー、周辺機器、他のコンピュータなど）から見たそのシステムの振る舞いや相互作用を記述する。

例えば、次のように記述される:

ユーザーがOKボタンをクリックした場合、ダイアログが閉じられ、フォーカスはダイアログが開かれる以前の状態でのメインウィンドウに戻る。

このように、外部エージェント（この場合ユーザー）とソフトウェアシステムの相互作用を記述する。ユーザーがOKボタンをクリックするという入力を与えたとき、プログラムはそのダイアログを閉じるという形でそれに応答する。

機能仕様の役割

機能仕様には様々な目的があるが、主な目的はソースコードやテストケース作成という時間のかかる作業に入る前に開発チーム内でプログラムの機能について意識を合わせることである。

機能仕様は、コード作成やテストケース作成にあたって参照される。例えば、ソフトウェアテストでテスト結果が正しいかどうかは機能仕様の記述に照らし合わせて判断される。

関連項目

• 形式手法
• 形式的検証
• 形式仕様記述
• 表示的意味論
• 操作的意味論
• 公理的意味論
• 契約プログラミング
• VDM
• Z言語
• ソフトウェア工学
• 仕様記述言語
• 詳細化

外部リンク

• やさしい機能仕様 - パート1:なぜわざわざ書く必要があるのか? ジョエル・オン・ソフトウェア

表 話 編 歴 システム工学
分野	航空宇宙工学 生物学的システム工学（英語版） 構成管理(CM) 地球システム工学マネジメント（英語版） 電気工学 経営システム工学 パフォーマンス・エンジニアリング（英語版） 信頼性工学 安全工学
プロセス	要求工学 機能仕様 システムインテグレーション 検証と妥当性確認(V&V)（英語版） デザイン・レビュー（英語版）
コンセプト	ビジネスプロセス システム システムライフサイクル(英語版) Vモデル システム開発ライフサイクル
手法	意思決定 機能モデリング IDEF 数理最適化 品質機能展開(QFD)（英語版） システムダイナミクス Systems Modeling Language システム解析 システム・モデリング（英語版） Work Breakdown Structure
関連分野	制御工学 計算機工学 インダストリアル・エンジニアリング オペレーションズ・リサーチ プロジェクトマネジメント 品質マネジメント 品質マネジメントシステム リスクマネジメント ソフトウェア工学
関連項目	情報工学 インフォマティクス プロセス (工学) プロセスシステム工学 情報モデル システム・インフォメーション・モデリング(SIM)（英語版） エンタープライズエンジニアリング
カテゴリ

表 話 編 歴 ソフトウェア工学
分野	要求分析 システム解析 ソフトウェア設計 コンピュータプログラミング 形式手法 ソフトウェアテスト ソフトウェアデプロイメント ソフトウェア保守
コンセプト	データモデリング エンタープライズアーキテクチャ プログラム仕様 モデリング言語 プログラミングパラダイム ソフトウェア ソフトウェアアーキテクチャ ソフトウェア開発方法論 ソフトウェア開発工程 ソフトウェア品質 ソフトウェア品質保証 ソフトウェア考古学（英語版） 構造化分析（英語版）
指向	アジャイル アスペクト指向 オブジェクト指向 オントロジー サービス指向 SDLC
モデル	開発モデル アジャイル 反復型 RUP スクラム スパイラルモデル ウォーターフォール・モデル XP Vモデル インクリメントモデル（英語版） プロトタイピングモデル 他のモデル オートモーティブスパイス CMMI データモデル 実体関連モデル 機能モデル 情報モデル メタモデル オブジェクトモデル（英語版） システムモデル（英語版） ビュー・モデル モデリング言語 IDEF UML
主な人物	ケント・ベック グラディ・ブーチ フレデリック・ブルックス バリー・ベーム（英語版） ピーター・チェン ウォード・カニンガム オーレ＝ヨハン・ダール トム・デマルコ マーティン・ファウラー アントニー・ホーア ワッツ・ハンフリー（英語版） マイケル・A・ジャクソン（英語版） イヴァー・ヤコブソン クレイグ・ラーマン（英語版） ジェームス・マーティン（英語版） バートランド・メイヤー デイビッド・パーナス ウィンストン・W・ロイス（英語版） コレット・ロラン（英語版） ジェームズ・ランボー ニクラウス・ヴィルト エドワード・ヨードン ビクター・バシリ（英語版）
関連項目	計算機科学 計算機工学 エンタープライズエンジニアリング 歴史（英語版） 経営管理論 プロジェクトマネジメント 品質マネジメント ソフトウェア人間工学 システム工学
カテゴリ コモンズ

この項目は、ソフトウェアに関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（PJ:コンピュータ/P:コンピュータ）。

• 表示
• 編集

ウィキペディア小見出し辞書

プログラム仕様

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/08 06:08 UTC 版)

「仕様」の記事における「プログラム仕様」の解説

詳細は「プログラム仕様」を参照 プログラム仕様は、プログラムがすべきことを定義したものである。「非形式的」な仕様記述の場合、開発者から見ればそれは青写真またはユーザーマニュアルのようなもので、「形式的」であれば、数学的またはプログラム的に定義された明確な意味を持つ。実際、ほとんどの成功した仕様は、既存の安定したアプリケーションを理解し保守するために書かれたものである。ただし、安全性が重視されるソフトウェアシステムでは、アプリケーション開発に先駆けて仕様を慎重に書くことがある。仕様は、安定して存続すべき外部インタフェースのためにも非常に重要である。