NASA
Verification tools secure online shopping, banking.
In 1999, NASA’s Robust Software Engineering (RSE) group began developing a verification tool, called Java Pathfinder (JPF), for programs written in the popular Java programming language. If you do your banking or shopping online, you are most likely using Web sites enabled by Java applications. This photo, taken during Mars Pathfinder testing, shows the Pathfinder lander opening its petals to expose the yellow Sojourner rover (on left petal). Just like robotics and other hardware, control software must be extensively tested to ensure proper execution of commands.
These are examples of how technology produced by NASA has been turned into products used daily.















A look back: space shuttle discovery
NASA looking to the future
Our picks for space exploration's…


Scripps Interactive Newspapers Group
Comments on this photo » 0
Be the first to post a comment!
Share your thoughts
Comments are the sole responsibility of the person posting them. You agree not to post comments that are off topic, defamatory, obscene, abusive, threatening or an invasion of privacy. Violators may be banned. Click here for our full user agreement.