QA_latest_releases-min


Axivion Suite:
静的コード解析とアーキテクチャ検証

Qt Groupは、業界をリードするコードの静的解析ツールを提供するAxivionを統合しました。Axivion Suite は、Axivion 静的コード解析Axivion アーキテクチャ検証 を組み合わせたもので、業界トップクラスの詳細なコード解析を提供します。より詳細な資料をご希望の方、または評価検証のご相談については、お気軽にお問い合わせください。

お問い合わせ

品質を追求 - お客様の声

Logo_Apex.AI_400px
Logo_Bosch_400px
Logo_Brose_400px
Logo_DentsplySirona_400px
Logo_Elektrobit_400_2px
Logo_Hensoldt_400px
Logo_Jungheinrich_400px
Logo_Leuze_400px
Logo_Schaeffler_400px
Logo_Siemens_400px
Logo_Synspace_400px
Logo_TRelectronic_400px
Logo_TrumpfLaser_400_2px
Logo_ZF_400_2px

静的コード解析で開発の初期段階から品質を確保

 

Axivion静的コード解析

静的コード解析は、ソフトウェアのプロジェクト段階で、ソースコードにスタイル違反やコーディング違反がないかをチェックします。クローン、デッドコード、ゼロ除算などのコードの不具合を初期段階で検出することで、その後の段階でバグの修正に要する時間とコストを削減することができます。このツールは、膨大な数のメトリクスとコーディングガイドラインをサポートしています。特に安全やセキュリティ関連の側面がカバーされているため、監視が容易です。さらに、個々のコーディング・ルールやガイドライン、設定オプションも追加できるため、当初から高い品質基準を維持することができます。


詳しくは、axivion.com をご覧ください。

 

Axivionアーキテクチャ検証

アーキテクチャ検証を実施することで、システムの構造を明瞭かつクリーンに維持できます。ソフトウェア・アーキテクチャの構造モデルを作成するには、手作業で設定するか、UMLモデルやその他の形式のグラフ構造からインポートする方法があります。ソフトウェア・アーキテクチャの劣化とアーキテクチャの技術的負債が明らかになり、効果的な対策が可能となります。ソースコードがアーキテクチャに準拠しているかどうかを検証するために、逸脱に対してフラグを立て、それ以上のアーキテクチャ劣化を食い止めます。すでに存在するアーキテクチャ上の技術的負債を、的を絞ったリファクタリングによって修正することができ、アーキテクチャ検証の結果レポートで直接モニターすることができます。

詳しくは、axivion.com をご覧ください。

Axivion_benefits_2

開発環境へのシームレスな統合

Axivion 静的コード解析と Axivion アーキテクチャ検証は、既存の開発環境にシームレスに統合することができます。高度にカスタマイズ可能で、個々のニーズに適応します。エキスパートが導入プロセス全体をサポートし、導入当初からメリットを享受できるように支援します。

 生産性の向上
 不具合の減少
 コードフットプリントの縮小
 リスク軽減
 機能リリースの納期厳守
 個人依存度の低減
 顧客満足度の向上
 投資の保護


詳細/PoCについてはお問い合わせください

AXIVION 機能

プロジェクトでソフトウェア劣化を検出

ソフトウェア劣化(技術的負債とも呼ばれる)とは、ソフトウェアの保守性、拡張性、再利用性が、時間の経過とともに困難になる、あるいは不可能になるプロセスを意味します。プログラムコードは、ソフトウェアの機能を強化したり、新しい要件に適応させたりするために、継続的に修正されます。複雑なソフトウェアは通常、複数人のチームによって開発されるため、彼ら全員が熟知していないソースコード部分に関する前提が一致しない場合があります。結果として、ある人が変更したコードが、意図せずに他の部分にも影響を与え、アーキテクチャや機能上の制約に違反することになりかねません。ソフトウェアの機能は損なわれないかもしれませんが、その後のバグ修正などのタスクに負担を強いることになります。

安全性とセキュリティの観点からは、ソフトウェア劣化はシステムの信頼性を低下させ、機能安全を損なう可能性があります。その結果、認証基準(ISO、DoD、MISRAなど)を満たさなくなり、特定の応用分野での認証が受けられなくなる可能性があります。

ソフトウェア・アーキテクチャ

+ 検証
+ 難読化したコードのリカバリーと確認作業
+ UML®ツールの統合
+ AUTOSAR arxmlインポート

FFI (Freedom From Interference)

+ デコンポジション
+ セグリゲーション
+ セーフティアーキテクチャ適合性

安全性とセキュリティ

+ 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の統合
+ シームレスなプロセス統合
+ 個別コーディング規則
+ コーチングとトレーニング

Axivion Suiteによるソフトウェア劣化の防止

AxivionSuite静的コード解析ツール

 

「自動車用組込みソフトウェアの複雑さは、ASIL要件の異なるソフトウエア・コンポーネントによってさらに増大します。ISO 26262認証を取得したAxivion Suiteにより、Schaeffler Automotive Buehlは混合ASILシステムの高い品質を維持しています。自動化されたアーキテクチャ検証は、手作業によるテスト作業を削減し、その結果、エレクトロモビリティの新たな開発に必要な能力を確保することができます」

Schaeffler Automotive Buehl

「いくつかの静的解析ツールを評価しましたが、Axivion Suiteはテストにおいて明らかに際立っていました。AUTOSAR C++14のカバレッジの点で最高の性能を発揮し、その使いやすさ、制御フロー、データフロー解析、レポート生成が鍵となりました。Axivion Suiteはすでに当社の開発ワークフローの主力コンポーネントとなり、DevOpsパイプラインの貴重な構成要素となっています」

