PAD (ソフトウェア設計)
プログラムの制御構造を木構造的に表す図
From Wikipedia, the free encyclopedia
概要
プログラムの作成にあたっては、制御構造を表すフローチャートを作り、示された手順に基づいてコーディングしていくことが行われてきた。フローチャートは個々の処理記号（処理、判断、ループ、など）は決められているが、処理記号や接続する線の位置や方向が定められていないため、同じ手順が異なるチャートになったり、制御構造が判然としなくなるという欠点があった[1]。
さらに、構造化プログラミング技法が浸透することによってフローチャートの欠点は顕著になった。
PADはこの欠点を解消するために開発された2次元木構造図であり、ワーニエ図を改良したものである[4][5]。
具体的には、プログラムの構造を、
- 連接:単純な処理の連続
- 選択:条件による処理の選択（分岐）
- 反復:条件による処理の繰り返し
という内容に細分化していき、明確化していくことを目的としている。
そのため、PADでは各処理の記号と記号の接続方法を規定しておくことで、多くの場合、プログラム構造を表すPADはフローチャートに比べて作成者によるバラツキが少なくなる[6]。また、プログラムのソースとPADが対応しているのでコーディングを機械的に行うことが出来る[7]。
記述法
PADにおける各制御構造と対応するフローチャート、および、サンプル擬似コードを示す。なお、A、B…は処理（サンプルコードにおいては関数）、Q、R、C1〜Cx は選択や反復の条件など、選択におけるTはTrue、FはFalseを表すものとする。また、PADでは「Start」「End」の記号は必須ではないが、フローチャートとの比較用に用いている。
連接
処理「A」に続いて処理「B」を実行する例。
| PAD | フローチャート | サンプルコード |
|---|---|---|
 |
 |
int sample(void)
{
A();
B();
}
|
選択
条件「Q」の真偽によって処理を実行するか否かを選択する例。
if then型
条件「Q」が真の場合に処理「A」を実行する例。「if文(if...then)」に相当する。
| PAD | フローチャート | サンプルコード |
|---|---|---|
 |
 |
int sample(void)
{
if (Q)
A();
}
|
if then else型
各条件「Q」が真の場合に処理「A」を実行し、偽の場合に処理「B」を実行する例。「if文(if...then...else)」に相当する。。
| PAD | フローチャート | サンプルコード |
|---|---|---|
 |
 |
int sample(void)
{
if (Q)
A();
else
B();
}
|
多分岐(switch case)型
「Q」に対しそれぞれの条件「Cn」が成立した場合に各処理を実行する例。「switch文」に相当する。
| PAD | フローチャート | サンプルコード |
|---|---|---|
 |
 |
int sample(void)
{
switch(Q){
case C1:
A();
break;
case C1:
B();
break;
…
case Cx: ;
break;
}
}
|
前判定反復
最初に条件「Q」を判定し、成立している間は処理「A」「B」を実行する例。「while文」に相当する。
| PAD | フローチャート | フローチャート(JIS) | サンプルコード |
|---|---|---|---|
 |
 |
 |
int sample(void)
{
while(Q){
A();
B();
}
}
|
後判定反復
処理「A」「B」を実行したあとに条件「Q」を判定し成立するまで処理を繰り返す例。「do-while文」に相当する。また、「for文」処理にも用いられる（条件設定部に初期値、継続条件、更新処理を記述する）。
| PAD | フローチャート | フローチャート(JIS) | サンプルコード |
|---|---|---|---|
 |
 |
 |
int sample(void)
{
do{
A();
B();
} while{Q};
}
|
拡張図式
連接、選択、反復の構造だけでは必ずしも全てのプログラムを実現できるわけではなく、例えば「goto文」を使うことが効率的なこともある。このような事例をPADで記述するための記法がある。また、ひとまとまりの処理を定義する記法もある。
N+1/2ループ
ループに入る前に行う処理がループ内でも行われる場合の記法である。標準記法でも記述できるが、拡張図式として記述することが出来る[8]。
| PAD（標準図式） | PAD（拡張図式） | フローチャート | サンプルコード |
|---|---|---|---|
 |
 |
 |
int sample(void)
{
A();
do{
B();
A();
} while{Q};
}
|
Break
Break（gotoと同義）[9]。
| PAD | フローチャート | サンプルコード |
|---|---|---|
 |
goto label;
label:
|
定義
処理（関数やサブルーチン）の定義名をつけて一連の処理を記述しておき、他のPAD図でその処理を引用する[10][11]。（以下の例では、処理名を「func」とし、定義名と処理の内容を「」でつなぐ。）
| PAD | フローチャート | サンプルコード |
|---|---|---|
|
int func()
{
A();
while(P){
if Q
C();
D();
}
B();
}
int sample(void)
{
if (R)
func();
F();
}
|
実例
具体的な処理例として、打ち切り処理付きバブルソートのPAD、フローチャート、サンプルコードの対応を示す[注釈 1]。
| PAD | フローチャート | サンプルコード |
|---|---|---|
|
 |
int bubblesort(int a[], int n)
{
for (int i = 0; i < n-1; i++){
int flag = 0;
for (int j = n-1; j > i; j--)
if (a[j-1] > a[j]){
int work = a[j-1];
a[j-1] = a[j];
a[j] = work;
flag = 1;
}
if (flag==0) break;
}
}
|
