PAD (ソフトウェア設計)

PAD（パド、Probrem Analysis Diagram）は、問題解析図とも呼ばれ、プログラムの制御構造を木構造的に表す図である。日立製作所の二村良彦、川合敏雄らによって開発された。JIS X 0128 に「プログラム構成要素及びその表記法」としてフローチャートとともに規定されている。
概要.
プログラムの作成にあたっては、制御構造を表すフローチャートを作り、示された手順に基づいてコーディングしていくことが行われてきた。フローチャートは個々の処理記号（処理、判断、ループ、など）は決められているが、処理記号や接続する線の位置や方向が定められていないため、同じ手順が異なるチャートになったり、制御構造が判然としなくなるという欠点があった。
さらに、構造化プログラミング技法が浸透することによってフローチャートの欠点は顕著になった。
PADはこの欠点を解消するために開発された2次元木構造図であり、を改良したものである。
具体的には、プログラムの構造を、
という内容に細分化していき、明確化していくことを目的としている。
そのため、PADでは各処理の記号と記号の接続方法を規定しておくことで、多くの場合、プログラム構造を表すPADはフローチャートに比べて作成者によるバラツキが少なくなる。また、プログラムのソースとPADが対応しているのでコーディングを機械的に行うことが出来る。
記述法.
PADにおける各制御構造と対応するフローチャート、および、サンプル擬似コードを示す。なお、A、B…は処理（サンプルコードにおいては関数）、Q、R、C1〜Cx は選択や反復の条件など、選択におけるTはTrue、FはFalesを表すものとする。また、PADでは「Start」「End」の記号は必須ではないが、フローチャートとの比較用に用いている。
連接.
処理「A」に続いて処理「B」を実行する例。
選択.
条件「Q」の真偽によって処理を実行するか否かを選択する例。
if then型.
条件「Q」が真の場合に処理「A」を実行する例。「if文(if...then)」に相当する。
if then else型.
各条件「Q」が真の場合に処理「A」を実行し、偽の場合に処理「B」を実行する例。「if文(if...then...else)」に相当する。。
多分岐(switch case)型.
「Q」に対しそれぞれの条件「Cn」が成立した場合に各処理を実行する例。「switch文」に相当する。
前判定反復.
最初に条件「Q」を判定し、成立している間は処理「A」「B」を実行する例。「while文」に相当する。
後判定反復.
処理「A」「B」を実行したあとに条件「Q」を判定し成立するまで処理を繰り返す例。「do-while文」に相当する。また、「for文」処理にも用いられる（条件設定部に初期値、継続条件、更新処理を記述する）。
拡張図式.
連接、選択、反復の構造だけでは必ずしも全てのプログラムを実現できるわけではなく、例えば「goto文」を使うことが効率的なこともある。このような事例をPADで記述するための記法がある。また、ひとまとまりの処理を定義する記法もある。
N+1/2ループ.
ループに入る前に行う処理がループ内でも行われる場合の記法である。標準記法でも記述できるが、拡張図式として記述することが出来る。
Break.
Break（gotoと同義）。
定義.
処理（関数やサブルーチン）の定義名をつけて一連の処理を記述しておき、他のPAD図でその処理を引用する。（以下の例では、処理名を「func」とし、定義名と処理の内容を「formula_1」でつなぐ。）
実例.
具体的な処理例として、打ち切り処理付きバブルソートのPAD、フローチャート、サンプルコードの対応を示す。
PADの視覚的利点.
PADでは、
という2次元的な図になる。
これは、構造化プログラムにおいて、フローチャートでは判別しにくい論理構造がPADでは視覚的に把握しやすい図として表現できることを示している。同時に、処理の接続展開方向が規定されているので、プログラム構造を図にする場合はフローチャートに比べてPADで表記することで作成する個人差が出にくいという利点もある。
逆に、プログラムの論理構造が明確でない場合はPADにすることができないともいえる。