富士通研究所がNASAのJavaプログラム検証ツールを拡張、数万行のWebアプリの自動検証に成功 | OSDN Magazine
富士通研究所（本社：川崎市）と同社の米国法人は2010年1月12日、オープンソースのJavaプログラム検証ツール「Java PathFinder」を拡張し、文字列型データの自動検証に対応させる技術を開発したと発表した。従来の手作業のテストに比べて検証の網羅性を大幅に向上できるという。 「Java PathFinder」は、ソフトウェアが正しく開発されたかを確認するプログラムの検証ツールで、米航空宇宙局（NASA）が開発した。火星探査機の制御システムの検証などに使われ、2005年にオープンソース化された。与えられたJavaプログラムのソースコードに対して具体的なテストデータを与えなくても、入力データのさまざまなバリエーションによって引き起こされる動作を自動的に実行する機能（シンボリック実行モード）を備える。 しかし、これまで同機能には数値型のデータしか扱えないという制限があり、業務アプリケー
Google，Webアプリ用試験ツール「ratproxy」をオープンソースとして公開
米Googleは米国時間2008年7月1日，Webアプリケーションの安全性を確認できるツール「ratproxy」をオープンソースとして公開した。同社のWebサイトから無償ダウンロード提供している。 同ツールは，これまで同社が社内でWebアプリケーションを試験する際に使っていた。プロキシ・サーバーとして作動し，クロスサイト・スクリプティングに悪用される恐れのあるコードや，情報漏えいにつながる問題などを調べられる。従来のセキュリティ・ツールと違い，意識することなく利用でき，オーバヘッドも小さいという。 ソフトウエア・ライセンスはApache License 2.0。現在のバージョンは「1.51ベータ」。Linux/FreeBSD/Mac OS Xと，Windows向け疑似UNIX環境Cygwin用に開発した。 [GoogleのMichal Zalewski氏によるブログ投稿記事]
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
IE5.5から最新のIE8 Beta2まで収録された「IETester v0.2.3」リリース：CodeZine
