HOMELv042 「静的解析」において「シンボリック実行」が判定網羅を助ける仕組みは。 2026年1月25日 変数を記号として扱い、各分岐条件を充足するための制約を解くことで、未知のパスを通すデータを生成します。 「キーワード駆動テスト」において、ビジネスロジックを表現する上位層の「キーワード」の例として適切なのは。 「テストの費用対効果」を算出する際、不具合1件あたりの「回避された損失」を評価に含める手法は。
