HOMELv025 シンボリック実行において、解析が困難な「非線形な算術演算」への対応策はどれか。 2026年3月26日 具体的な実行（Concrete）とシンボリック実行を組み合わせることで、複雑な演算を含むパスも解析可能にする。 システムの「保守性」における「試験性（Testability）」を高める具体的な方法はどれか。 「リスク移転」が選択されたリスク項目に対して、TTAがテストで実施すべきことはどれか。
