富士通研、Javaプログラムを網羅的に検証する技術を開発 〜 オープンソースとして公開

2010年1月12日(火) 16時59分
シンボリック実行の概要の画像
シンボリック実行の概要
 Fujitsu Laboratories of America Inc.と富士通研究所は12日、Javaプログラムで入力されるさまざまなデータに対して、プログラムの動作が仕様に合っているかを人手を介さず自動的に検証する技術を開発したと発表した。Webアプリケーション数万行の検証に成功したという。

 この技術は、米国NASAが開発したJavaプログラム向け検証ツール「Java PathFinder」を拡張したもの。「Java PathFinder」は、火星探査機の制御システムの検証などに使われ、その成果は2005年にオープンソース化されていた。しかし「Java PathFinder」では数値型の入力データしか扱えず、業務アプリケーションなどの動作を検証するために、文字列型データへの対応が求められていた。富士通研究所は、この課題を解決するために、Java PathFinderのシンボリック実行モードで文字列を扱う技術を開発し、検証の適用範囲を拡大した。

 今回開発された技術では、入力された文字列に関連する条件を自動的に抽出し、コンパクトな表現形式でモデル化することにより、シンボリック実行を効率良く行うことを可能とした。また文字列のシンボリック実行機能を拡張するための共通インターフェイスを開発。これにより、Java PathFinderの利用者はモデル化方式などの変更や独自の拡張をより簡単に行える見込みだ。なお、今回開発された技術の一部は、あらためてNASAに採用され、共通インターフェイス部分がオープンソースとして公開されるとのこと。
《冨岡晶》
注目の情報[PR]

注目ニュース

日本レジストリサービス、“ドメイン名”に関する2009年5大ニュースを発表

 日本レジストリサービス(JPRS)は24日、ドメイン名の最新動向として、2009年における「ドメイン名重要ニュース」を発表した。

【インタビュー】地域の絆を強めて街を活性化〜2010年へ加速する安城市の地域ポータル

 「地域住民の繋がりを強化し地域を活性化しよう」——日本三大七夕のひとつ「安城七夕まつり」で有名な愛知県安城市は、安城市地域情報化計画の一環として地域密着コミュニティサイト「あんみつ」をスタートさせた...

NTTデータと日本オラクル、仮想化を活用したシステム統合基盤の運用管理で協業

 NTTデータと日本オラクルは21日、システム統合基盤の統合運用管理ソリューションの実現と導入に向けて協業することに合意した。

アカマイ、クラウドベースの分散型Webアプリファイアウォールを提供開始

 アカマイは17日、クラウドベースのセキュリティソリューションを拡張し、Webアプリケーション・ファイアフォール・マネージド・サービスの提供を開始した。

サイバー攻撃源の“逆探知”、NECなどが広域インターネット環境下で成功

 日本電気、奈良先端科学技術大学院大学など6者は26日、インターネットでのサイバー攻撃源を「逆探知」するトレースバック技術を開発したと発表した。

レッドハット、「Red Hat Enterprise Virtualization for Servers」を提供開始 〜 クラウドと仮想化の基盤を拡張

 レッドハットは17日、Linuxの標準仮想化技術KVM(Kernel-based Virtual Machine、KVM)による仮想化製品群「Red Hat Enterprise Virtualiz...

シェイクソウルなど3社、廉価な「Amazon EC2 LAMPスケーラブルパック」をスタート

 シェイクソウル、学びing、ハートビーツの3社は9日、LAMP構成にターゲットを絞り冗長性/拡張性を意識しパッケージングしたサービス「Amazon EC2 LAMPスケーラブルパック」の販売を開始し...

18ボタン+ジョイスティック搭載のマウス「OpenOfficeMouse」

 WarMouseは現地時間6日(現地時間)、OpenOffice.orgとの協力で開発した18ボタン搭載のマウス「OpenOfficeMouse」を発表。専用サイトにて近日発売開始される見込み。価格...

【iEXPO2009 Vol.8】NEC、OpenFlowによるデータセンター向けプログラマブルフロー

 NECは「C&Cユーザーフォーラム & iEXPO 2009」の会場で、OpenFlowを応用したデータセンター向けのスイッチ制御技術を公開していた。

富士通、Symbian Foundationのボードメンバーに就任

 富士通は29日、同社が「Symbian Foundation」のボードメンバーに就任したことを発表した。

IPA、複数人によるOSS翻訳作業を支援する基盤ソフトを公開

 情報処理推進機構(IPA)は28日、オープンソースソフトウェア(OSS)のヘルプメッセージなどを翻訳する際の、コミュニティによる協調作業を支援する「翻訳コミュニティー基盤ソフトウェア」を公開した。

