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

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

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

エンタープライズ その他

関連ニュース

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

編集部おすすめの記事

特集

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

  1. 東京メトロ、全線で携帯電話が利用可能に……21日に全工事が完了

    東京メトロ、全線で携帯電話が利用可能に……21日に全工事が完了

  2. ALSOKとNDCが資本業務提携を締結……防犯+防災のサービス展開へ

    ALSOKとNDCが資本業務提携を締結……防犯+防災のサービス展開へ

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

page top