HOMELv018 システムの「適合性(Interoperability)」テストで確認すべき項目はどれか。 2026年3月26日 相互運用性は、他のシステムと接続し、情報のやり取りが支障なく行える能力を検証する。 制御フローグラフにおける「線形独立なパス」の数と一致するメトリクスはどれか。 シンボリック実行において、パスごとの制約条件を解くために使用されるエンジンを何と呼ぶか。