静的解析 | 静的解析・単体テストツール C++test | テクマトリックス株式会社
近年の大規模・複雑化したプログラムにおいて、不具合の検出はますます困難になっています。 特にオーバーフローや未初期化変数の使用などのバグは、致命的な不具合につながるだけでなく、それに加えて複数のファイルにまたがる「特定のパス」を実行した時にのみ発生することもあり、デバッグでの検出には労力を要します。 さらに、どんなに時間をかけても目視によってすべての実行パスを検証することは、現実的ではありません。 静的解析ツールC/C++testでは、このような致命的なバグが潜んでいる場合でも、静的解析の「フロー解析」機能で、プログラムのあらゆるパスをシミュレートし、バグを早期に発見します。また、ソースコード品質の底上げに貢献する「コーディング規約チェック」機能を搭載しているため、バグの作りこみを抑制し、ソースコードの可読性と保守性を強化します。 静的解析とは静的解析は、ソフトウェアの解析手法の一種で、コ
ソースコード品質評価ツール Adqua（アドクア） | 株式会社オージス総研
ソースコードの健康診断、していますか？ ソフトウェアの静的解析ツールやメトリクスを有効活用していますか？ Adquaは、QAC/QAC++のデータを活用して、手軽に、客観的なソフトウェア品質診断ができるツールです。 『Adqua』は、組み込みソフトウェアの品質を定量的に評価できるツールです。具体的には、ソフトウェアを「信頼性」「効率性」「保守性」「移植性」「再利用性」の5つの品質特性の観点で得点化します。得点化した評価結果はHTML形式のレポートで出力されます。レポート上のリンクを辿っていくことで問題のある要素を容易に特定することができます。また、要素間の依存関係を解析し、DSM（Dependency Structure Matrix）をCSVファイルとして、UMLモデル定義をXMIファイルとして出力します。これにより、依存関係の複雑さを可視化し、設計レベルにおける問題発見や改善に活用する
Microsoft ダウンロード センター: Windows、Office、Xbox、その他
すべての Microsoft 製品GlobalMicrosoft 365TeamsWindowsSurfaceXboxセール法人向けサポート ソフトウェアWindows アプリAIOneDriveOutlookSkypeOneNoteMicrosoft TeamsPC とデバイスXbox を購入するアクセサリVR & 複合現実エンタメXbox Game Pass UltimateXbox Live GoldXbox とゲームPC ゲームWindows ゲーム映画とテレビ番組法人向けMicrosoft CloudMicrosoft SecurityAzureDynamics 365一般法人向け Microsoft 365Microsoft IndustryMicrosoft Power PlatformWindows 365開発者 & IT デベロッパー センタードキュメントMicrosof
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
