コンピュータプログラムの制御パス中の変数の状態変化（定義・参照・消滅）に注目して、エラー検出を図る静的テスト技法をいう。 プログラムが処理の対象となるデータを扱う方法の1つに変数がある。変数は通常、プログラムの中で定義（宣言・代入 ...

コンピュータプログラム中の変数の状態変化（定義・参照・消滅）に注目して選択的に制御パスを実行し、正しく動作しているかを検証するテストのこと。ホワイトボックステストの1つ。 プログラムの内部構造に基づいてテストを書くホワイトボックス ...

チューリングマシンは理論的な骨組みとしては強力であるが、計算機械としては実用的ではなく、その意味では、実用的なコンピュータの構造は、ノイマン型と言われる構造である。ノイマンはJohn Von Neumannと言い、高名な数学者である。しかし、この方式の ...

株式会社Flow Solutions（神奈川県横浜市、 CEO: チャド・スチュワート、以下Flow Solutions）は自社が提供するデータ活用プラットフォームFlowについて、株式会社ストライプインターナショナル（本社：岡山県岡山市、代表:川部 将士、以下ストライプ ...