富士通研、Javaプログラムを網羅的に検証する技術を開発 〜 オープンソースとして公開 1枚目の写真・画像 | RBB TODAY
※本サイトはアフィリエイト広告を利用しています

富士通研、Javaプログラムを網羅的に検証する技術を開発 〜 オープンソースとして公開 1枚目の写真・画像

 Fujitsu Laboratories of America Inc.と富士通研究所は12日、Javaプログラムで入力されるさまざまなデータに対して、プログラムの動作が仕様に合っているかを人手を介さず自動的に検証する技術を開発したと発表した。

エンタープライズ その他

関連ニュース

シンボリック実行の概要
シンボリック実行の概要

編集部おすすめの記事

特集

エンタープライズ アクセスランキング

  1. しがみつかれても沈まない!水害・津波対策用救命胴衣

    しがみつかれても沈まない!水害・津波対策用救命胴衣

  2. IIJ、次世代「モジュール型エコ・データセンター」構築に向けた実証実験を実施

    IIJ、次世代「モジュール型エコ・データセンター」構築に向けた実証実験を実施

  3. 河合塾「大学入試難易予想ランキング」11月最新版

    河合塾「大学入試難易予想ランキング」11月最新版

  4. NTTドコモ、メールアドレスのルールを変更 〜 ピリオド連続などが使用不可に

  5. 老舗3Dソフト「Softimage」が開発終了……「Maya」「3ds Max」に無償移行が可能に

アクセスランキングをもっと見る

page top