Fujitsu Develops Technology to Enhance Comprehensive Testing of Java Programs

Sunnyvale, US and Kawasaki, Japan, Jan 12, 2010 - (JCN Newswire) - Fujitsu Laboratories of America, Inc. and Fujitsu Laboratories Ltd. today announced Fujitsu's development of 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(1), 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. As part of NASA's aerospace technology development efforts, it conducts R&D on software used to control systems. At its Ames Research Center, NASA conducts research on software-verification technology for determining whether programs are written correctly. As part of this effort, NASA developed Java PathFinder, a verification tool for testing software coded in Java. Java PathFinder is used to test the control systems for a Mars probe, and was released as open source in 2005. Thanks to its built-in interface for extensions, Fujitsu Laboratories, among other corporations and academic institutions, has used Java PathFinder as a framework for Java verification tools.