問題タブ [dataflow-diagram]

stackexchangeにはコンパイラ タグに関するタグがこれ以上ないので、この質問をここに投稿します。

次の 3 つの条件が同時に成立する場合、変数 x はプログラム内のステートメント Si で有効であると言われます。

上記の制御フロー グラフの基本ブロック 2 のステートメントと基本ブロック 3 のステートメントの両方で有効な変数は次のとおりです。

1. p、s、u
2. r、s、u
3. r、u
4. q、v

私は説明しようとします：

ウィキペディアが言うように、「簡単に言えば、将来必要になる可能性のある値を保持している場合、変数はライブです。」

問題の定義によると、変数は、新しい割り当ての前に将来使用される場合、ライブです。ブロック 2 には、ライブ変数として 'r' と 'v' の両方があります。新しい値が割り当てられる前にブロック 4 で使用されるためです。変数「u」は、ブロック 3 で使用される前にブロック 1 で新しい値が割り当てられるため、ブロック 2 ではライブではありません。変数「p」、「s」、「q」もブロックではライブではありません。 2 同じ理由で。ブロック 3 には、使用前に他のすべての変数に新しい値が割り当てられるため、ライブ変数として「r」のみがあります。

として与えられた別の説明：

rのみ。

p、s、u は in 1 に割り当てられ、それ以前の中間使用はありません。したがって、p、s、u は 2 と 3 の両方に存在しません。q は 4 に割り当てられているため、2 と 3 の両方に存在しません。

v は 3 で生きていますが、2 では生きていません。2 と 3 の両方で生きているのは r だけです。

しかし、公式の GATE キーは r と u の両方を示していました。

特定のコード行で変数の可能な値の範囲を決定する必要があります。複雑なプロジェクトでは、これは非常に面倒でエラーが発生しやすくなります。そのため、このタスクを自動化する可能性を模索しています。次の簡単なコード スニペットを想像してみてください。

このタスクを完全に達成するためのツールまたはその他の方法を知っている人はいますか? さらに、結果の値の範囲を特定の値の範囲のセットに対してチェックし、理想的には結果として非互換性のみを取得したいと考えています。

Baidu の echarts ライブラリを使用してフロー図を実装しようとしています。それに最も近いのは樹形図だと思いました。以下に例を示します。ツリー フロー ダイアグラムをより適切に表す他のダイアグラムを提案してください。

実装しようとしている図は上の図のとおりです。

同じシステムの FDD と DFD の関係は?

Ubuntu 14.04 で Visual Paradigm Community Edition を使用してシステムのデータ フロー ダイアグラムを設計しようとしていますが、図のリストにデータ フロー ダイアグラムが見つからないようです。ダイアグラムのリストにあるフローダイアグラム??

なので、コードが多くて流れをつかむのが大変です。

あるクラスと、それが他のクラスから使用しているすべてのメソッドを確認できる図を作成する方法を知りたいです。

コードアイリスとシーケンス図を確認しました。シーケンス図は便利ですが、ユーザーフレンドリーではありません。

どのメソッドが使用されているかを確認でき、あるクラスから開始して、その選択したクラスで使用されている他のすべてのクラス メソッドまでの完全な概要を確認できるように、グラフを描画できる Intellij またはソフトウェアのプラグインを知っていますか。

可能であれば、木のようにすることもできます。