小規模から中規模のターゲットで実行される組み込みプロジェクト用の小さなオペレーティング システムを作成しました。
高いテスト コード カバレッジ (>95%) を備えた自動単体テストをいくつか追加しましたが、スコープは静的部分のみです。
複雑さと読みやすさとして、いくつかのコード メトリクスを取得しました。
MiSRA をサポートするルール チェッカーでコードをテストしており、もちろんすべての警告を修正しました。
静的アナライザーでコードをテストしており、すべての警告を再度修正しました。
OS の信頼性をテストし、改善するために今何ができるでしょうか? 動的部分はどうですか？
リストにないもの:
まだ実行していない場合は、ターゲット ハードウェアで単体テストを実行して、コンパイラとハードウェアの問題を確認します。
コードレビュー、特に競合状態をチェック
大きすぎない場合は、生成されたアセンブリ コードを確認することもできます。
システムをテストするために多くのことを行ったようです。次のステップでは、他のプロジェクトや人々がそれを使用するようになると思います。他のユーザーは、堅牢性に問題があることをすぐに示します。
動的部分の単体テストを書いてみてください。次に、ターゲット ハードウェアでテストを実行します。コア数が多いハードウェアでテストを実行する コアが 1 つのみのハードウェアでテストを実行する
ターゲット システムのクロック速度を変更し、動的テストを実行します。
ほとんどのタイミングの問題を振り払う必要があります。
Atomic Object のサイトを試してみてください。これも試してみてください。.
ウィキペディアのソフトウェア テスト エントリを確認してください。これは、テストのさまざまなブランチのかなり包括的な説明です。そこに新しいアイデアが 1 つまたは 2 つ見つかるかもしれません。