Insure++ －C/C++対応自動エラー検出ツール－

C++testは、C/C++プログラムの単体テスト、静的解析、フロー解析の自動化をサポートするC/C++対応テストツールです。単体テストでは、テストドライバ、スタブ、テストケースを生成し、単体テストを自動実行。実行時例外やエラーを検出します。 静的解析では、コーディングルールでソースコードを静的に検証し、エラーを引き起こす可能性のあるコードを自動検出します。フロー解析では、複数のプログラムで構成される処理フローを静的に検証するバグ探偵で、処理フローやデータに依存する問題を自動検出します。 C++testの3つの検証機能を使用することにより、堅牢で高品質なC/C++アプリケーションの開発とテスト工数の大幅削減が可能になります。

Jtestは、セキュアで高品質なJavaアプリケーションの開発とテスト工数の削減をサポートするJava対応単体テストツールです。
テストケースを自動生成し、Javaアプリケーションの単体テストを自動実行します。また、約1,000個の静的解析コーディングルールを使用してソースコードを解析し、問題点を指摘します。Jtestは、従来面倒であった単体テストを支援することで、Javaアプリケーションの品質とセキュリティレベルの向上と開発工数の削減を強力にサポートします。
最新版では、複数のクラスやパスにまたがるフローを解析する『バグ探偵』の機能が加わり、ますます強力なテストが可能になりました。

.TEST (ドットテスト) は、.NETアプリケーションの単体テストに必要なテストドライバ、テストスタブ、テストケースを生成し、単体テストを自動実行。実行時例外やエラーを検出します。 また、ソースコードを静的解析し、エラーを引き起こす可能性のあるコードを検出します。さらに、.NETアプリケーションの処理フローを検証し、SQLインジェクションやクロスサイトスクリプト(XSS)などのセキュリティ上危険なコードやリソースリークやNullReferenceExceptionといった運用上問題となりうるコードをピンポイントで検出します。.TEST を使用することにより、セキュアで高品質な.NETアプリケーションの開発とテスト工数の大幅削減が可能になります。

SOAtest は、 セキュアで信頼性が高い SOA (Service Oriented Architecture) システムを開発するためのテストツールです。 SOAtest は、 WSDL の検証から Web サービスの相互運用性、クライアント / サーバーの単体テスト、機能テスト、パフォーマンステスト、さらにはセキュリティ検証まで、さまざまな角度から Web サービスを検証します。
SOAtest は、サービスを構成する各サーバー、および、クライアントが相互に接続されていなくても、SOAtest 内部にある仮想のサーバーまたはクライアントを用いて 、それぞれを独立してテストを実行できるため、開発の早い段階から Web サービスの整合性、機能、パフォーマンス、セキュリティを確認でき、問題の原因追求と修正の作業を容易にします。 SOAtest は、テスト作業の効率化とセキュアで安定した高性能な SOA システムや EAI システムの構築を強力にサポートします。

WebKing は、Webアプリケーションテストツールです。HTMLやXML、JavaScript、CSSなどを静的に検証し、表示や動作、アクセシビリティ、主要なブラウザに対する互換性などに問題のある箇所を自動的に検出します。また、Webページが正しく表示されているかを検証する機能テスト、修正が正しく反映されているか、または、新たな問題点を発生させていないかを検証する回帰テストの実行が可能です。さらに、負荷テストの実施も可能です。WebKingでテストすることにより、信頼性、拡張性、整合性を検証でき、高品質なWeb アプリケーションの開発が可能になります。

Concertoは、ソフトウェア開発プロセスをトータルにサポートするアプリケーションライフサイクル管理(ALM)ツールです。セキュアで品質の高いソフトウェアの開発や、CMMI、PCI-DSSなど各種規格への準拠に必要なタスクをもれなく管理し、ポリシーやスケジュールに従ってタスクが実行され、適切にテストされているかを監視します。また、バグトラッキングシステムやソースコードリポジトリなど、さまざまなシステムに分散されている情報を統合し、プロジェクト全体の進捗や品質を可視化します。

Lattixは、DSM（Dependency Structure Matrix）手法をソフトウェアに応用し、Java、.Net、C/C++アプリケーションのアーキテクチャや、Oracleのデータベースのアーキテクチャを分析し、構成要素(サブシステムやモジュール、ファイル、関数など)の依存関係を表形式(マトリックス)に表示します。また、パーティショニングや、影響度分析、メトリックス分析といったアーキテクチャの視点からアプリケーションの品質向上を支援する様々な機能を備えています。アーキテクチャの設計や、コーディング、アーキテクチャの最適化、コードの修正、モデリング、リファクタリングにLattixを活用することにより、ソフトウェアの品質や安定性、保守性、性能の向上が期待できます。

Understand は、大規模で複雑なプログラムを素早く解析するためのさまざまな機能を搭載しています。アーキテクチャから個々のクラスや関数まで、あらゆるレベルでソースコードを解析し、プログラムの制御フローや構造、クラス継承、関数や変数の関係など、多彩な角度からビジュアル化します。Understand を利用することにより、必要な情報を容易に収集することができるため、迅速なレビューと効率的な調査が可能になり、より生産性を向上させ高品質なソフトウェアの開発を行うことができます。