フローグラフや状態遷移図の特性のパス数による分析

• Item type: Journal(1)
• 公開日: 1999-02-15
• タイトル: フローグラフや状態遷移図の特性のパス数による分析
• タイトル / 言語: en
• タイトル: On Analysis of Characteristics of Flowgraphs and State Transition Diagrams by Numbers of Paths
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• その他タイトル / その他のタイトル: ソフトウェア工学
• 著者所属: 若杉情報技術コンサルタントオフィス
• 著者所属(英): en
• 著者所属(英): WAKASUGI Information Technology Consultant Office
• 著者名: 若杉, 忠男
• 著者名(英): Tadao, Wakasugi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: フローグラフや状態遷移図のL個の連続したリンクを長さLのパスと定義し 長さLのパスの個数をP_L それをベクトル状に並べた{P_L}をパスベクトル P_<L+1>/P_LをP_Lの増加率と呼ぶ. パスベクトル{P_L}は連結行列によって求められる. これはフローグラフや状態遷移図の性質を表し 構造化プログラミングやサイクロマチック数と関連付けられる. またパスベクトルのうちP_1はフローグラフの規模 P_2は複雑さ また増加率の極限値はパスカバレジ試験の困難さを表すと考えられる. フローグラフや状態遷移図はそれに含まれるループの性質によって次の3つに分類できる. Lを大にしたとき (1)ループを含まない場合にはP_Lは0となり (2)ループを含むがそのループが互いに共通のノードを持たない場合にはれはLのべき乗のオーダーで増加し (3)共通のノードを持つループを含む場合はLの指数のオーダーで増加する. 逆に Lを大にしたときにれの増加率が1に近付けばループは共通のノードを持たず 1より大な数値に近付けば共通のノードを持つループを含む. パスベクトルの応用例として プログラムの構造を単純化するためのガイドラインを導き 構造化プログラミングの理論と比較する. またトランスポートプロトコルの複雑度を評価する.
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Concerning the flowgrahps and state transition diagrams, a sequence of consecutive links of L is defined as a paths of length L, and the number of paths of length L is described as P_L. Path vector {P_L} means sequence of P_L, and the increasing rate of P_L means P_<L+1>/P_L. Path vector {P_L} is calculated by connection matrixes. P_L represents the characteristics of flowgraphs and state transition diagrams. For example, P_1 represents volume of them, P_2 represents the degree of complexity, and the limit of increasing rate represents the difficulty of path coverage testing. Flowgraphs and state transition diagrams are classified in 3 classes depending on loops contained. When L increases, (1) if no loop is contained then P_L becomes 0, (2) if loops have no common node then P_L increases at a rate proportional to a power of L, and (3) if loops have common nodes then P_L increases at a rate proportional to a exponential of L. To show the usefulness of the concepts of path vector, some samples of program structure, and the communication protocols are discussed.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 40, 号 2, p. 742-749, 発行日 1999-02-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764