Date: 19/01/2010

Fujitsu expands Java software verification system developed by NASA

Fujitsu Laboratories of America, Inc. and Fujitsu Laboratories Ltd have developed a technology for comprehensively testing Java-based programs, which requires no manual effort to generate input values covering a wide range of possible input data.

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 data are extensively used in web applications. NASA will partially internally employ this new technology from Fujitsu and open-source it.

To know more visit www.fujitsu.com