航空宇宙や自動車などの重要ソフトウェアで求められるコードカバレッジ基準「MC/DC」が必要とするテスト条件はどれか。

MQTTプロトコルを、UDPベースなどの帯域が狭い非TCP/IPネットワーク向けに最適化した派生規格はどれか。