|
SPIN and the Future of Testing Tools
Computer scientist and researcher Gerard J. Holzmann talks about SPIN, a free software verification tool for multi-threaded software systems that offers a glimpse into sophisticated testing tools to come.
Posted September 29, 2003
 |
Dr. Gerard J. Holzmann |
Dr. Gerard J. Holzmann is the author of the SPIN model checking system, recognized as one of the most powerful and widely used verification systems for distributed software systems. His most recent book, The SPIN Model Checker: Primer and Reference Manual, was published by Addison-Wesley Professional in September 2003. SPIN was recognized in 2001 with the ACM Software Systems Award.
Dr. Holzmann is currently the Principal Computing Scientist in the newly formed Laboratory for Reliable Software at NASA's Jet Propulsion Laboratory (JPL). Before joining JPL, he was Director of the Computing Principles Research Department at Bell Laboratories in Murray Hill, New Jersey. Dr. Holzmann has published over 70 technical papers, authored 4 books, and holds 6 U.S. patents.
Dr. Holzmann spoke with FTPOnline editors about how SPIN works, how it can make a dramatic difference in the testing of multi-threaded and distributed software systems, and how it may influence future testing tools.
Back to top
|
