どのようなプロジェクトでも、実装を開始する前に一連の初期計画を作成する必要があります。
エンジニアはシミュレーションを使用して説明します使用するデータ、そのコンポーネント、またはそれらが機能することを期待する方法など、特定の観点からのプログラム。建設プロジェクトの例に戻ると、計画は、設計段階でのガイドとして、またモデリングとテストに使用できる「モデル」になります。
研究者によると、最も一般的な使用されるモデルのタイプは、ソフトウェアシステムの構造を記述するために使用されるUnified Modeling Language（UML）クラス図表記です。これらのモデルを使用する利点は、使用されているテクノロジーに関する多くの具体的な詳細が含まれているソースコードよりも抽象的であるということです。そして、これらのモデルは、より簡潔で、製造と理解が容易になる可能性があります。」
したがって、シミュレーションは役立つ可能性がありますソースコードに代わるものというよりは、むしろ準備段階です。モデルを使用すると、開発中のシステムを理解しやすくなり、特定の実装要素を作成して、プログラミングプロセスの最も反復的な部分を自動化することもできます。
Инженеры используют инструменты проверки, чтобы предотвратить ошибки, которые могут повлиять на сам код и, следовательно, на окончательную реализацию системы.
「結果として発生する可能性のあるソフトウェアエラーを最小限に抑えるために、モデルが正しいことを確認する必要があります。」
профессор Университета Оберта де Каталония, член исследовательской группы SOM Research Lab Роберт Кларисо
モデルに変更が加えられるたびに、たとえば、情報の追加、削除、変更などです。これは、システム全体を再分析する必要があることを意味します。したがって、検証は通常、プロセスの最後に最終モデルが作成された後にのみ実行されます。
この方法も革新的です証明書の使用に関するもので、モデルの正しい操作を示す例です。研究者は次のように述べています。「モデルを変更する場合、新しい証明書を取得すると、モデルを検証する必要がなくなります。
証明書を適応させる方がはるかに安価です検証プロセスを再開するよりも。プロセスを説明して、著者は、新しいモデルを検証する代わりに、元のモデル証明書を新しいモデルに適合させることができると提案しています。彼らが現在直面している最大の課題は、これらの手法を既存のソフトウェアモデリングツールおよび環境に統合することです。
また読む：
地球は20年で臨界温度に達するでしょう。
中絶と科学：出産する子供たちに何が起こるか。
世界最古のロックアートが見つかりました。
アルゼンチン保健省は、スプートニクVを投与された人々の副作用に関するデータを開示しました。