４：バグレスを担保する開発技術とは
バグレス技術とは
データ生成に関与する１命令文ごとの存在証明ができます
| シナリオ関数における命令文の存在証明とは |
１．データ生成に関与する命令文は全て主語ベクトル化します。
２．主語ベクトルは7つの規約でその存在証明をします。
３．7つの規約の中の「第3規約」で命令文の変数主語の存在証明を担保します。
４．主語ベクトルの第3規約で主語系譜図を生成できます。
５．主語系譜図はシナリオ関数の解（S)を可視化します。
SG=Φ0[Φ4{L4},{W4},T4,E41,E42] +Φ2[{R2},{L2},T2] + Φ3[{L3},T31,T32,T33]
| ベクトルの7つの規約、その役割とは |
| 主語系譜図サンプル例 |
シナリオ関数の解を可視化する主語系譜図のサンプル例は以下となります。
※R2_～：「入力文」にあたり、外部情報を取得する為の叙述
※L2_～：「定値・定置文」にあたり、定数＆文字列
※L4_～：「代入文」にあたり、四則演算，論理演算の叙述
※W4_～：「出力文」にあたり、外部に情報を送出する為の叙述
※L3_～：「条件文」にあたり、真偽値を生成する叙述
※データの生成過程を起点主語から終点主語及び始祖までを網羅している様相が主語系譜図になります。
※始祖とは定置(定値）文になります。
※終点主語とは入力文（入力関数）になります。
※起点主語とは出力文(出力関数）になります。
| シナリオ関数の解を可視化する主語系譜図の実行様相 |
