無料のオンライン教育

正式なソフトウェア検証

商品説明

ミッションクリティカルなシステムで使用されるソフトウェア品質スキルを習得したいですか? モデリングチェック、シンボリック実行、および形式手法は、人間の生活がシステムが正しく機能することに依存するミッションクリティカルなシステムに使用される手法です。 このコースでは、ソフトウェアのテストと妥当性確認のMicroMastersプログラムの一部として、これらの手法を実行する方法を学習します。 このコースの概念は、任意のプログラミング言語とテストソフトウェアに適用できます。このコースは、UMGCのソフトウェアテストおよび妥当性確認MicroMasterのプログラムの一部です。 プログラムが完了し、検証済みのMicroMasterの証明書を受け取ると、学習者は、アプリケーションプロセスやテストなしで、ソフトウェアエンジニアリングを専門とする情報技術の完全なUMGCマスタープログラムに移行できます。 詳細については、MicroMastersプログラムのページを参照してください。

価格:$ 249 –監査は無料です!

ハーバード大学とMITが設立した教育用プラットフォームであるedXによる正式なソフトウェア検証。

正式なソフトウェア検証 – USMx