HOMELv004 「モデルベースドテスティング(MBT)」の利点はどれか。 2026年1月25日 システムの動作モデルを更新することで、関連するテストケースを自動生成・更新できる。 TMMiレベル4(測定された)で導入される「ソフトウェア品質指標」の目的はどれか。 非機能要件のテストにおいて、スパイクテストが検証対象とするのはどれか。