NEC、クラウド向けサービス実行基盤「WebOTX」を強化 〜 運用性向上、新ライセンス体系など

 NECは26日、クラウド・コンピューティングを支えるサービス実行基盤ミドルウェア「WebOTX」を強化し、「WebOTX V8.3」として販売を開始した。

IPA、「2009年度日本OSS貢献者賞、日本OSS奨励賞」受賞者を発表

 IPAは23日、優れたオープンソースソフトウェアの開発および普及に貢献した個人などを表彰する「2009年度日本OSS貢献者賞」「2009年度日本OSS奨励賞」の受賞者を発表した。

富士通SSL、OSSベースのDB「Postgres Plus Advanced Server」の取り扱いを開始

 富士通SSLは22日、オープンソースソフトウェア(OSS)をベースとしたデータベース製品「Postgres Plus Advanced Server」の取り扱いを開始した。

日本オラクル、日立、日立システムの3社、サーバ仮想化で協業

 日本オラクル、日立製作所、日立システムアンドサービスの3社は21日、中堅・中小企業市場向けとなるサーバ仮想化ソリューションの提供で協業していくことを発表した。

「不況がOSSの導入を加速」コスト削減を期待 〜 IDC調べ

 IDC Japanは15日、国内企業に対して2009年8月に実施した「国内オープンソースソフトウェア利用実態調査」に関する調査結果を発表した。

NTTデータ、「Hinemos VM管理オプション」新バージョンVer.1.1をリリース

 NTTデータは13日、統合運用管理ソフト「Hinemos VM管理オプション」の新バージョン、Ver.1.1をリリースした。同日よりHinemosパートナーへの出荷を開始する。

SourceForge.JP、米SourceForge.netの全オープンソース・プロジェクト情報を日本語に

 OSDNは7日、世界最大のオープンソース開発サイトである米国SourceForge.netに登録されている20万あまりの全プロジェクトの情報を、日本語で掲載するサービスをSourceForge.JP...

IIJ、独自のクラウドサービス「IIJ GIO」を発表

 インターネットイニシアティブ(IIJ)は5日、「IIJ GIO(ジオ)」の名称であらたに展開するクラウドサービスのラインナップを発表した。

日本HP、「Solaris on ProLiant」発表 〜 ワンストップでSolarisアプリ環境を提供

 日本HPは15日、「HP ProLiantサーバー」向けに、サン・マイクロシステムズのOS「Solaris10」の販売およびソフトウェアテクニカルサポートを開始した。

インテル、Atomベースで拡大するMoblinエコシステムとコア技術を解説

 今年4月、Atomプロセッサーに最適化されたMoblinプロジェクトがThe Linux Foundationに移管された。

Moblinは新しいユーザー体験を与え、ビジネスモデルを形成していく——Jim Zemlin氏

 東京・秋葉原で「Moblinセミナー」が開催され、The Linux FoundatinのJim Zemlin氏が基調講演を行った。

企業向けLinux OS最新版「Red Hat Enterprise Linux 5.4」が提供開始

 レッドハットは8日、企業向けLinux OSの最新版「Red Hat Enterprise Linux 5.4」の提供を開始した。

日立ソフト、「Ruby on Rails」の学習環境を月額利用できるサービスを提供開始

 日立ソフトは3日、Webアプリケーションフレームワークである「Ruby on Rails」の学習環境を、必要なときに必要なだけ月額で利用できるサービス「Ruby on Rails学習環境提供サービス...

Xenプロジェクト、あらたなオープンクラウドイニシアチブ「XCP」を立ち上げ

 オープンソースソフトのXen Hypervisorの開発元であるXen.orgは米国時間8月31日、「Xen Cloud Platform(XCP)」イニシアチブを発表した。

8月30日総選挙、livedoorでもネットラジオ特別番組「民意にマジレス」

 インターネットも8月30日に投開票が行われる第45回衆院選挙関連番組が目白押しだが、livedoorもインターネットラジオ特別番組「民意にマジレス 〜ネット論客が新政権にもの申す!〜」を配信する。

アドビ、Flash Platformに関する取り組み「OSMF」「TLF」をオープンソースとして発表

 米Adobe Systems Incorporated(アドビシステムズ)は22日、開発者、メディア企業、出版社を対象とした、Adobe Flash Platformに関する取り組みを発表した。

Symbian Foundation、日本事務所を開設

 非営利団体「Symbian Foundation」(本部:英国ロンドン)は14日、日本国内の活動拠点として「Symbian Foundation Japan」を開設した。

米Google、新OS「Chrome OS」の計画を発表

 米Googleは現地時間7日、公式ブログ「The Official Google Blog」にて新しいOS「Google Chrome OS」の詳細を発表した。

特集

RSS

特集・連載

楽天でキーワードをチェック

ブロードバンド/無線LANスポット検索

ブロードバンド検索
-

ピックアップフォト