FTP Online
Search:
Locator+ Code:
FTPOnline Channels Conferences Resources Hot Topics Partner Sites Magazines About FTP RSS 2.0 Feed

email article
printer friendly
more resources

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


Sponsored Links
Click Here: FREE downloads and MORE
for VS.NET 2003 Pros!

Visual Studio .NET
New version 2003

Microsoft Windows Server 2003.
Try the new platform.

Sonic Stylus Studio
Click for FREE trial

Native .NET Code, Fast. Easy to Modify. Code Generation White Papers.

ADVERTISEMENT

Java Pro | Visual Studio Magazine | Windows Server System Magazine
.NET Magazine | Enterprise Architect | XML & Web Services Magazine
VSLive! | Thunder Lizard Events | Discussions | Newsletters | FTP Home