変更後にはある程度の移行期間が設けられている。依頼を行うとエラーになる。今回は問題を単純化するため以下の仮定を置く。通知の内容は常に同じであるとしてよい。通信許可になっているとしてよい。途中でアプリがアンインストールされることもないとする。通知は考えなくてよい。サーバ間の通信は即座に行われる。サーバ間の通信は、電波状況により遅延が発生する可能性がある。いずれの通信路でも、内容の誤りや消失は発生しないとしてよい。端末とアプリケーションサーバ間で直接通信する機会はないとする。上記の設定をモデル化し、どのような条件でエラーとなるか確認せよ。依頼を受信するまでは勝手に移行期間を終わらせない」機能を実装し、このときエラーが生じなくなることを確認せよ。依頼送信後にしか発生しないこと」を検査せよ。通知が端末に到達すること」を検査せよ。