C# VB.NET対応 静的解析・単体テストツール dotTEST

アプリケーション開発のテスト効率化、ソースコードの品質向上を実現

dotTEST は、C#言語/VB.NET言語対応した静的解析・動的解析テストツールです。製造業・医療・金融など幅広い業界において、Windows アプリケーション・Web アプリケーションなどのさまざまな.NET アプリケーションの開発に用いられています。

  • ソフトウェア品質保証
  • ソフトウェア品質向上
  • ソースコード解析
  • テストカバレッジ
  • 単体テスト
  • テスト自動化
  • エラー検出
dottEST体験版申し込み

C#言語/VB.NET言語対応 静的解析・動的解析ツール「dotTEST」

dotTESTは、C#言語/VB.NET言語に対応したWindowsアプリケーション・Webアプリケーション開発向けの静的解析・動的解析ツールです。

静的解析では、さまざまなカテゴリーのコーディング規約を使用し、ソースコードの問題点を指摘するコーディング規約チェックを行うことができます。さらに、.NET アプリケーションの処理フローを解析し、SQL インジェクションやクロスサイトスクリプト(XSS)などのセキュリティ上危険なコードやリソースリーク、NullReferenceException といった運用上問題となりうるコードを検出します。 単体テストでは、テストの実行とカバレッジ情報を計測します。

開発工程にdotTESTによる静的解析やカバレッジ情報収集を組み込むことにより、 アプリケーション開発のテストの効率化と、ソースコードの品質向上が期待できます。

C#言語/VB.NET言語対応対応 静的解析・動的解析ツール「dotTEST」

「dotTEST」の主な機能

ソースコードを静的に解析、エラーを引き起こす可能性のあるコードを自動検出

dotTESTには、コーディング規約とソースコードのマッチングによる静的解析機能が搭載されています。この静的解析機能を使用すると、業界標準のコーディング規約に準拠しているかを自動的にチェックすることができます。
dotTESTには、1,000個以上のコーディングルールが用意されています。コーディング規約ルールは、エラーを防止するだけでなく、ソースコードの移植性や保守性、可読性、セキュリティを高めるようなものも含まれています。

静的フロー解析がセキュリティ脆弱性を検出

dotTESTの静的フロー解析機能は、シンボリックシミュレーションなどの技術を用いてコードを綿密に解析し、NullReferenceExceptionやリソース リーク、nullチェックの前の間接参照といった重大な問題の引き金となるコードを検出します。処理フローが複数のファイルに渡った複雑なパスも検証可能なので、ファイル単位で実施する静的解析や単体テストでは発見することが難しい例外的な問題も正確に検出します。

dotTEST:静的フロー解析がセキュリティ脆弱性を検出

セキュアコーディング

dotTESTでは、フロー解析とコーディング規約チェックの機能を使って、OWASP(Open Web Application Security Project)やPCI DSS(Payment Card Industry Data Security Standard)に掲載されている脆弱性を有するソースコードを検出します。
専用のダッシュボードとウィジェットを利用してdotTESTの静的解析違反の結果をPCI DSSやOWASP、CWEなどの基準のリスクスコアリングにマッピングすることで、各基準に則った遵守サマリーレポートや逸脱のレポートをいつでも確認できるようになります。

dotTEST:セキュアコーディング

システムテストの抜け漏れを防止するアプリケーションカバレッジの計測

アプリケーションカバレッジ機能は、実行中のアプリケーションをdotTESTが監視し、ソースコードのカバレッジを計測する機能です。
テストシナリオによって、ソースコードのどこが実行され、アプリケーションをどのくらいカバーすることができたのかを確認できます。しかも、テストの実行はいつもどおり、手動または機能テスト自動化ツールでテストを行うだけでカバレッジが計測できます。

セミナー情報

オンラインセミナー・ハンズオンセミナーを実施しています。

オンラインセミナー

dotTESTがどんなストツールなのか知りたいという方は、オンラインセミナーにご参加ください。デモンストレーションを中心に、各機能、活用方法、事例などをご紹介いたします。

ハンズオンセミナー

dotTESTを使用した実践的な演習をご用意していますので、dotTESTの操作や機能を知りたいという方におすすめです。

導入後も安心してお使いいただけるサポート体制

dotTESTの導入時のサポートから、運用支援、問題発生時のQ&A対応など導入後も安心してお使いいただけるサポート体制でお客様をバックアップいたします。

  • 日本国内のエンジニアによる迅速なサポート
  • 現場の課題の内容に合わせて、サポートメニューをご用意
    • 運用環境構築
    • お客様の環境・運用に合わせたツールの設定支援
    • トレーニング・教育サポート
    • オンサイトサービス
  • お客様の環境に合わせた手順書の作成
  • 保守期間中は、無料バージョンアップ

Parasoft社製品について

テクマトリックスは、Parasoft社製品の国内総販売代理店として、ソフトウェア開発に携わるすべてのお客様の課題を解決する最適なツールとして、dotTESTの販売、マーケティング、ユーザーサポートを実施しています。

Parasoft社は、30年以上にわたり、ソフトウェアのバグがアプリケーションに混入する原因と仕組みを研究し、数々のソリューションを提供してきました。Parasoft社のソリューションは、ソフトウェア開発ライフサイクルにおける継続可能なプロセスとして、品質改善活動を支援し、頑強なソースコードの実装、無駄がなく機能性の高いシステムの構築、安定したビジネスプロセスの実現を可能とします。数々の賞を受賞した Parasoft社製品は、長年の研究成果と経験から得られたノウハウを自動化し、エンタープライズシステムから組み込みソフトウェアまで、どのようなタイプのソフトウェア開発においても、生産性向上と品質改善を実現します。 詳細はWebサイト: https://www.parasoft.com/ をご参照ください。

Parasoft社製品

C#言語/VB.NET言語対応 静的解析・動的解析ツール「dotTEST」

dotTEST体験版申し込み

最新バージョンのdotTESTをお客様のマシンで14日間お試しいただけます。
<体験版の申し込み方法>
体験版申し込みフォームに必要事項を入力いただき、体験版インストールモジュールをダウンロードしてください。 同梱されている「dotTEST 体験版評価用ライセンス請求書」テキストに必要な情報を記載していただき申し込みください。

C# VB.NET対応 静的解析・単体テストツール dotTESTに
関するお問い合わせ

  • テクマトリックス株式会社
    東京本社

    ソフトウェアエンジニアリング事業部

    03-4405-7853

メールでのお問い合わせ
parasoft-info@techmatrix.co.jp

お問い合わせ

製品についてやテクマトリックスについてなど、
こちらよりお気軽にお問い合わせいただけます。