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

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

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

エンタープライズ その他

関連ニュース

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

編集部おすすめの記事

特集

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

  1. 虫の写真を撮るだけで名前や特徴がわかる?!……Androidアプリ『虫判定器』

    虫の写真を撮るだけで名前や特徴がわかる?!……Androidアプリ『虫判定器』

  2. またもバイトテロ……はま寿司、“ハサミ天ぷら”謝罪

    またもバイトテロ……はま寿司、“ハサミ天ぷら”謝罪

  3. 畑で入社式、スーツ姿で収穫

    畑で入社式、スーツ姿で収穫

  4. 360度のリアルタイム3Dイメージングが可能に……全方位レーザーライダー

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

page top