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

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

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

エンタープライズ その他

関連ニュース

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

編集部おすすめの記事

特集

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

  1. 【インタビュー】携帯向け企業サイトの課題を打開! BIGLOBEのSaaS型サービスとは

    【インタビュー】携帯向け企業サイトの課題を打開! BIGLOBEのSaaS型サービスとは

  2. 阪急梅田駅のコインロッカー、ICカード対応のキーレスロッカーに刷新

    阪急梅田駅のコインロッカー、ICカード対応のキーレスロッカーに刷新

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

page top