富士通研、Javaプログラムを網羅的に検証する技術を開発 〜 オープンソースとして公開
この技術は、米国NASAが開発したJavaプログラム向け検証ツール「Java PathFinder」を拡張したもの。「Java PathFinder」は、火星探査機の制御システムの検証などに使われ、その成果は2005年にオープンソース化されていた。しかし「Java PathFinder」では数値型の入力データしか扱えず、業務アプリケーションなどの動作を検証するために、文字列型データへの対応が求められていた。富士通研究所は、この課題を解決するために、Java PathFinderのシンボリック実行モードで文字列を扱う技術を開発し、検証の適用範囲を拡大した。
今回開発された技術では、入力された文字列に関連する条件を自動的に抽出し、コンパクトな表現形式でモデル化することにより、シンボリック実行を効率良く行うことを可能とした。また文字列のシンボリック実行機能を拡張するための共通インターフェイスを開発。これにより、Java PathFinderの利用者はモデル化方式などの変更や独自の拡張をより簡単に行える見込みだ。なお、今回開発された技術の一部は、あらためてNASAに採用され、共通インターフェイス部分がオープンソースとして公開されるとのこと。
注目ニュース
日本レジストリサービス(JPRS)は24日、ドメイン名の最新動向として、2009年における「ドメイン名重要ニュース」を発表した。
「地域住民の繋がりを強化し地域を活性化しよう」——日本三大七夕のひとつ「安城七夕まつり」で有名な愛知県安城市は、安城市地域情報化計画の一環として地域密着コミュニティサイト「あんみつ」をスタートさせた...
NTTデータと日本オラクルは21日、システム統合基盤の統合運用管理ソリューションの実現と導入に向けて協業することに合意した。
アカマイは17日、クラウドベースのセキュリティソリューションを拡張し、Webアプリケーション・ファイアフォール・マネージド・サービスの提供を開始した。
日本電気、奈良先端科学技術大学院大学など6者は26日、インターネットでのサイバー攻撃源を「逆探知」するトレースバック技術を開発したと発表した。
レッドハットは17日、Linuxの標準仮想化技術KVM(Kernel-based Virtual Machine、KVM)による仮想化製品群「Red Hat Enterprise Virtualiz...
シェイクソウル、学びing、ハートビーツの3社は9日、LAMP構成にターゲットを絞り冗長性/拡張性を意識しパッケージングしたサービス「Amazon EC2 LAMPスケーラブルパック」の販売を開始し...
WarMouseは現地時間6日(現地時間)、OpenOffice.orgとの協力で開発した18ボタン搭載のマウス「OpenOfficeMouse」を発表。専用サイトにて近日発売開始される見込み。価格...
NECは「C&Cユーザーフォーラム & iEXPO 2009」の会場で、OpenFlowを応用したデータセンター向けのスイッチ制御技術を公開していた。
富士通は29日、同社が「Symbian Foundation」のボードメンバーに就任したことを発表した。
情報処理推進機構(IPA)は28日、オープンソースソフトウェア(OSS)のヘルプメッセージなどを翻訳する際の、コミュニティによる協調作業を支援する「翻訳コミュニティー基盤ソフトウェア」を公開した。
NECは26日、クラウド・コンピューティングを支えるサービス実行基盤ミドルウェア「WebOTX」を強化し、「WebOTX V8.3」として販売を開始した。
IPAは23日、優れたオープンソースソフトウェアの開発および普及に貢献した個人などを表彰する「2009年度日本OSS貢献者賞」「2009年度日本OSS奨励賞」の受賞者を発表した。
富士通SSLは22日、オープンソースソフトウェア(OSS)をベースとしたデータベース製品「Postgres Plus Advanced Server」の取り扱いを開始した。
日本オラクル、日立製作所、日立システムアンドサービスの3社は21日、中堅・中小企業市場向けとなるサーバ仮想化ソリューションの提供で協業していくことを発表した。
IDC Japanは15日、国内企業に対して2009年8月に実施した「国内オープンソースソフトウェア利用実態調査」に関する調査結果を発表した。
NTTデータは13日、統合運用管理ソフト「Hinemos VM管理オプション」の新バージョン、Ver.1.1をリリースした。同日よりHinemosパートナーへの出荷を開始する。
OSDNは7日、世界最大のオープンソース開発サイトである米国SourceForge.netに登録されている20万あまりの全プロジェクトの情報を、日本語で掲載するサービスをSourceForge.JP...
インターネットイニシアティブ(IIJ)は5日、「IIJ GIO(ジオ)」の名称であらたに展開するクラウドサービスのラインナップを発表した。
日本HPは15日、「HP ProLiantサーバー」向けに、サン・マイクロシステムズのOS「Solaris10」の販売およびソフトウェアテクニカルサポートを開始した。
今年4月、Atomプロセッサーに最適化されたMoblinプロジェクトがThe Linux Foundationに移管された。
東京・秋葉原で「Moblinセミナー」が開催され、The Linux FoundatinのJim Zemlin氏が基調講演を行った。
レッドハットは8日、企業向けLinux OSの最新版「Red Hat Enterprise Linux 5.4」の提供を開始した。
日立ソフトは3日、Webアプリケーションフレームワークである「Ruby on Rails」の学習環境を、必要なときに必要なだけ月額で利用できるサービス「Ruby on Rails学習環境提供サービス...
オープンソースソフトのXen Hypervisorの開発元であるXen.orgは米国時間8月31日、「Xen Cloud Platform(XCP)」イニシアチブを発表した。
インターネットも8月30日に投開票が行われる第45回衆院選挙関連番組が目白押しだが、livedoorもインターネットラジオ特別番組「民意にマジレス 〜ネット論客が新政権にもの申す!〜」を配信する。
米Adobe Systems Incorporated(アドビシステムズ)は22日、開発者、メディア企業、出版社を対象とした、Adobe Flash Platformに関する取り組みを発表した。
非営利団体「Symbian Foundation」(本部:英国ロンドン)は14日、日本国内の活動拠点として「Symbian Foundation Japan」を開設した。
米Googleは現地時間7日、公式ブログ「The Official Google Blog」にて新しいOS「Google Chrome OS」の詳細を発表した。
特集
- ├富士通、ビッグデータの負荷増減に素速く対応する分散並列型の複合イベント処理技術を開発
- ├富士通研、スマートシティへの展開に向けたピーク電力削減技術を開発
- └富士通研、CPUの廃熱を用いてサーバの冷却用水を製造する技術を開発
- ├Java セキュアコーディングセミナー、学生向けに京都・横浜で無料開催
- ├富士通、Webアプリサーバ「Interstage Application Server V10.1」販売開始……Java EE 6、スマホ対応
- └JPCERT/CC、「Java SE」の脆弱性で注意喚起……マルウェアに感染させる攻撃を確認
- ├オープンソースERPシステム「Project Open」に未対策のXSS脆弱性……JVNで発表
- ├NEC、OSSミドルウェアのサポートを強化……運用監視ソフト「Zabbix」サポートも提供開始
- └オープンソース版WebOS1.0が9月に登場……開発ツールEnyoはすでに配布開始















































