ソフトウェア品質で
未知の高みへ
航空機、ロケット、UAV が一度飛行を開始してしまうと、問題を修正することは非常に困難、あるいは不可能になる場合があります。そのため、それらを動かすソフトウェアには最高水準の品質が求められます。
開発段階における厳格なコード解析とソフトウェアテストは、潜在的な問題を早期に特定するのに役立ちます。これによりソフトウェア品質が向上するだけでなく、経済的な効果も生まれます。バグを早期に検出すればするほど修正に必要なリソースが少なくなり、大幅なコスト削減と投資利益率の向上につながります。
さらに忘れてはならないのが、安全性が重視される環境でソフトウェアを開発する際に、必ず順守すべき規制やガイドラインの存在です。
確かなアーキテクチャという飛翔の土台
高く飛ぶためには、確かな基盤が必要です。ソフトウェアアーキテクチャこそがその基盤であり、未知の高みへ到達するために特別な注目が払われるべきものです。
自分のソフトウェアのアーキテクチャを理解し、それに沿ってコードが記述されていることを把握することは、将来の開発方針を決定するための信頼できる基盤となります。自動化されたアーキテクチャ検証によって、計画された変更がどのような影響を及ぼすのかを確実に把握できます。この検証は、意図されたアーキテクチャからの逸脱を検出します。特に航空・宇宙産業のような安全性が最重要視される分野においては、これにより変更がセキュリティ関連の属性や構造を損なうことがないと保証されます。コードがアーキテクチャから逸脱すると、機能安全に対する脅威となり得ます。ソフトウェアアーキテクチャ適合性チェックは、この脅威を効果的に軽減します。
コードのための
チェックリスト
パイロットが離陸前にさまざまなチェックリストを実施するのと同じように、開発者もコードをリリース前に準備万端であることを確認する必要があります。これらのソフトウェアチェックは、高いコード品質を維持し、技術的負債やソフトウェアの劣化を防ぎます。
コードは常に、新機能の追加や機能強化のために修正される必要があります。こうした変更は、ソフトウェアを最新の基準や要件に適合させるために欠かせません。最初はソフトウェアの動作に影響を与えない些細な問題でも、時間が経つにつれて負担となり、最終的には機能安全への脅威となる可能性があります。また、DO-330 や DOD といった業界規格やガイドラインに準拠できなくなる要因ともなり得ます。
こうした小さな不具合やもちろん大きな不具合も、自動化された静的コード解析によって開発の初期段階で特定できます。これにより修正が容易になり、必要なリソースが少なくて済み、コードの保守性も維持されます。私たちは、クローン検出と管理、メトリクス監視、コーディングガイドラインのチェック、不具合解析、デッドコード解析、サイクル検出といったツールを提供しています。
コードカバレッジチェック
すべてのチェックが完了するまで離陸はできません。では、数百万行に及ぶコードが漏れなく確認されたことを、どのように保証すればよいのでしょうか？
コードカバレッジツールを活用することで、テストプロトコルのギャップを確実に検出できます。ステートメント、ブランチ、条件、MC/DC カバレッジを含む包括的なカバレッジメトリクスは、コードのすべての部分が徹底的にテストされ、未検出のバグのリスクを実質的にゼロに近づけるために不可欠です。また、航空・航空宇宙プロジェクトのソフトウェア環境は多様であることが多いため、すべてのプログラミング言語とプラットフォームがカバーされていることも同様に重要です。
テストプロセスの自動化により、開発ライフサイクル全体を通じてコードの品質が継続的に監視・維持されます。ツールが生成する詳細なレポートをもとに、開発者と品質保証チームはカバレッジデータを分析し、根拠に基づいた意思決定を行うことができます。
自動 GUI テスト
空港のセルフサービス端末、航空交通管制、機内システムなど、様々なアプリケーションにおいて、明確に構造化された使いやすいディスプレイが必要とされています。顧客との接点として業務効率化と顧客満足を目的とするものから、安全確保のための重要なインターフェースまで、その用途は多岐にわたります。そのため、徹底的な GUI テストは不可欠です。
ソフトウェアは、実行されるプラットフォームを問わず、同一の品質で動作しなければなりません。航空・航空宇宙分野では、さらに2つの側面を考慮する必要があります。まず、ユーザーの観点から——顧客向け HMI は訓練を受けていない人が操作するため、使用中にシステムがクラッシュしないことを保証しなければなりません。次に、GUI が展開される状況について——航空管制官、パイロット、宇宙飛行士は高度な訓練を受けた専門家であり、人々の安全を守るためにディスプレイに強く依存しています。瞬時の判断が求められる緊急時に GUI が機能しなければ、壊滅的な結果をもたらす可能性があります。
GUI テストの自動化により、ソフトウェアの複雑さがパフォーマンスに影響しないことが保証されます。テストサイクルの短縮、テストカバレッジの向上、開発初期段階での潜在的なバグの発見など、多くのメリットがあります。