计算机学院学术论坛报告

主题报告：Document Driven Testing and Inspection
报 告 人：David Lorge Parnas教授[加拿大McMaster University大学]
报告时间：10月 20日（周三）15: 00～16: 30
报告地点：上海大学延长校区行健楼707室
邀 请 人：缪淮扣 教授
 
论坛主题：Software has a, well-earned, terrible reputation. Over the years, many experts have said that they would not trust software for safety-critical tasks. Others have claimed that, at least in practice, it is impossible to get correct software. They have claimed that inspecting and testing cannot be used to find all the errors, only to estimate the number remaining. There is no theoretical basis for such assertions but they seem consistent with empirical observations. This lecture discusses quality assurance procedures that were developed and proven effective, in the approval process of safety-critical software for a nuclear power plant in Ontario, Canada. Their novel feature is their use of highly structured, precise (mathematical) design documentation.

报告人简介：Dr. Parnas is Professor Emeritus at McMaster University in Hamilton Canada, and at the University of Limerick Ireland. He is a Canadian early pioneer of software engineering, who developed the concept of information hiding in modular programming, which is an important element of object-oriented programming today. He is also noted for his advocacy of precise documentation. He has been studying industrial software development and publishing widely cited papers since 1969. In 2007, Parnas was proud to share the IEEE Computer Society"s onetime sixtieth anniversary award with computer pioneer Professor Maurice Wilkes of Cambridge University. Dave received his B.S., M.S. and Ph.D. in Electrical Engineering from Carnegie Mellon University. and honorary doctorates from the ETH in Zurich (Switzerland), the Catholic University of Louvain (Belgium), and the University of Italian Switzerland (Lugano). He is licensed as a Professional Engineer in Ontario. Dr. Parnas is a Fellow of the Royal Society of Canada (RSC), the Association for Computing Machinery (ACM), the Canadian Academy of Engineering (CAE), the Gesellschaft fur Informatik (GI) in Germany and the IEEE.