Apex.AI

「導入時のサポートと、プロフェッショナル・サービス・チームによる優れたサポートのおかげで、Axivion Suiteを開発環境に迅速かつ容易に統合できることができました。現在では、アーキテクチャ違反はほとんどありません。世界中のすべての開発チームにわたって、アーキテクチャに準拠した、より高い水準のコードを提供しています」

Siemens Healthcare

「Axivion Suiteのおかげで、統合にかかる労力と統合リスクを大幅に削減できました」

HENSOLDT Sensors

「Axivion Suiteは、私たちのアーキテクチャ・コンセプトを間違いなく実現するのに役立っています。既存のUMLツールチェーンへのシームレスな統合は問題なく進み、日常業務の負荷が軽減されました。

TRW Automotive

「当社にとって重要なのは、Axivion Suiteが他のどのツール群よりも高いレベルの適応性を備えていることです。それが、デジタル化が進む産業環境において、インテリジェント・センサーの高い品質基準を満たし続ける唯一の方法なのです。」

Leuze electronic

「Axivion Suiteはまさにゲームチェンジャーです。継続的なテストのおかげで、プログラマーは学習曲線をたどり、それぞれのアーキテクチャ要件の許容度が向上します。ソフトウェア検証プロジェクトを行うことで、Automotive SPICE 規格のレベル 3 に到達するための道が開かれます」

SynSpace Group

各業種の高い基準に合致する
カスタマイズ可能なコード解析ツール

小型センサーや大型機械の組込みソフトウェアを開発する場合、操作性の向上を目指す場合、あるいは業界標準を遵守する場合など、当社の品質保証ツールを使用することで、迅速かつ効率的に、少ないリソースで目標を達成することができます。ツールのカスタマイズをエキスパートがサポートします。そうすることで妥協することなくプロジェクトを成功させることができます。

Axivion_Automotive

オートモーティブ

新しい技術、安全とセキュリティに対する高い要求、より複雑な制御装置が、自動車産業に要求されています。顧客はソフトウェアの品質に対して厳しい要求を持っています。これらの要求は、MISRAやAUTOSAR C++14のようなコーディングガイドラインや、HISのようなメトリクスへの準拠を監視することによって実現されます。また、QMからASIL Dレベルまで、ISO 26262に従った安全要件がプロジェクトに含まれる場合も多く、Axivion Suiteは、これらすべてに対応できる理想的な製品です。

オートモーティブ・ソリューションの詳細を見る
Axivion_Medical

医療

今日、ソフトウェアは医療機器に不可欠な要素となっています。常にソフトウェアが必要な機能性を効果的に達成し、患者にとって安全で、危険のリスクにつながらないようにしなければなりません。医療機器用ソフトウェアの開発には、2つの基本的な課題があります:

  • どうすれば複雑さを必要最小限に抑え、保守性、わかりやすさ、拡張性を維持できるのか。
  • 医療機器ソフトウェアの機能安全性は、どのように実現されるのか。

Axivion Suiteは、この2つの問題に対するソリューションを提供します。アーキテクチャ検証によって、ソフトウェア・アーキテクチャの適合性を確保し、安全性とセキュリティのアーキテクチャの定義と適合性の監視を行うことができます。

医療ソリューションの詳細を見る
Axivion_Industrial_Automation

インダストリアルオートメーション

オートメーションは更にネットワーク化され、より複雑な作業を処理しなければならなくなってきています。複雑な制御アルゴリズム、高速で安全な通信、さらには多様なバリエーションの実装は、迅速かつ保守性も高くなければなりません。インダストリー 4.0(RAMI 4.0)などのトレンドで、あらゆるレベルでのネットワーク化が進んでいます。この傾向は、5Gの導入、AIの機能、大規模なIoTにおける多種多様なコンポーネント間のインタラクションによって加速しています。IEC 61508のような安全基準は、Axivion Suiteによって満たされ、また、Axivion Tool Qualification Kitによって、試験の信頼性が確保されます。また、MISRAやAUTOSAR C++14などのコーディングガイドラインへの適合性、あるいはメトリックスも継続的に監視されます。

自動化ソリューションの詳細を見る
Axivion_Aviation

航空宇宙

航空宇宙産業ほど安全性と信頼性への要求が高い産業は他にありません。そのため、ソフトウェアを実装する際にも、DO-178Cのような厳格な安全基準や手順が遵守され、体系的で統一された正しい実装が保証されます。Axivion Suiteは、静的コード解析とアーキテクチャ検証によって、高い品質を維持し、ソフトウェアの安全な保守性、拡張性、理解性、可読性を実現します。

Qt 品質保証

ソフトウェアのライフサイクル全体をカバーする、包括的な品質管理ツールです。

詳細はこちら

QAリソース

品質保証に関するあらゆるリソースについて、詳しくご紹介します。

詳細はこちら

ブログ

ニーズに合った記事をお読みください。


ブログ記事

静的コード解析ツールの詳細

ユースケースの詳細をお伺いし、プロジェクトを成功に導くために当社がどのようなお手伝いができるかをご説明いたします。プロジェクトの内容、使用するプログラミング言語やツール、プロジェクトに関わる人数など、お客様のユースケースを理解した上で、Axivion 静的コード解析と Axivion アーキテクチャ検証が、どのように役立つかをご説明します。

 

お問い合わせ