Loading article…
 | |
 カリフォルニア州モンロビアの本社ビル | |
| 会社種別 | プライベート |
|---|---|
| 業界 | コンピュータソフトウェア、ソフトウェアテスト |
| 設立 | 1987年、米国カリフォルニア州パサデナ |
| 創設者 | アダム・コラワ ジョン・フラワー マーク・ゴロフ |
| 本部 | 米国カリフォルニア州モンロビア |
拠点数 | 9 |
サービスエリア | 全世界 |
主要人物 |
|
| 製品 | |
| 子会社 |
|
| Webサイト | パラソフト |
パラソフト（正式名称はパラソフト・コーポレーション）は、カリフォルニア州モンロビアに本社を置く、自動ソフトウェアテストとアプリケーションセキュリティを専門とする独立系ソフトウェアベンダーです。1987年にカリフォルニア工科大学[1]の卒業生4人によって設立されました。彼らは、Caltech Cosmic Cube [2]用に開発していた並列コンピューティングソフトウェアツールを商品化することを計画していました。Caltech Cosmic Cubeは、世界で初めて実際に動作するハイパーキューブコンピュータでした。[3]
90 年代、Parasoft は並列ソフトウェア ツールキットのテクノロジを活用して、従来のソフトウェア開発と並列開発の両方に対応したソフトウェア テスト自動化ツールを作成しました。Insure ++製品によるCおよびC++のランタイム エラー検出から始まり、静的コード分析、単体テストの機能も追加され、最終的にはアプリケーション セキュリティ、機能テスト、サービス仮想化まで拡張されました。
テクノロジー
Parasoft は、 Adam Kolawaが開発した自動欠陥防止方法論をサポートする自動欠陥防止技術を開発しています。[4]これらの技術は、 Java、CおよびC++、および.NETの多くの欠陥防止プラクティスを自動化します。静的コード分析プラクティスでは、後でセキュリティ、信頼性、パフォーマンス、および保守性の問題につながるコーディングの問題を特定します。 1996 年に、Parasoft はルールベースの静的コード分析の特許を申請しました。[5]それ以来、元の静的分析テクノロジは、セキュリティ静的分析、データフロー分析、およびソフトウェアメトリクスを含むように拡張されました。[6] [7] 1996 年に、Parasoft は、ユニットテストケースを自動的に生成するテクノロジの特許を申請しました。[8]それ以来、元のユニットテストテクノロジは、コードカバレッジ分析、回帰テスト、およびトレーサビリティを含むように拡張されました。[4]ピアコードレビュープラクティスでは、ソースコードを手動で検査して、アルゴリズムを調べ、設計をレビューし、自動化ツールでは検出できない微妙なエラーを検索します。ピアインスペクション自体は自動化できませんが、ピアコードレビューの準備、通知、追跡は自動化できます。[9]
クラウド、SOA、API、エンタープライズIT環境向けに、Parasoftのテクノロジーは、APIテスト、統合テスト、システムテスト、負荷テスト、侵入テストなどのプラクティスを自動化します。[10] ParasoftのサービスとSOA品質テクノロジーは、2002年に初めて開発されました。[11]
ParasoftはCおよびC++プログラムの実行時エラーを検出するメモリエラー検出技術も開発しています。 [12]
この技術に関する特許は1995年と1996年に申請された。[13] [14]
サービス仮想化では、Parasoftのテクノロジーを使用して、メインフレーム、サードパーティのコンポーネント、または開発やテストの目的で利用できない、またはアクセスが困難なシステムコンポーネントの依存システムの動作を自動的にキャプチャしてエミュレートします。[15] [16] [17] [18]
Parasoftのさまざまなテクノロジーは、業界や規制へのコンプライアンスを実証し、アジャイルソフトウェア開発、DevOps、継続的デリバリー、継続的テスト、テスト自動化を採用するために使用されています。[19]
参考文献
- ^ 「インタビュー: Adam Kolawa、Parasoft」、socaltech.com、2004 年 2 月 9 日
- ^ 「Express並列プログラミング環境の実験的評価」CiteSeerX 10.1.1.113.8007。
{{cite journal}}:ジャーナルを引用するには|journal=(ヘルプ)が必要です - ^ アンダーソン、A. ジョン (1994)。コンピュータ技術の基礎。CRC プレス。p. 378。ISBN 978-0412598104。
- ^ ab "Parasoft の会社概要BusinessWeek
- ^ 「ルールに基づいてコンピュータソースコードの品質を自動的にチェックする方法とシステムuspto.gov
- ^ 「Jtest はコードテストの覇権獲得に向けて歩み続ける」Wayback Machineに 2009-02-13 にアーカイブされたInfoWorld の製品レビュー、2006 年 10 月 6 日
- ^ Grehan, Rick (2003 年 12 月 19 日)。「Jtest が Java の衛生管理を促進」。InfoWorld。2020年 7 月 21 日閲覧。
- ^ 「動的シンボリック実行を使用してコンピュータプログラムテストスイートを生成する方法およびシステム uspto.gov
- ^ 「IDE に統合された Parasoft C++test 開発者ツールキット」、SearchSoftwareQuality.com、2007 年 4 月 3 日
- ^ InfoWorld の「SOAP ベースの Web サービスをクリーンアップする」製品レビュー、2007 年 11 月 26 日
- ^ 「ウェブサービスのテストのためのシステムと方法suspto.gov
- ^ 「シリアル実行時エラー検出システムの調査」Wayback Machineに 2016-03-03 にアーカイブされたアイオワ州立大学の高性能コンピューティング グループによる、2006 年 2 月 22 日
- ^ 「コンピュータを使用して動的デバッグ用にコンピュータ プログラムを自動的に計測する方法」www.uspto.gov
- ^ 「コンピュータ プログラム内のメモリ リークを動的に検出する方法とシステム」www.uspto.gov
- ^ Parasoft が Virtualize プラットフォームを提供、Darryl K. Taft 著、eWeek、2011 年 6 月
- ^ Parasoft はアプリテストの制約緩和を目指す、Adrian Bridgwater 著、Dr. Dobb's Journal、2011 年 6 月
- ^ Parasoft がソフトウェア「解放」部隊を派遣、Adrian Bridgwater 著、Dr. Dobb's Journal、2011 年 2 月
- ^ Parasoft がトランザクションのテスト環境を構築、Victoria Reitano 著、SD Times、2011 年 2 月
- ^ 「テストで敏捷性を失わないように」クリスティーナ・カルドザ著、SD Times、2016 年 7 月 28 日
