Qt Groupは、業界をリードするコードの静的解析ツールを提供するAxivionを統合しました。Axivion Suite は、Axivion 静的コード解析 と Axivion アーキテクチャ検証 を組み合わせたもので、業界トップクラスの詳細なコード解析を提供します。より詳細な資料をご希望の方、または評価検証のご相談については、お気軽にお問い合わせください。
静的コード解析は、ソフトウェアのプロジェクト段階で、ソースコードにスタイル違反やコーディング違反がないかをチェックします。クローン、デッドコード、ゼロ除算などのコードの不具合を初期段階で検出することで、その後の段階でバグの修正に要する時間とコストを削減することができます。このツールは、膨大な数のメトリクスとコーディングガイドラインをサポートしています。特に安全やセキュリティ関連の側面がカバーされているため、監視が容易です。さらに、個々のコーディング・ルールやガイドライン、設定オプションも追加できるため、当初から高い品質基準を維持することができます。
アーキテクチャ検証を実施することで、システムの構造を明瞭かつクリーンに維持できます。ソフトウェア・アーキテクチャの構造モデルを作成するには、手作業で設定するか、UMLモデルやその他の形式のグラフ構造からインポートする方法があります。ソフトウェア・アーキテクチャの劣化とアーキテクチャの技術的負債が明らかになり、効果的な対策が可能となります。ソースコードがアーキテクチャに準拠しているかどうかを検証するために、逸脱に対してフラグを立て、それ以上のアーキテクチャ劣化を食い止めます。すでに存在するアーキテクチャ上の技術的負債を、的を絞ったリファクタリングによって修正することができ、アーキテクチャ検証の結果レポートで直接モニターすることができます。
ソフトウェア劣化(技術的負債とも呼ばれる)とは、ソフトウェアの保守性、拡張性、再利用性が、時間の経過とともに困難になる、あるいは不可能になるプロセスを意味します。プログラムコードは、ソフトウェアの機能を強化したり、新しい要件に適応させたりするために、継続的に修正されます。複雑なソフトウェアは通常、複数人のチームによって開発されるため、彼ら全員が熟知していないソースコード部分に関する前提が一致しない場合があります。結果として、ある人が変更したコードが、意図せずに他の部分にも影響を与え、アーキテクチャや機能上の制約に違反することになりかねません。ソフトウェアの機能は損なわれないかもしれませんが、その後のバグ修正などのタスクに負担を強いることになります。
安全性とセキュリティの観点からは、ソフトウェア劣化はシステムの信頼性を低下させ、機能安全を損なう可能性があります。その結果、認証基準(ISO、DoD、MISRAなど)を満たさなくなり、特定の応用分野での認証が受けられなくなる可能性があります。
+ 検証
+ 難読化したコードのリカバリーと確認作業
+ UML®ツールの統合
+ AUTOSAR arxmlインポート
+ デコンポジション
+ セグリゲーション
+ セーフティアーキテクチャ適合性
+ MISRA C/C++、Cert®、AUTOSAR C++14、CWE、ISO/IEC TS 17961
+ コーディングガイドライン
+ ランタイムエラー検出
+ ISO 26262、IEC 61508、IEC 62304、EN 50128、EN 50657の認証を取得(SGS-TÜV Saar社による)
+ ISO 25119、DO-178B/C
+ SPICE®、ASPICE
+ クローン検出と管理
+ デッドコードと循環違反検出
+ プロファイラ
+ メトリクス(HISを含む)
+ ツールチェーン統合
+ CI/DevOpsの統合
+ IDEの統合
+ シームレスなプロセス統合
+ 個別コーディング規則
+ コーチングとトレーニング
「自動車用組込みソフトウェアの複雑さは、ASIL要件の異なるソフトウエア・コンポーネントによってさらに増大します。ISO 26262認証を取得したAxivion Suiteにより、Schaeffler Automotive Buehlは混合ASILシステムの高い品質を維持しています。自動化されたアーキテクチャ検証は、手作業によるテスト作業を削減し、その結果、エレクトロモビリティの新たな開発に必要な能力を確保することができます」
「いくつかの静的解析ツールを評価しましたが、Axivion Suiteはテストにおいて明らかに際立っていました。AUTOSAR C++14のカバレッジの点で最高の性能を発揮し、その使いやすさ、制御フロー、データフロー解析、レポート生成が鍵となりました。Axivion Suiteはすでに当社の開発ワークフローの主力コンポーネントとなり、DevOpsパイプラインの貴重な構成要素となっています」
「導入時のサポートと、プロフェッショナル・サービス・チームによる優れたサポートのおかげで、Axivion Suiteを開発環境に迅速かつ容易に統合できることができました。現在では、アーキテクチャ違反はほとんどありません。世界中のすべての開発チームにわたって、アーキテクチャに準拠した、より高い水準のコードを提供しています」
「Axivion Suiteのおかげで、統合にかかる労力と統合リスクを大幅に削減できました」
「Axivion Suiteは、私たちのアーキテクチャ・コンセプトを間違いなく実現するのに役立っています。既存のUMLツールチェーンへのシームレスな統合は問題なく進み、日常業務の負荷が軽減されました。
「当社にとって重要なのは、Axivion Suiteが他のどのツール群よりも高いレベルの適応性を備えていることです。それが、デジタル化が進む産業環境において、インテリジェント・センサーの高い品質基準を満たし続ける唯一の方法なのです。」
「Axivion Suiteはまさにゲームチェンジャーです。継続的なテストのおかげで、プログラマーは学習曲線をたどり、それぞれのアーキテクチャ要件の許容度が向上します。ソフトウェア検証プロジェクトを行うことで、Automotive SPICE 規格のレベル 3 に到達するための道が開かれます」
小型センサーや大型機械の組込みソフトウェアを開発する場合、操作性の向上を目指す場合、あるいは業界標準を遵守する場合など、当社の品質保証ツールを使用することで、迅速かつ効率的に、少ないリソースで目標を達成することができます。ツールのカスタマイズをエキスパートがサポートします。そうすることで妥協することなくプロジェクトを成功させることができます。
新しい技術、安全とセキュリティに対する高い要求、より複雑な制御装置が、自動車産業に要求されています。顧客はソフトウェアの品質に対して厳しい要求を持っています。これらの要求は、MISRAやAUTOSAR C++14のようなコーディングガイドラインや、HISのようなメトリクスへの準拠を監視することによって実現されます。また、QMからASIL Dレベルまで、ISO 26262に従った安全要件がプロジェクトに含まれる場合も多く、Axivion Suiteは、これらすべてに対応できる理想的な製品です。
オートモーティブ・ソリューションの詳細を見る今日、ソフトウェアは医療機器に不可欠な要素となっています。常にソフトウェアが必要な機能性を効果的に達成し、患者にとって安全で、危険のリスクにつながらないようにしなければなりません。医療機器用ソフトウェアの開発には、2つの基本的な課題があります:
Axivion Suiteは、この2つの問題に対するソリューションを提供します。アーキテクチャ検証によって、ソフトウェア・アーキテクチャの適合性を確保し、安全性とセキュリティのアーキテクチャの定義と適合性の監視を行うことができます。
医療ソリューションの詳細を見るオートメーションは更にネットワーク化され、より複雑な作業を処理しなければならなくなってきています。複雑な制御アルゴリズム、高速で安全な通信、さらには多様なバリエーションの実装は、迅速かつ保守性も高くなければなりません。インダストリー 4.0(RAMI 4.0)などのトレンドで、あらゆるレベルでのネットワーク化が進んでいます。この傾向は、5Gの導入、AIの機能、大規模なIoTにおける多種多様なコンポーネント間のインタラクションによって加速しています。IEC 61508のような安全基準は、Axivion Suiteによって満たされ、また、Axivion Tool Qualification Kitによって、試験の信頼性が確保されます。また、MISRAやAUTOSAR C++14などのコーディングガイドラインへの適合性、あるいはメトリックスも継続的に監視されます。
自動化ソリューションの詳細を見るユースケースの詳細をお伺いし、プロジェクトを成功に導くために当社がどのようなお手伝いができるかをご説明いたします。プロジェクトの内容、使用するプログラミング言語やツール、プロジェクトに関わる人数など、お客様のユースケースを理解した上で、Axivion 静的コード解析と Axivion アーキテクチャ検証が、どのように役立つかをご説明します。
Qt Group includes The Qt Company Oy and its global subsidiaries and affiliates.