Ada Code Analysis: Technology, Experience, and Issues

C. Daniel Cooper

Daniel Cooper recently completed his Master's degree in Computer Science and Engineering at the University of Washington in Seattle. This culminated more than 30 years of experience in the software field. In the 60's and 70's, he worked for a variety of companies, developing a spectrum of applications that spanned from compilers and operating systems, to test and simulation tools, telecommunications and banking systems, and radars. In the early 80's, he was a vice-president at the Philadelphia Stock Exchange, responsible for the development and operations of their trading-floor support system (known as Centramart). He is currently with the Boeing Company, having joined them in 1985. In the late 80's, he served two years at the Software Productivity Consortium as a Boeing delegate. Since then, he has supported multiple programs where high-integrity and reliability are paramount: controls and avionics for helicopters, airplanes, and missiles.

Early on, he had become interested in issues impacting software quality and the potential for code analysis tools to help achieve it. While at the Software Productivity Consortium, he was a team member in the development of a reverse-engineering tool for Ada. Later, he developed other code analysis tools for specific programs, and became a charter member of the Working Group that defined the Ada Semantic Interface Spec (ASIS), which is now an ISO standard. He continues supporting programs as an evangelist for ASIS-based tools, and gratefully acknowledges the encouragement of his wife and family in tolerating all this :-)

Adv Computing Technologist
Phone: 206-655-3519