About: 14100 results

Javaプログラムを網羅的に検証する技術を開発 : 富士通 - Fujitsu
https://pr.fujitsu.com/jp/news/2010/01/12-1.html
2010年1月12日 ... Java PathFinderでは、与えられたJava プログラムのソースコードに対して、具体的な テストデータを与えなくても入力データのさまざまなバリエーションにより引き起こされる 動作を自動的に実行する機能(シンボリック実行モード)(注5) を提供し ...
Javaプログラムの網羅的検証を並列処理で高速化 : 富士通 - Fujitsu
https://pr.fujitsu.com/jp/news/2010/12/17-2.html
2010年12月17日 ... 米国National Aeronautics and Space Administration(NASA) (注3)が開発した検証 ツールのJava PathFinderは、与えられたJava プログラムに対して、テストケースや テストデータを人間が手動で与えなくてもプログラムを自動的に実行する ...
Webアプリケーション向け品質保証の基礎技術を開発 : 富士通
https://pr.fujitsu.com/jp/news/2008/04/4-1.html
2008年4月4日 ... 株式会社富士通研究所とFujitsu Laboratories of America, Inc.は、このほど、Javaで 実装された実用規模のWeb ... センター)が開発したオープンソースの検証ツールJava PathFinder(ジャバ パスファインダー)を採用し、NASA Ames ...
Fujitsu Develops Technology to Enhance Comprehensive Testing of ...
https://www.fujitsu.com/global/about/resources/new ...
Jan 12, 2010 ... The new technology builds on Symbolic Java PathFinder, a software verification system developed by NASA, and expands it by adding efficient handling of not only numerical data, but also text data as input values. Such input ...
Fujitsu Accelerates Exhaustive Verification of Java Software ...
https://www.fujitsu.com/global/about/resources/new ...
Dec 17, 2010 ... Java PathFinder, a verification tool developed by the National Aeronautics and Space Administration (NASA) in the United States, provides functions for automatically executing tests on Java programs using a technique called ...
Fujitsu Develops Software Verification Technology for Practical-use ...
https://www.fujitsu.com/global/about/resources/new ...
Apr 4, 2008 ... As a world's first, Fujitsu Laboratories applied formal verification to business specifications of practical-use Java-based web applications written. The verification system is based on Java PathFinder, the open source ...
Web開発のためのJava入門 : 富士通アプリケーションズ
https://www.fujitsu.com/jp/group/fap/services/java ...
説明本文の他に各節ごとの確認問題と各章ごとの小テストがありますので、ご活用 ください。 対象読者. 1週間程度のJava研修を受けた方; やさしいJavaなどの入門書で 自習した方; COBOLやC ...
アプリケーション品質・検証技術への 新たな取組み - Fujitsu
http://img.jp.fujitsu.com/downloads/jp/jmag/vol60- ...
Java PathFinderによる網羅的探索. 本技術ではモデル検査のエンジンとしてNASA. Ames Research Center(10)が開発したオープンソー. スツールJava PathFinder(JPF )(11)を採用した。 JPFの特徴は次のとおりである。 (1) 内部に独自のJVM(Java Virtual ...
富士通研究所がNASAのJavaプログラム検証ツールを拡張、数万行の ...
https://mag.osdn.jp/10/01/14/0247230
2010年1月14日 ... 富士通研究所(本社:川崎市)と同社の米国法人は2010年1月12日、オープンソースの Javaプログラム検証ツール「Java PathFinder」を拡張し、文字列型データの自動検証に 対応させる技術を開発したと発表した。従来の手作業のテストに ...
富士通研究所、Java実装のプログラムを自動検証する技術を開発 ...
https://www.itmedia.co.jp/enterprise/articles/0804 ...
2008年4月4日 ... 富士通研究所とFujitsu Laboratories of Americaは、Javaで実装されたWeb アプリケーションの動作を自動検証する ... 検証ツールには、NASA Ames Research Centerが開発したオープンソースの検証ツール「Java PathFinder」を採用した。