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

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

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

エンタープライズ その他

関連ニュース

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

編集部おすすめの記事

特集

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

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

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

  2. 話題のスマートロックが一堂に集結! サムターンカバー型スマートロック編

    話題のスマートロックが一堂に集結! サムターンカバー型スマートロック編

  3. 読売新聞、「発言小町」Androidアプリを公開……トピ・レス丸ごとダウンロードなどが可能

    読売新聞、「発言小町」Androidアプリを公開……トピ・レス丸ごとダウンロードなどが可能

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

page top