「MC/DC」網羅において、判定式に「n」個の独立した条件がある場合、必要なテストケースの最大数はいくつか。

「状態遷移テスト」において、無効なイベント（その状態では起こりえない操作）をテストする目的は。